Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Michael
Last name:	Baldamus
DBLP:	41/680
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 15 of 15  

Select a publication
Show	Title	Venue	Rating	Date
	Michael Baldamus, Joachim Parrow, Björn Victor. A Fully Abstract Encoding of the	Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings 2005	(0)	2005
	Michael Baldamus, Joachim Parrow, Björn Victor. Spi Calculus Translated to ?--Calculus Preserving May-Tests.	19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings 2004	(0)	2004
	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. 2004, Volume 105	(0)	2004
	Michael Baldamus, Thomas Stauner. Modifying Esterel Concepts to Model Hybrid Systems.	Electr. Notes Theor. Comput. Sci. 2002, Volume 65	(0)	2002
	Michael Baldamus, Klaus Schneider. The BDD Space Complexity of Different Forms of Concurrency.	Fundam. Inform. 2002, Volume 50	(0)	2002
	Michael Baldamus, Klaus Schneider. The BDD Space Complexity of Different Forms of Concurrency.	2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK 2001	(0)	2001
	Michael Baldamus, Jochen Schröder-Babo. p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).	Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings 2001	(0)	2001
	Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller. Can American Checkers be Solved by Means of Symbolic Model Checking?	Electr. Notes Theor. Comput. Sci. 2001, Volume 43	(0)	2001
	Michael Baldamus. First-order Semantics for Higher-order Processes.	Electr. Notes Theor. Comput. Sci. 2000, Volume 41	(0)	2000
	Michael Baldamus. Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus.	Electr. Notes Theor. Comput. Sci. 2000, Volume 33	(0)	2000
	Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas. Abstract and behaviour module specifications.	Mathematical Structures in Computer Science 1999, Volume 9	(0)	1999
	Michael Baldamus, Jürgen Dingel. Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).	TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings 1997	(0)	1997
	Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas. Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.	Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 1992	(0)	1991
	Hartmut Ehrig, Michael Baldamus, Fernando Orejas. New Concepts of Amalgamation and Extension for a General Theory of Specifications.	Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers 1993	(0)	1991
	Hartmut Ehrig, Michael Baldamus, Fernando Orejas. Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.	Bulletin of the EATCS 1991, Volume 44	(0)	1991

Your query returned 15 matches in the database.