 |
Graph Transformations.
(Edited with G. Engels, F. Parisi-Presicce and G. Rozenberg), Lecture Notes of Computer Science 3256, Springer, 2004 |
 |
Formal and Natural Computing.
Essays Dedicated to Grzegorz Rozenberg.
(Edited with W. Brauer, J. Karhumäki and A. Salomaa), Springer, 2002 |
 |
Mathematisch-strukturelle Grundlagen der Informatik.
(with B. Mahr, F. Cornelius, M. Große-Rhode and P. Zeitz), Springer-Lehrbuch, 2002 |
 |
Unifying Petri Nets.
(Edited with G. Juhás and G. Rozenberg), Lecture Notes of Computer Science 2128, Springer, 2002 |
 |
Graph Transformation.
(Edited with A. Corradini, H.-J. Kreowski and G. Rozenberg), Lecture Notes of Computer Science 2505, Springer, 2002 |
 |
Handbook of Graph Grammars and Computing by Graph Transformations: Volume 2: Applications, Languages and Tools.
(Edited with G. Engels, H.-J. Kreowski and G. Rozenberg), World Scientific, 1999 |
 |
Theory and Application of Graph Transformations.
(Edited with G. Engels, H.-J. Kreowski and G. Rozenberg), Lecture Notes of Computer Science 1764, Springer, 1998 |
 |
Handbook of Graph Grammars and Computing by Graph Transformations: Volume 1: Foundations.
(Edited with G. Engels, H.-J. Kreowski and G. Rozenberg), World Scientific, 1997 |
 |
Algebraic Specification Techniques and Tools for
Software Development.
(with I.Claßen and D. Wolz), AMAST Series in Computing, Vol. 1, World Scientific, 1993 |
 |
Recent Trends in Data Type Specification.
(Edited with K.-P. Jantke and F. Orejas), Lecture Notes of Computer Science 554, Springer, 1990 |
 |
Fundamentals of Algebraic Specifications 1:
Equations and Initial Semantics.
(with B. Mahr), Vol. 6 of EATCS Monographs on Theoretical Computer Science. Springer, 1985.
Fundamentals of Algebraic Specifications 2:
Module Specifications and Constraints.
(with B. Mahr), Vol. 21 of EATCS Monographs on Theoretical Computer Science. Springer, 1990. |
|