| 2005 |
|---|
| 15 | EE | Michael Baldamus,
Joachim Parrow,
Björn Victor:
A Fully Abstract Encoding of the pi-Calculus with Data Terms.
ICALP 2005: 1202-1213 |
| 2004 |
|---|
| 14 | EE | Michael Baldamus,
Joachim Parrow,
Björn Victor:
Spi Calculus Translated to ?--Calculus Preserving May-Tests.
LICS 2004: 22-31 |
| 13 | EE | Michael Baldamus,
Jesper Bengtson,
Gian Luigi Ferrari,
Roberto Raggi:
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.
Electr. Notes Theor. Comput. Sci. 105: 11-20 (2004) |
| 2002 |
|---|
| 12 | EE | Michael Baldamus,
Thomas Stauner:
Modifying Esterel Concepts to Model Hybrid Systems.
Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
| 11 | | Michael Baldamus,
Klaus Schneider:
The BDD Space Complexity of Different Forms of Concurrency.
Fundam. Inform. 50(2): 111-133 (2002) |
| 2001 |
|---|
| 10 | EE | Michael Baldamus,
Klaus Schneider:
The BDD Space Complexity of Different Forms of Concurrency.
ACSD 2001: 231- |
| 9 | EE | Michael Baldamus,
Jochen Schröder-Babo:
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).
SPIN 2001: 183-191 |
| 8 | EE | Michael Baldamus,
Klaus Schneider,
Michael Wenz,
Roberto Ziller:
Can American Checkers be Solved by Means of Symbolic Model Checking?
Electr. Notes Theor. Comput. Sci. 43: (2001) |
| 2000 |
|---|
| 7 | EE | Michael Baldamus:
Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus.
Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 6 | EE | Michael Baldamus:
First-order Semantics for Higher-order Processes.
Electr. Notes Theor. Comput. Sci. 41(3): (2000) |
| 1999 |
|---|
| 5 | | Felix Cornelius,
Michael Baldamus,
Hartmut Ehrig,
Fernando Orejas:
Abstract and behaviour module specifications.
Mathematical Structures in Computer Science 9(1): 21-62 (1999) |
| 1997 |
|---|
| 4 | | Michael Baldamus,
Jürgen Dingel:
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).
TAPSOFT 1997: 285-296 |
| 1991 |
|---|
| 3 | | Hartmut Ehrig,
Michael Baldamus,
Felix Cornelius,
Fernando Orejas:
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
AMAST 1991: 145-172 |
| 2 | | Hartmut Ehrig,
Michael Baldamus,
Fernando Orejas:
New Concepts of Amalgamation and Extension for a General Theory of Specifications.
COMPASS/ADT 1991: 199-221 |
| 1 | | Hartmut Ehrig,
Michael Baldamus,
Fernando Orejas:
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.
Bulletin of the EATCS 44: 129-143 (1991) |
