University of Bremen Logo  
Research Group Theoretical Computer Science
Publications in 2006 (get BIBTeX file):

Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and their Semantics - the Sequential Case. In A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, G. Rozenberg, editors, Proc. 3rd Intl. Conference on Graph Transformations (ICGT 2006), volume 4178 of Lecture Notes in Computer Science, pages 245-259. Springer, 2006.

Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske: Some Essentials of Graph Transformation. In Z. Esik, C. Martin-Vide, V. Mitrana, editors, Recent Advances in Formal Languages and Applications, volume 25 of Studies in Computational Intelligence, pages 229-254. Springer, 2006.

Karsten Hölscher, Paul Ziemann, Martin Gogolla: On Translating UML Models into Graph Transformation Systems. Journal of Visual Languages and Computing 17:78-105, 2006.

Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch: Semantics of Visual Models in a Rule-based Setting. In R. Heckel, editor, Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Dagstuhl, volume 148 of Electronic Notes in Theoretical Computer Science, pages 75-88. Elsevier Science, 2006.

Karsten Hölscher, Peter Knirsch, Hans-Jörg Kreowski: Modelling Transport Networks by Means of Autonomous Units. In H.-D. Haasis, H. Kopfer, J. Schönberger, editors, Operations Research Proceedings 2005, pages 399-404. Springer, 2006.

Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Autonome Transformationseinheiten zur regelbasierten Modellierung vernetzter logistischer Prozesse. In Egon Müller, Birgit Spanner-Ulmer, editors, Vernetzt planen und produzieren (VPP 2006), pages 113-118. 2006.

Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch: Undecidable Control Conditions in Graph Transformation Units. In Anamaria Moreira Martins, Leila Ribeiro, editors, Brazilian Symposium on Formal Methods (SBMF 2006), pages 121-135. 2006.

Adrian Horia Dediu, Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Benedek Nagy: Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages. In Oscar H. Ibarra, Zhe Dang, editors, Developments in Language Theory, volume 4036 of Lecture Notes in Computer Science, pages 327-338. Springer, 2006.

Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

++49(421)218 64451

Email (Secr.)
Helga Reinermann