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

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.

Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. In Jerzy Tiuryn, editor, Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, volume 1784 of Lecture Notes in Computer Science, pages 98-113. Springer, 2000.

Berthold Hoffmann, Mark Minas: A Generic Model for Diagram Syntax and Semantics. In Jos&{acute;e D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells, editors, ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000, pages 443-450. Carleton Scientific, Waterloo, Ontario, Canada, 2000.

Berthold Hoffmann, Mark Minas: Towards Generic Rule-Based Visual Programming. In 2000 IEEE International Symposium on Visual Languages, VL 2000, Seattle, Washington, USA, September 10-13, 2000, Proceedings, pages 65-66. IEEE Computer Society, 2000.

Berthold Hoffmann, Mark Minas: Towards rule-based visual programming of generic visual systems. CoRR cs.PL/0010016, 2000.

Mail to webmaster