Michael Baldamus
According to our database1,
Michael Baldamus
authored at least 16 papers
between 1991 and 2005.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2005
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.
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004
2002
Fundam. Informaticae, 2002
Proceedings of the Synchronous Languages, Applications, and Programming, 2002
2001
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).
Proceedings of the Model Checking Software, 2001
2000
Proceedings of the Formal Methods Elsewhere, 2000
Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus.
Proceedings of the Coalgebraic Methods in Computer Science, 2000
Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics, 2000
1999
1998
Semantics and logic of higher order processes: characterizing late context bisimulation.
PhD thesis, 1998
1997
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).
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.
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.
Bull. EATCS, 1991
Proceedings of the Recent Trends in Data Type Specification, 1991
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991