Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. - Hartmut Ehrig; Michael Baldamus; Felix Cornelius; Fernando Orejas (AMAST, 1991)

New Concepts of Amalgamation and Extension for a General Theory of Specifications. - Hartmut Ehrig; Michael Baldamus; Fernando Orejas (COMPASS/ADT, 1991)

Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. - Hartmut Ehrig; Michael Baldamus; Fernando Orejas (Bull. EATCS, 1991)

New Concepts for Amalgamation and Extension in the Framework of Specification Logics. - Hartmut Ehrig; Michael Baldamus; Fernando Orejas (Current Trends in Theoretical Computer Science, 1993)

Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). - Michael Baldamus; Jürgen Dingel (TAPSOFT, 1997)

Semantics and logic of higher order processes: characterizing late context bisimulation. - Michael Baldamus (1998)

Abstract and behaviour module specifications. - Felix Cornelius; Michael Baldamus; Hartmut Ehrig; Fernando Orejas (Math. Struct. Comput. Sci., 1999)

First-order Semantics for Higher-order Processes. - Michael Baldamus (HOOTS, 2000)

Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus. - Michael Baldamus (CMCS, 2000)

Can American Checkers be Solved by Means of Symbolic Model Checking? - Michael Baldamus; Klaus Schneider 001; Michael Wenz; Roberto Ziller (FM-Everywhere@FORTE/PSTV, 2000)

p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). - Michael Baldamus; Jochen Schröder-Babo (SPIN, 2001)

Modifying Esterel Concepts to Model Hybrid Systems. - Michael Baldamus; Thomas Stauner (SLAP@ETAPS, 2002)

The BDD Space Complexity of Different Forms of Concurrency. - Michael Baldamus; Klaus Schneider 001 (Fundam. Informaticae, 2002)

Spi Calculus Translated to ?–Calculus Preserving May-Tests. - Michael Baldamus; Joachim Parrow; Björn Victor (LICS, 2004)

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. - Michael Baldamus; Jesper Bengtson; Gian-Luigi Ferrari 002; Roberto Raggi (WSFM, 2004)

A Fully Abstract Encoding of the pi-Calculus with Data Terms. - Michael Baldamus; Joachim Parrow; Björn Victor (ICALP, 2005)