University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH
Publications by Hans-Jörg Kreowski in 2005 (get BIBTeX file):

Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract Hierarchical Graph Transformation. Mathematical Structures in Computer Science 15:773-819, 2005.

Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske: Rule-based transformation of graphs and the product type. In Patrick van Bommel, editor, Transformation of Knowledge, Information, and Data: Theory and Applications, pages 29-51. Idea Group Publishing, Hershey, Pennsylvania, USA, 2005.

Hans-Jörg Kreowski, Ugo Montanari, Fernado Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors: Formal Methods in Software and System Modeling. Volume 3393 of Lecture Notes in Computer Science. Springer Verlag, 2005.

Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg: Main Concepts of Networks of Transformation Units with Interlinking Semantics. In Hans-Jörg Kreowski, Ugo Montanari, Fernado Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and System Modeling, volume 3393 of Lecture Notes in Computer Science, pages 325-342. Springer Verlag, 2005.

Julia Padberg, Hans-Jörg Kreowski: Loose Semantics of Petri Nets. In Hans-Jörg Kreowski, Ugo Montanari, Fernado Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and System Modeling, volume 3393 of Lecture Notes in Computer Science, pages 370-384. Springer Verlag, 2005.

Hans-Jörg Kreowski: Autonomous Units to Model Cooperating Logistic Processes: Basic Features. In K.S. Palwar et al., editor, Proceedings of the 10th International Symposium on Logistics (ISL 2005), Lisbon, pages 377-380. 2005.

Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Regelbasierte Modellierung mit autonomen Transformationseinheiten. Technical report 1, Universität Bremen, Fachbereich Mathematik & Informatik, 2005.


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

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de