dblp.uni-trier.dewww.uni-trier.de

Michael Baldamus Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)