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

Andrea Corradini, Frank Drewes: (Cyclic) Term Graph Rewriting is Adequate for Rational Parallel Term Rewriting. Technical report TR-97-14, Dipartimento di Informatica, Pisa, 1997.

Frank Drewes, Annegret Habel, Hans-Jörg Kreowski: Hyperedge Replacement Graph Grammars. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 1: Foundations, chapter 2, pages 95-162. World Scientific, 1997.

Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire: Criteria to Disprove Context-Freeness of Collage Languages. In B.S. Chlebus, L. Czaja, editors, Proc. Fundamentals of Computation Theory XI, volume 1279 of Lecture Notes in Computer Science, pages 169-178. 1997.

Frank Drewes: A Characterization of the Sets of Hypertrees Generated by Hyperedge-Replacement Graph Grammars. Report 3/97, Univ. Bremen, 1997. Revised version appeared in Theory of Computing Systems.

Frank Drewes: On the Generation of Trees by Hyperedge Replacement. In I. Prìvara, P. Ruzicka, editors, Proc. Mathematical Foundations of Computer Science 1997, volume 1295 of Lecture Notes in Computer Science, pages 229-238. 1997. Long version appeared in Theory of Computing Systems.

Sigrid Ewert, Andries van der Walt: A Pumping Lemma for Random Permitting Context Grammars. In Proc. 12th Annual MSc and PhD Conference in Computer Science, pages 14-17. Department of Computer Science, University of the Witwatersrand, Johannesburg, South Africa, 1997. Full paper to appear in Theoretical Computer Science.

Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr: Nested graph transformation units. International Journal on Software Engineering and Knowledge Engineering 7:479-502, 1997.

Renate Klempien-Hinrichs: Net Refinement by Pullback Rewriting. Technical report LaBRI TR 1175-97, LaBRI, Université de Bordeaux I, 1997. Revised version appeared in LNCS 1378.

Peter Knirsch: Hierarchical Event Structures for the Description of Reactive Systems. 1997. Diploma thesis, Universität Hildesheim.

Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas: Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractors. Revista Matematica 10:365-387, 1997.


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