University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
Mail to webmaster
Publications 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.

Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann: Animated Simulation of Integrated Behavioral Models based on Graph Transformation. In IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), pages 125-133. IEEE Computer Society, 2005.

Paul Ziemann, Karsten Hölscher, Martin Gogolla: From UML Models to Graph Transformation Systems. In Mark Minas, editor, Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004), volume 127(4) of Electronic Notes in Theoretical Computer Science, pages 17-33. Elsevier Science, 2005.

Paul Ziemann, Karsten Hölscher, Martin Gogolla: Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. In Arnaldo Moura, Alexandre Mota, editors, Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), volume 130 of Electronic Notes in Theoretical Computer Science, pages 263-280. Elsevier Science, 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.

Carolina von Totth: Attributed Collage Grammars: A Rule-Based Modeling Framework. In Vaclav Skala, editor, Short Paper Proceedings of The 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2005 - WSCG'2005, Plzen, Czech Republic, pages 21-24. 2005.

Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas: Rule-Based Programming with Diaplan. Electron. Notes Theor. Comput. Sci. 127:15-26, 2005.

Berthold Hoffmann: Graph Transformation with Variables. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, volume 3393 of Lecture Notes in Computer Science, pages 101-115. Springer, 2005.

Mail to webmaster