Michael Baldamus
发表
T. Stauner,
Michael Baldamus,
2002
.
Thomas Frauenstein,
Michael Baldamus,
1995
.
Hartmut Ehrig,
Fernando Orejas,
Michael Baldamus,
1991,
AMAST.
Michael Baldamus,
Michael Baldamus,
1999
.
Klaus Schneider,
Michael Baldamus,
K. Schneider,
2001,
Proceedings Second International Conference on Application of Concurrency to System Design.
Michael Baldamus,
Jochen Schröder-Babo,
Michael Baldamus,
2001,
SPIN '01.
Hartmut Ehrig,
Fernando Orejas,
Michael Baldamus,
1999,
Mathematical Structures in Computer Science.
Björn Victor,
Joachim Parrow,
Michael Baldamus,
2005,
ICALP.
Björn Victor,
Joachim Parrow,
Michael Baldamus,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Björn Victor,
Joachim Parrow,
Michael Baldamus,
2004,
LICS 2004.
Joachim Parrow,
Michael Baldamus,
J. Parrow,
2005
.
Hartmut Ehrig,
Fernando Orejas,
Michael Baldamus,
1991,
COMPASS/ADT.
Hartmut Ehrig,
Fernando Orejas,
Michael Baldamus,
1993,
Current Trends in Theoretical Computer Science.