Michael Baldamus

	2005
15		Michael Baldamus, Joachim Parrow, Björn Victor: A Fully Abstract Encoding of the pi-Calculus with Data Terms. ICALP 2005: 1202-1213
	2004
14		Michael Baldamus, Joachim Parrow, Björn Victor: Spi Calculus Translated to ?--Calculus Preserving May-Tests. LICS 2004: 22-31
13		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		Michael Baldamus, Thomas Stauner: Modifying Esterel Concepts to Model Hybrid Systems. Electr. Notes Theor. Comput. Sci. 65(5): 35-49 (2002)
11		Michael Baldamus, Klaus Schneider: The BDD Space Complexity of Different Forms of Concurrency. Fundam. Inform. 50(2): 111-133 (2002)
	2001
10		Michael Baldamus, Klaus Schneider: The BDD Space Complexity of Different Forms of Concurrency. ACSD 2001: 231-
9		Michael Baldamus, Jochen Schröder-Babo: p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). SPIN 2001: 183-191
8		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: 15-33 (2001)
	2000
7		Michael Baldamus: Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus. Electr. Notes Theor. Comput. Sci. 33: 13-41 (2000)
6		Michael Baldamus: First-order Semantics for Higher-order Processes. Electr. Notes Theor. Comput. Sci. 41(3): 50-69 (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)

Coauthor Index

1	Jesper Bengtson	[13]
2	Felix Cornelius	[3] [5]
3	Jürgen Dingel	[4]
4	Hartmut Ehrig	[1] [2] [3] [5]
5	Gian Luigi Ferrari (GianLuigi Ferrari)	[13]
6	Fernando Orejas	[1] [2] [3] [5]
7	Joachim Parrow	[14] [15]
8	Roberto Raggi	[13]
9	Klaus Schneider	[8] [10] [11]
10	Jochen Schröder-Babo	[9]
11	Thomas Stauner	[12]
12	Björn Victor	[14] [15]
13	Michael Wenz	[8]
14	Roberto Ziller	[8]

Colors in the list of coauthors

Last update Fri Feb 10 22:28:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page