University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
Mail to webmaster
Publications in 2002 (get BIBTeX file):

Hans-Jörg Kreowski: A Sight-seeing Tour of the Computational Landscape of Graph Transformation. In W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa, editors, Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg, volume 2300 of Lecture Notes in Computer Science, pages 121-137. Springer, 2002.

Renate Klempien-Hinrichs: Normal forms for context-free node-rewriting hypergraph grammars. Mathematical Structures in Computer Science 12:135-148, 2002.

Sabine Kuske: Parameterized Transformation Units. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 12 pages.

Renate Klempien-Hinrichs: Context-free hypergraph grammars with node rewriting. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 10 pages.

Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs: Pullback rewriting and applications. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 10 pages.

Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Structured Modeling with GRACE. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 13 pages.

Hans-Jörg Kreowski, Peter Knirsch (ed.): Proc. Applied Graph Transformation (AGT'02). 2002. Satellite Event of ETAPS 2002.

Renate Klempien-Hinrichs: Hyperedge Substitution in Basic Atom Replacement Languages. In A. Corradini, H. Ehrig, H.-J. Kreowski, G. Rozenberg, editors, Proc. 1st Intl. Conference on Graph Transformation (ICGT 2002), volume 2505 of Lecture Notes in Computer Science, pages 192-206. Springer, 2002.

Peter Knirsch, Sabine Kuske: Distributed Graph Transformation Units. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Proc. First International Conference on Graph Transformation (ICGT), volume 2505 of Lecture Notes in Computer Science, pages 207-222. 2002.

Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Modeling the Pickup-and-Delivery Problem with Structured Graph Transformation. In Hans-Jörg Kreowski, Peter Knirsch, editors, Proc. APPLIGRAPH Workshop on Applied Graph Transformation (Satellite Event of ETAPS 2002), pages 119-130. 2002.

Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Ralf Kollmann: An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. In Michael Butler, Luigia Petre, Kaisa Sere, editors, Proc. Third International Conference on Integrated Formal Methods (IFM 2002), volume 2335 of Lecture Notes in Computer Science, pages 11-28. 2002.

Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (ed.): Proc. 1st Int. Conference on Graph Transformation (ICGT 2002), volume 2505. Lecture Notes in Computer Science. 2002.

Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. J. Comput. Syst. Sci. 64:249-283, 2002.

Berthold Hoffmann: Abstraction and Control for Shapely Nested Graph Transformation. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, volume 2505 of Lecture Notes in Computer Science, pages 177-191. Springer, 2002.

Mail to webmaster