Michael Baldamus

According to our database, Michael Baldamus authored at least 16 papers between 1991 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

A Fully Abstract Encoding of the <i>pi</i>-Calculus with Data Terms.

Michael Baldamus, Joachim Parrow, Björn Victor

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.

Michael Baldamus, Jesper Bengtson, Gian-Luigi Ferrari, Roberto Raggi

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Spi Calculus Translated to ?--Calculus Preserving May-Tests.

Michael Baldamus, Joachim Parrow, Björn Victor

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2002

Modifying Esterel Concepts to Model Hybrid Systems.

Michael Baldamus, Thomas Stauner

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

2001

p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).

Michael Baldamus, Jochen Schröder-Babo

Proceedings of the Model Checking Software, 2001

The BDD Space Complexity of Different Forms of Concurrency.

Michael Baldamus, Klaus Schneider

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000

Can American Checkers be Solved by Means of Symbolic Model Checking?

Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller

Proceedings of the Formal Methods Elsewhere, 2000

Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus.

Michael Baldamus

Proceedings of the Coalgebraic Methods in Computer Science, 2000

First-order Semantics for Higher-order Processes.

Michael Baldamus

Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics, 2000

1999

Abstract and behaviour module specifications.

Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas

Math. Struct. Comput. Sci., 1999

1998

Semantics and logic of higher order processes: characterizing late context bisimulation.

Michael Baldamus

PhD thesis, 1998

1997

Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).

Michael Baldamus, Jürgen Dingel

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1993

New Concepts for Amalgamation and Extension in the Framework of Specification Logics.

Hartmut Ehrig, Michael Baldamus, Fernando Orejas

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

1991

Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.

Hartmut Ehrig, Michael Baldamus, Fernando Orejas

Bull. EATCS, 1991

New Concepts of Amalgamation and Extension for a General Theory of Specifications.

Hartmut Ehrig, Michael Baldamus, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1991

Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.

Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991