University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH
Publications in 2000 (get BIBTeX file):

Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. In Jerzy Tiuryn, editor, Proc. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2000), volume 1784 of Lecture Notes in Computer Science, pages 98-113. 2000.

Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Modules and Their Composition. In M. Nagl, A. Schürr, M. Münch, editors, Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), volume 1779 of Lecture Notes in Computer Science, pages 15-30. Springer, 2000.

Frank Drewes, Peter Knirsch: TREEBAG - A Short Presentation. In M. Nagl, A. Schürr, M. Münch, editors, Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), volume 1779 of Lecture Notes in Computer Science, pages 411-417. Springer, 2000.

Frank Drewes: Tree-Based Picture Generation. Theoretical Computer Science 246:1-51, 2000.

Frank Drewes: Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars. In H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, editors, Proc. Sixth Intl. Workshop on Theory and Application of Graph Transformations (TAGT'98), volume 1764 of Lecture Notes in Computer Science, pages 1-14. 2000.

Peter Knirsch, Hans-Jörg Kreowski: A Note on Modeling Agent Systems by Graph Transformation. In M. Nagl, A. Schürr, M. Münch, editors, Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), volume 1779 of Lecture Notes in Computer Science, pages 79-86. Springer, 2000.

Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Table-driven and context-sensitive collage languages. In G. Rozenberg, W. Thomas, editors, Proc. Developments in Language Theory (DLT'99), pages 326-337. World Scientific, 2000.

Sigrid Ewert, Andries van der Walt: A Pumping Lemma for Random Permitting Context Languages. Theoretical Computer Science. To appear.

Sabine Kuske: More about control conditions for transformation units. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Proc. Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science, pages 323-337. 2000.

Hélène Jacquet, Renate Klempien-Hinrichs: Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach. In H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, editors, Proc. Sixth Intl. Workshop on Theory and Application of Graph Transformations (TAGT'98), volume 1764 of Lecture Notes in Computer Science, pages 117-130. Springer, 2000.

Hans-Jörg Kreowski, Sabine Kuske: Note on approach-independent structuring concepts for rule-based systems. In Hartmut Ehrig, Gabi Taentzer, editors, Proc. Joint Appligraph and GETGRATS Workshop on Graph Transformation Systems, Technical Report Nr. 2000-2, Technische Universität Berlin, pages 41-49. 2000.

Renate Klempien-Hinrichs: Normal forms for context-free node-rewriting hypergraph grammars. In H. Ehrig, G. Taentzer, editors, Preproc. GRATRA 2000, pages 224-231. 2000. Technische Universität Berlin, Forschungsberichte des Fachbereichs Informatik 2000-2.

Andries van der Walt, Sigrid Ewert: A Shrinking Lemma for Random Forbidding Context Languages. Theoretical Computer Science 237:149-158, 2000.

Sigrid Ewert, Tiaan Wessels: Distributed Processing of Random Context Picture Grammars. In International Workshop on Grammar Systems, Bad Ischl, Austria. 2000.

Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple modules for GRACE. In H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, editors, Theory and Application of Graph Transformation: 6th International Workshop, Paderborn, Germany, November 1998, Selected Papers, volume 1764 of Lecture Notes in Computer Science. Springer, 2000.

Frank Drewes, Renate Klempien-Hinrichs: Picking Knots from Trees. The Syntactic Structure of Celtic Knotwork. In M. Anderson, P. Cheng, V. Haarslev, editors, Proc. 1st Intl. Conference on Theory and Application of Diagrams 2000, volume 1889 of Lecture Notes in Artificial Intelligence, pages 89-104. Springer, 2000.

Frank Drewes, Renate Klempien-Hinrichs: Picking Knots from Trees. The Syntactic Structure of Celtic Knotwork. Technical report 4/00, Universität Bremen, 2000.

Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Computing Raster Images from Grid Picture Grammars. In M. Daley, M.G. Eramian, S. Yu, editors, Preproc. 5th Intl. Conference on Implementation and Application of Automata (CIAA 2000), pages 79-85. University of Western Ontario, London, Canada, 2000.

Frank Drewes, Renate Klempien-Hinrichs, Sigrid Ewert, Hans-Jörg Kreowski: Computing Raster Images from Grid Picture Grammars. Technical report 2/00, Universität Bremen, 2000.

Hans-Jörg Kreowski, Sabine Kuske: Suggestions on the Modularization of Rule-Based Systems. In Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif, editors, Proc. Rigorose Entwicklung software-intensiver Systeme, Technical Report 0005, Universität München, pages 73-82. 2000.

Frank Drewes: The Complexity of the Exponential Output Size Problem for Top-Down and Bottom-Up Tree Transducers. Information and Computation, 2000. To appear.

Jens Eschenbächer, Peter Knirsch, Ingo J. Timm: Demand Chain Optimisation by Using Agent Technology. In IFIP WG 5.7 - International Conference on Integrated Production Management: Information and Communication Technology in Logistics and Production Management, Tromso, Norway, pages 285-292. 2000.

Jens Eschenbächer, Peter Knirsch: Reengineering of Supply Chain Networks with Change Management. In Global Logistics for the New Millennium - Proc. of the 5th Internat. Symposium on Logistics (ISL 2000), Iwate, Japan, pages 198-207. 2000.

Zena M. Ariola, Jan Willem Klop, Detlef Plump: Bisimilarity in Term Graph Rewriting. Information and Computation 156:2-24, 2000.

Annegret Habel, Jürgen Müller, Detlef Plump: Double-Pushout Approach with Injective Matching. In Theory and Application of Graph Transformations (TAGT '98), Selected Papers, volume 1764 of Lecture Notes in Computer Science, pages 103-116. Springer, 2000.

Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. Informatik-Bericht 1/2000, Fachbereich Mathematik und Informatik, Universität Bremen, 2000. 33 pages.

Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif (ed.): Proc. Rigorose Entwicklung software-intensiver Systeme. Technical Report 0005, Universität München. 2000.

Sabine Kuske: Transformation Units-A structuring Principle for Graph Transformation Systems. University of Bremen, 2000.

Hans-Jörg Kreowski, Gabriel Valiente: Redundancy and Subsumption in High-level Replacement Systems. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Proc. 6th Int. Workshop on Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science, pages 215-227. 2000.

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (ed.): Proc. 6th International Workshop on Theory and Application of Graph Transformations TAGT'98, volume 1764. Lecture Notes in Computer Science. Springer, 2000.


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