Michael Baldamus

Publication Activity (10 Years)

Years Active: 1991-2005
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Michael Baldamus, Joachim Parrow, Björn Victor
-Calculus with Data Terms. ICALP (2005)
Michael Baldamus, Jesper Bengtson, Gian Luigi Ferrari, Roberto Raggi
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. Electron. Notes Theor. Comput. Sci. 105 (2004)
Michael Baldamus, Joachim Parrow, Björn Victor
Spi Calculus Translated to ?--Calculus Preserving May-Tests. LICS (2004)
Michael Baldamus, Klaus Schneider
The BDD Space Complexity of Different Forms of Concurrency. Fundam. Informaticae 50 (2) (2002)
Michael Baldamus, Thomas Stauner
Modifying Esterel Concepts to Model Hybrid Systems. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Michael Baldamus, Klaus Schneider
The BDD Space Complexity of Different Forms of Concurrency. ACSD (2001)
Michael Baldamus, Jochen Schröder-Babo
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). SPIN (2001)
Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller
Can American Checkers be Solved by Means of Symbolic Model Checking? Electron. Notes Theor. Comput. Sci. 43 (2001)
Michael Baldamus
Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus. CMCS (2000)
Michael Baldamus
First-order Semantics for Higher-order Processes. Electron. Notes Theor. Comput. Sci. 41 (3) (2000)
Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas
Abstract and behaviour module specifications. Math. Struct. Comput. Sci. 9 (1) (1999)
Michael Baldamus, Jürgen Dingel
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). TAPSOFT (1997)
Hartmut Ehrig, Michael Baldamus, Fernando Orejas
New Concepts of Amalgamation and Extension for a General Theory of Specifications. COMPASS/ADT (1991)
Hartmut Ehrig, Michael Baldamus, Fernando Orejas
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. Bull. EATCS 44 (1991)
Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST (1991)

Michael Baldamus.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Michael Baldamus