sign in · help · news · about ·

BibSonomy :: author :: Fecher ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(42)

<< < 1 | 2 | 3 > >>

Event Structures for Arbitrary Disruption.
Harald Fecher, and Mila E. Majster-Cederbaum Fundam. Inform. 68(1-2):103-130 (2005)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
The Influence of Durational Actions on Time Equivalences.
Harald Fecher FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 231-245. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Local abstraction-refinement for the μ-calculus.
Harald Fecher, and Sharon Shoham STTT 13(4):289-306 (2011)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Action Refinement from a Logical Point of View.
Mila E. Majster-Cederbaum, Naijun Zhan, and Harald Fecher VMCAI, volume 2575 of Lecture Notes in Computer Science, page 253-267. Springer, (2003)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Action Refinement for Probabilistic Processes with True Concurrency Models.
Harald Fecher, Mila E. Majster-Cederbaum, and Jinzhao Wu PAPM-PROBMIV, volume 2399 of Lecture Notes in Computer Science, page 77-94. Springer, (2002)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Taking decisions late: end-based choice combined with action refinement.
Harald Fecher, and Mila E. Majster-Cederbaum Electr. Notes Theor. Comput. Sci. 70(3):244-259 (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Refinement of actions in a real-time process algebra with a true concurrency model.
Harald Fecher, Mila E. Majster-Cederbaum, and Jinzhao Wu Electr. Notes Theor. Comput. Sci. 70(3):260-280 (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Symmetric Structure in Logic Programming.
Jinzhao Wu, and Harald Fecher J. Comput. Sci. Technol. 19(6):803-811 (2004)
to dblp by dblp on May 17, 2011, 12:00 AM
URL | BibTeX
Formalizing UML Models and OCL Constraints in PVS
M. Kyas, H. Fecher, F. Boer, J. Jacob, J. Hooman, M. Zwaag, T. Arons, and H. Kugler Electronic Notes in Theoretical Computer Science (2005)
by jabreftest and 1 other user on Oct 4, 2010, 5:52 PM
BibTeX
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games.
Harald Fecher, Michael Huth, Nir Piterman, and Daniel Wagner Perform. Eval. 67(9):858-872 (2010)
to dblp by dblp on Sep 16, 2010, 12:00 AM
URL | BibTeX
Test- und Bewertungsmethoden für Sicherheitssysteme der Bahnführungsebene Test and Evaluation Methods for Safety Systems on the Guidance Level.
Norbert Fecher, Fabian Regh, Stefan Habenicht, Jens Hoffmann, and Hermann Winner Automatisierungstechnik 56(11):592-600 (2008)
to dblp by dblp on Feb 24, 2010, 12:00 AM
URL | BibTeX
On the Expressiveness of Refinement Settings.
Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, and Heiko Schmidt FSEN, volume 5961 of Lecture Notes in Computer Science, page 276-291. Springer, (2009)
to dblp by dblp on Jan 29, 2010, 12:00 AM
URL | BibTeX
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.
Harald Fecher, Michael Huth, Heiko Schmidt, and Jens Schönborn Electr. Notes Theor. Comput. Sci. 250(1):71-86 (2009)
to dblp by dblp on Nov 17, 2009, 12:00 AM
URL | BibTeX
Correlation in the transition-metal-based Heusler compounds Cosub 2MnSi and Cosub 2FeSi
Hem Chandra Kandpal, Gerhard H. Fecher, Claudia Felser, and Gerd Schonhense Physical Review B Condensed Matter and Materials Physics 73(9):094422 (2006)
to energy total by pbuczek on Sep 9, 2009, 5:55 PM
URL | BibTeX
Geometric, electronic, and magnetic structure of Cosub 2FeSi: Curie temperature and magnetic moment measurements and calculations
Sabine Wurmehl, Gerhard H. Fecher, Hem C. Kandpal, Vadim Ksenofontov, Claudia Felser, Hong-Ji Lin, and Jonder Morais Phys. Rev. B 72(18):184434--9 (November 2005)
to Curie Mossbauer X-ray absorption alloys, band cobalt crystal diffraction, effect, electron ferromagnetic iron magnetic materials, moments, polarisation, semimetals, silicon spectra, spin structure structure, temperature, by pbuczek on Sep 9, 2009, 5:55 PM
URL | BibTeX
Probleme der Zweckbindung öffentlicher Einnahmen
Hans Fecher Frankfurter wirtschafts- und sozialwissenschaftliche Studien Duncker & Humblot, Berlin, (1963)
to Finanzrecht Haushaltsrecht Zweckbindung Öffentliche_Einnahmen by fbw_hannover on Aug 21, 2009, 12:28 PM
URL | BibTeX
Semantic Issues in UML 2.0 State Machines
Harald Fecher, Marcel Kyas, and Jens Schönborn 0507. Christian-Albrechts-Universität zu Kiel, (2005)
to \_to\_review semantics 2005 statecharts uml20 \_pdf by leonardo on Mar 10, 2009, 4:53 AM
URL | BibTeX
UML 2.0 State Machines: Complete Formal Semantics Via core state machine
Harald Fecher, and Jens Schönborn (2007)
to 2007 semantics \_folder\_3 \_hardcopy statecharts uml20 \_pdf uml by leonardo on Mar 10, 2009, 4:39 AM
URL | DOI | BibTeX
29 New Unclarities in the Semantics of UML 2.0 State Machines
Harald Fecher, Jens Schönborn, Marcel Kyas, and Willem P. de Roever page 52--65. (2005)
to _hardcopy semantics 2005 statecharts uml20 uml by leonardo on Feb 11, 2009, 9:01 PM
URL | DOI | BibTeX
Semantic Issues in UML 2.0 State Machines
Harald Fecher, Marcel Kyas, and Jens Schönborn 0507. Christian-Albrechts-Universität zu Kiel, (2005)
to semantics 2005 statecharts uml20 _to_review by leonardo on Feb 11, 2009, 9:01 PM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100