@Article{ Aalbersberg-Ehrenfeucht-Rozenberg:86, author = {Aalbersberg, I. J. and Ehrenfeucht, A. and Rozenberg, G.}, title = {On the Membership Problem for Regular {DNLC} Grammars}, journal = {Discrete Applied Mathematics}, volume = {13}, pages = {79--85}, year = {1986}, added = {1996-03-28-11-35-01} } @Article{ Aalbersberg-Engelfriet-Rozenberg:90, author = {Ijsbrand Jan Aalbersberg and Joost Engelfriet and Grzegorz Rozenberg}, title = {The Complexity of Regular {DNLC} Graph Languages}, journal = {Journal of Computer and System Sciences}, volume = {40}, pages = {376--404}, year = {1990}, added = {1996-03-13-10-09-20} } @Article{ Abe-Mizumoto-Toyoda.ea:73, author = {N. Abe and M. Mizumoto and J.-I. Toyoda and K. Tanaka}, title = {Web Grammars and Several Graphs}, journal = {Journal of Computer and System Sciences}, volume = {7}, pages = {37--65}, year = {1973}, added = {1996-03-13-10-09-20} } @Book{ Adamek-Herrlich-Strecker:90, author = {Ji\u{r}\'i Ad\'amek and Horst Herrlich and George Strecker}, title = {Abstract and Concrete Categories}, year = {1990}, publisher = {John Wiley}, address = {New York}, added = {1996-03-13-10-09-20} } @InProceedings{ Alberich-Burmeister-Rossello.ea:96, author = {Alberich, R. and Burmeister, P. and Rossell{\'o}, F. and Valiente, G. and Wojdyto, B.}, title = {A Partial Algebras Approach to Graph Transformation}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {1--15}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @TechReport{ Alpern-Carle-Rosen, author = {B. Alpern and A. Carle and B. Rosen}, title = {Incremental evaluation of attributed graphs}, number = {CS 87-29}, publisher = {Brown University}, added = {1996-08-02-14-49-29} } @Book{ Anderson:70, author = {S. Anderson}, title = {Graph Theory and Finite Combinatorics}, year = {1970}, publisher = {Markham}, address = {Chicago}, added = {1996-03-13-10-09-20} } @Article{ Andries-Engels-Habel.ea:96, author = {Marc Andries and Gregor Engels and Annegret Habel and Berthold Hoffmann and Hans-J{\"o}rg Kreowski and Sabine Kuske and Detlef Plump and Andy Sch{\"u}rr and Gabriele Taentzer}, title = {Graph Transformation for Specification and Programming}, year = {1996}, note = {In preparation}, added = {1996-03-13-10-09-20} } @TechReport{ Andries-Engels-Habel.ea:96b, author = {Marc Andries and Gregor Engels and Annegret Habel and Berthold Hoffmann and Hans-J{\"o}rg Kreowski and Sabine Kuske and Detlef Plump and Andy Sch{\"u}rr and Gabriele Taentzer}, title = {Graph Transformation for Specification and Programming}, number = {7/96}, year = {1996}, institution = {Univ.\ Bremen}, type = {Report}, added = {1997-03-18-10-42-26} } @InProceedings{ Andries-Engels:94, author = {Marc Andries and Gregor Engels}, title = {Syntax and Semantics of Hybrid Database Languages}, editor = {Hans J{\"u}rgen Schneider and Hartmut Ehrig}, booktitle = {Graph Transformations in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {19--36}, year = {1994}, added = {1996-03-13-10-09-20} } @InProceedings{ Andries-Paredaens:92, author = {Marc Andries and Jan Paredaens}, title = {A Language for Generic Graph-Transformations}, editor = {G. Schmidt and R. Berghammer}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {570}, pages = {63--74}, year = {1992}, added = {1996-03-13-10-09-20} } @Book{ Arbib-Manes:75, author = {Michael A. Arbib and Ernest G. Manes}, title = {Arrows, Structures, and Functors}, year = {1975}, publisher = {Academic Press}, address = {New York}, added = {1996-03-13-10-09-20} } @InProceedings{ Ariola-Klop-Plump:97, author = {Ariola, Zena M. and Klop, Jan Willem and Plump, Detlef}, title = {Confluent Rewriting of Bisimilar Term Graphs}, booktitle = {Proc.\ Fourth Workshop on Expressiveness in Concurrency}, series = {Electronic Notes in Theoretical Computer Science}, volume = {7}, year = {1997}, publisher = {Elsevier}, note = {URL: \texttt{http://www.elsevier.nl/locate/entcs/volume7.html}}, added = {1997-09-01-19-34-43} } @TechReport{ Ariola-Klop-Plump:98, author = {Zena M. Ariola and Jan Willem Klop and Detlef Plump}, title = {Bisimilarity in Term Graph Rewriting}, number = {SEN-R9801}, year = {1998}, institution = {CWI, Amsterdam}, type = {Report}, added = {1998-01-26-18-34-25} } @InProceedings{ Arnborg-Andrzej:96, author = {Arnborg, Stefan and Proskurowski Andrzej}, title = {A Technique for Recognizing Graphs of Bounded Treewidth with Application to Subclasses of Partial 2-Paths}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {469--486}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Article{ Arnborg-Corneil-Proskurowski:87, author = {Stefan Arnborg and D. G. Corneil and Andrzej Proskurowski}, title = {Complexity of Finding Embeddings in a $k$-Tree}, journal = {SIAM Journal of Alg. and Discrete Methods}, volume = {8}, pages = {277--284}, year = {1987}, added = {1996-03-13-10-09-20} } @TechReport{ Arnborg-Courcelle-Proskurowski.ea:90, author = {S. Arnborg and Bruno Courcelle and A Proskurowski and D. Seese}, title = {An algebraic theory of graph reduction}, number = {LaBRI TR 90--02}, year = {1990}, institution = {Univ. Bordeaux}, added = {1996-03-28-11-35-01} } @InProceedings{ Arnborg-Courcelle-Proskurowski.ea:91, author = {S. Arnborg and B. Courcelle and A. Proskurowski and D. Seese}, title = {An Algebraic Theory of Graph Reduction}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, number = {532}, pages = {70--83}, year = {1991}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @Article{ Arnborg-Courcelle-Proskurowski.ea:93, author = {Stefan Arnborg and Bruno Courcelle and Andrzej Proskurowski and Detlef Seese}, title = {An Algebraic Theory of Graph Reduction}, journal = {Journal of the ACM}, volume = {40}, pages = {1134--1164}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Arnborg-Lagergren-Seese:88, author = {Stefan Arnborg and Jens Lagergren and Detlef Seese}, title = {Problems Easy for Tree-Decompos\-able Graphs}, editor = {T. Lepist{\"o} and A. Salomaa}, booktitle = {Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {38--51}, year = {1988}, added = {1996-03-13-10-09-20} } @Article{ Arnborg-Lagergren-Seese:91, author = {Stefan Arnborg and Jens Lagergren and Detlef Seese}, title = {Problems Easy for Tree-Decompos\-able Graphs}, journal = {Journal of Algorithms}, volume = {12}, pages = {308--340}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Arnborg-Proskurowski:85, author = {Stefan Arnborg and Andrzej Proskurowski}, title = {Characterization and Recognition of Partial $k$-Trees}, journal = {Congressus Numerantium}, volume = {47}, pages = {69--76}, year = {1985}, added = {1996-03-13-10-09-20} } @Article{ Arnborg-Proskurowski:86, author = {Stefan Arnborg and Andrzej Proskurowski}, title = {Characterization and Recognition of Partial 3-Trees}, journal = {SIAM Journal of Alg. and Discrete Methods}, volume = {7}, pages = {305--314}, year = {1986}, added = {1996-03-13-10-09-20} } @Article{ Arnborg:85, author = {Stefan Arnborg}, title = {Efficient Algorithms for Combinatorial Problems on Graphs with Bounded Decomposability --- {A} Survey}, journal = {BIT}, volume = {25}, pages = {2--33}, year = {1985}, added = {1996-03-13-10-09-20} } @InProceedings{ Assmann:96, author = {A{\ss}mann, Uwe}, title = {On Edge Addition Rewrite Systems and their Relevance to Program Analysis}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {321--335}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Book{ Ausiello-Atzeni:86, title = {Proc.\ Int.\ Conf.\ on database theory}, editor = {G. Ausiello and P. Atzeni}, series = {Lecture Notes in Computer Science}, volume = {243}, year = {1986}, publisher = {Springer-Verlag}, added = {1996-08-02-14-49-29} } @Book{ Avenhaus:95, author = {J. Avenhaus}, title = {{Reduktionssysteme. Rechnen und Schlie\ss{}en in gleichunsdefinierten Strukturen}}, year = {1995}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @Article{ BCourcelle-Senizergues:96, author = {B.~Courcelle and G. S\'{e}nizergues}, title = {The obstructions of a minor-closed set of graphs defined by a hyperedge-replacement graph grammar can be constructed}, journal = {Discrete Mathematics}, year = {1996}, note = {{ In press}}, added = {1998-01-22-10-35-50} } @Article{ BCourcelle:96, author = {B.~Courcelle}, title = {The monadic second-order logic of graphs {X}: Linear orders}, journal = {Theoretical Computer Science}, volume = {160}, pages = {87--143}, year = {1996}, added = {1998-01-22-10-35-50} } @InProceedings{ Bailey-Bailey-Fischer:91, author = {Duane A. Bailey and Janice E. Bailey and Charles D. Fischer}, title = {Programming with Very Large Graphs}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {84--97}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Baker:83, author = {B. S. Baker}, title = {Approximation Algorithms for {NP}-Complete Problems on Planar Graphs}, booktitle = {Proc. 24th Ann. Symp. on Foundations of Comp. Sci.}, pages = {265--273}, year = {1983}, organization = {IEEE Comp. Society}, address = {Los Angeles}, added = {1996-03-13-10-09-20} } @InProceedings{ Banach:96, author = {Banach, Richard}, title = {The Contractum in Algebraic Graph Rewriting}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {16--26}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Barendregt-vanEekelen-Glaubert.ea:87, author = {Hendrik Barendregt and Marko {van Eekelen} and John Glaubert and Richard Kennaway and Rinus Plasmeijer and Ronan Sleep}, title = {Term Graph Rewriting}, editor = {J. W. de Bakker and A. J. Nijman and P. C. Treleaven}, booktitle = {PARLE'87}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {141--158}, year = {1987}, added = {1996-03-13-10-09-20} } @PhDThesis{ Barthelmann:90, author = {Klaus Barthelmann}, title = {Graphgrammatikalische Hilfsmittel zur Beschreibung verteilter Systeme}, year = {1990}, school = {Erlangen}, added = {1996-03-13-10-09-20} } @InProceedings{ Barthelmann:91, author = {Klaus Barthelmann}, title = {Describing {G}{\"o}ttler's Operational Graph Grammars with Push\-outs}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {98--112}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Barthelmann:96, author = {Barthelmann, Klaus}, title = {Process Specification and Verification}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {225--239}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Bartsch-Spoerl:83, author = {B. {Bartsch-Sp\"orl}}, title = {Grammatical Inference of Graph Grammars for Syntactic Pattern Recognition}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {1--7}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Batini-DAtri:79, author = {C. Batini and A. D'Atri}, title = {Rewriting Systems as a Tool for Relational Data Base Design}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {139--154}, year = {1979}, added = {1996-03-13-10-09-20} } @InProceedings{ Batini-DAtri:81, author = {C. Batini and A. D'Atri}, title = {Schema Hypergraphs: {A} Formalism to Investigate Logical Data Base Design}, editor = {H. Noltemeier}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {100}, pages = {177--194}, year = {1981}, added = {1996-03-13-10-09-20} } @InProceedings{ Bauderon-Courcelle:86, author = {Michel Bauderon and Bruno Courcelle}, title = {An Algebraic Formalism for Graphs}, editor = {P. {Franchi-Zannettacci}}, booktitle = {CAAP '86}, series = {Lecture Notes in Computer Science}, volume = {214}, pages = {74--84}, year = {1986}, added = {1996-03-13-10-09-20} } @Article{ Bauderon-Courcelle:87, author = {Michel Bauderon and Bruno Courcelle}, title = {Graph Expressions and Graph Rewriting}, journal = {Mathematical Systems Theory}, volume = {20}, pages = {83--127}, year = {1987}, added = {1996-03-13-10-09-20} } @TechReport{ Bauderon-Jacquet:96, author = {M. Bauderon and H. Jacquet}, title = {Categorical product as a generic graph rewriting mechanism}, number = {1166--97}, year = {1996}, institution = {LaBRI, University of Bordeaux}, note = {Submitted to J.A.C.T.S}, added = {1998-01-22-10-35-50} } @InProceedings{ Bauderon:89, author = {Michel Bauderon}, title = {On Systems of Equations Defining Infinite Graphs}, editor = {J. van Leeuwen}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {344}, pages = {54--73}, year = {1989}, added = {1996-03-13-10-09-20} } @Article{ Bauderon:91, author = {Michel Bauderon}, title = {Infinite Hypergraphs {I}. {B}asic Properties}, journal = {Theoretical Computer Science}, volume = {82}, pages = {177--214}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Bauderon:92, author = {Michel Bauderon}, title = {Infinite Hypergraphs {II}. {S}ystems of Recursive Equations}, journal = {Theoretical Computer Science}, volume = {103}, pages = {165--190}, year = {1992}, added = {1996-03-13-10-09-20} } @InProceedings{ Bauderon:95, author = {Michel Bauderon}, title = {A Uniform Approach to Graph Rewriting: The Pullback Approach}, editor = {Manfred Nagl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {1017}, pages = {101--115}, year = {1995}, added = {1996-03-13-10-09-20} } @InProceedings{ Bauderon:96, author = {Bauderon, Michel}, title = {A Category-Theoretical Approach to Vertex Replacement: {The} Generation of Infinite Graphs}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {27--37}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @PhDThesis{ Beeck:95, author = {Beeck, M. von der}, title = {{Ein Kontrollmodell f{\"u}r die Strukturierte Analyse}}, year = {1995}, address = {RWTH Aachen}, type = {Dissertation}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @Book{ Berge:73, author = {Claude Berge}, title = {Graphs and Hypergraphs}, year = {1973}, publisher = {North Holland}, address = {Amsterdam}, added = {1996-03-13-10-09-20} } @InProceedings{ Berman-Shannon:84, author = {F. Berman and G. Shannon}, title = {Edge Grammars: Decidability Results and Formal Language Issues}, booktitle = {Proc. of the 22nd Allerton Conference on Communication, Control and Computing}, pages = {921--930}, year = {1984}, address = {Urbana, Illinois}, added = {1996-03-13-10-09-20} } @InProceedings{ Bern-Lawler-Wong:85, author = {M. W. Bern and E. L. Lawler and A. L. Wong}, title = {Why Certain Subgraph Computations Require only Linear Time}, booktitle = {Proc. 26th Symp. on Foundations of Computer Science (FOCS '85)}, pages = {117--125}, year = {1985}, added = {1996-03-13-10-09-20} } @Article{ Bern-Lawler-Wong:87, author = {M. W. Bern and E. L. Lawler and A. L. Wong}, title = {Linear Time Computation of Optimal Subgraphs of Decomposable Graphs}, journal = {Journal of Algorithms}, volume = {8}, pages = {216--235}, year = {1987}, added = {1996-03-13-10-09-20} } @Manual{ Beyer:92, author = {Martin Beyer}, title = {{AGG 1.0 -- Kurzanleitung}}, year = {1992}, school = {Berlin}, added = {1996-03-13-10-09-20} } @Manual{ Beyer:92b, author = {Martin Beyer}, title = {{AGG 1.0 -- Tutorial}}, year = {1992}, school = {Berlin}, added = {1996-03-13-10-09-20} } @Manual{ Beyer:93, author = {Martin Beyer}, title = {{AGG}, An Algebraic Graph Grammar System, User's Manual}, year = {1993}, school = {Technical University of Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Billaud-Lafon-Yves.ea:90, author = {Michel Billaud and Pierre Lafon and Yves and M\'etivier and Eric Sopena}, title = {Graph Rewriting Systems with Priorities}, editor = {M. Nagl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {411}, pages = {94--106}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Bloedel-Wankmueller:87, author = {V. Bl{\"o}del and F. Wankm{\"u}ller}, title = {Graph Languages Defined by Systems of Forbidden Structures: {A} Survey}, editor = {H. G\"ottler and H. J. Schneider}, booktitle = {Graph-Theoric Concepts in Computer Science, International Workshop WG'87}, series = {Lecture Notes in Computer Science}, number = {314}, pages = {46--58}, year = {1987}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @TechReport{ Blostein-Fahmy-Grbavec:95, author = {D. Blostein and H. Fahmy and A. Grbavec}, title = {Practical use of graph rewriting}, number = {95-373}, year = {1995}, institution = {Queen's University}, address = {CDN}, added = {1996-08-02-14-49-29} } @InProceedings{ Blostein-Fahmy-Grbavec:96, author = {Blostein, Dorothea and Fahmy, Hoda and Grbavec, Ann}, title = {Issues in the Practical Use of Graph Rewriting}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {38--55}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @TechReport{ Bodlaender:86, author = {Hans L. Bodlaender}, title = {Classes of Graphs with Bounded Tree-Width}, number = {RUU-CS-86-22}, year = {1986}, institution = {Utrecht}, added = {1996-03-13-10-09-20} } @InProceedings{ Bodlaender:88, author = {Hans L. Bodlaender}, title = {Dynamic Programming on Graphs with Bounded Tree-width}, editor = {T. Lepist{\"o} and A. Salomaa}, booktitle = {Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {105--118}, year = {1988}, added = {1996-03-13-10-09-20} } @TechReport{ Bodlaender:88b, author = {H. L. Bodlaender}, title = {{NC}--algorithms for graphs with small tree-width}, number = {RUU--CS--88--4}, year = {1988}, institution = {Rijskuniversiteit Utrecht, vakgroep informatica}, type = {Report}, added = {1996-03-28-11-35-01} } @InCollection{ Bodlaender:88c, author = {H. L. Bodlaender}, title = {Polynomial algorithms for graph isomorphism and chromatic index on partial $k$-trees}, editor = {R. Karlsson and A. Lingas and G. Rozenberg}, booktitle = {Proc. {SWAT} 88}, series = {Lecture Notes in Computer Science}, volume = {318}, pages = {223--232}, year = {1988}, publisher = {Springer}, added = {1996-03-28-11-35-01} } @InProceedings{ Bodlaender:89, author = {Hans L. Bodlaender}, title = {{NC}-Algorithms for Graphs with Small Tree-Width}, editor = {J. van Leeuwen}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {344}, pages = {1--10}, year = {1989}, added = {1996-03-13-10-09-20} } @InProceedings{ Boehm-Ehrig-Hummert.ea:87, author = {Paul Boehm and Hartmut Ehrig and Udo Hummert and Michael L{\"o}we}, title = {Towards Distributed Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {86--98}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Boehm-Fonio-Habel:85, author = {Paul Boehm and Harald-Reto Fonio and Annegret Habel}, title = {Amalgamation of Graph Transformations with Applications to Synchronization}, editor = {H. Ehrig and C. Floyd and M. Nivat and J. Thatcher}, booktitle = {Mathematical Foundations of Software Development}, series = {Lecture Notes in Computer Science}, volume = {185}, pages = {267--283}, year = {1985}, added = {1996-03-13-10-09-20} } @Article{ Boehm-Fonio-Habel:87, author = {Paul Boehm and Harald-Reto Fonio and Annegret Habel}, title = {Amalgamation of Graph Transformations: {A} Synchronization Mechanism}, journal = {Journal of Computer and System Sciences}, volume = {34}, pages = {377--408}, year = {1987}, added = {1996-03-13-10-09-20} } @Article{ Boehm-Jacopini:66, author = {C. B{\"o}hm and G. Jacopini}, title = {Flow Diagrams, Turing Machines, and Languages with only Two Formation Rules}, journal = {Comm. ACM}, volume = {19}, pages = {366--371}, year = {1966}, added = {1996-03-13-10-09-20} } @Booklet{ Bossut-Warin:86, author = {F. Bossut and F. Warin}, title = {Rationalit\'e et reconnaissabilit\'e dans les graphes acycliques}, year = {1986}, address = {Univ. of Lille}, howpublished = {Ph.D.}, added = {1996-03-28-11-35-01} } @TechReport{ Bottreau-Metivier:97, author = {A. Bottreau and Y. M\'etivier}, title = {Normal forms of graph rewriting, minor searching : two applications of enumeration}, year = {1997}, institution = {LaBRI}, note = {submitted}, added = {1998-01-22-10-35-50} } @InProceedings{ Brandenburg-Chytil:91, author = {Franz J. Brandenburg and Michal P. Chytil}, title = {Cycle Chain Code Picture Languages}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {157--173}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Brandenburg-Skodinis:94, author = {Franz J. Brandenburg and Konstantin Skodinis}, title = {Confluent {eNCE Graph} Grammars and Neighborhood Preserving Normal Form}, year = {1994}, added = {1996-03-13-10-09-20} } @InProceedings{ Brandenburg-Skodinis:95, author = {Franz J. Brandenburg and Kostantin Skodinis}, title = {Graph Automata for Linear Graph Languages}, year = {1995}, note = {Submitted for publication}, added = {1996-03-13-10-09-20} } @InProceedings{ Brandenburg-Skodinis:96, author = {Brandenburg, Franz Joseph and Skodinis, Kostantin}, title = {Graph Automata for Linear Languages}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {336--350}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InCollection{ Brandenburg:83, author = {Franz J. Brandenburg}, title = {On the Complexity of the Membership Problem of Graph Grammars}, editor = {M. Nagl and J. Perl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, pages = {40--49}, year = {1983}, publisher = {Trauner Verlag}, address = {Linz}, added = {1996-03-13-10-09-20} } @InProceedings{ Brandenburg:87, author = {Franz J. Brandenburg}, title = {On Partially Ordered Graph-Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {99--111}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Brandenburg:88, author = {Franz J. Brandenburg}, title = {On Polynomial Time Graph Grammars}, editor = {R. Cori and M. Wirsing}, booktitle = {STACS 88}, series = {Lecture Notes in Computer Science}, volume = {294}, pages = {227--236}, year = {1988}, added = {1996-03-13-10-09-20} } @InProceedings{ Brandenburg:91, author = {Franz J. Brandenburg}, title = {Layout Graph Grammars: The Placement Approach}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {144--156}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Brandenburg:91b, author = {Franz J. Brandenburg}, title = {The Equivalence of Boundary and Confluent Graph Grammars on Graph Languages of Bounded Degree}, editor = {R. V. Book}, booktitle = {Rewriting Techniques and Applications}, series = {Lecture Notes in Computer Science}, volume = {488}, pages = {312--322}, year = {1991}, added = {1996-03-13-10-09-20} } @Book{ Breu:91, author = {R. Breu}, title = {Algebraic Specification Techniques in Object-Oriented Programming Environments}, series = {Lecture Notes in Computer Science}, volume = {562}, year = {1991}, publisher = {Springer-Verlag}, added = {1996-08-02-14-49-29} } @Article{ Buechi:60, author = {J. B{\"u}chi}, title = {Weak Second Order Logic and Finite Automata}, journal = {Z. Math. Logik, Grundlag. Math.}, volume = {5}, pages = {66--62}, year = {1960}, added = {1996-03-13-10-09-20} } @InProceedings{ Bunke-Glauser-Tran:91, author = {Horst Bunke and T. Glauser and T.-H. Tran}, title = {An Efficient Implementation of Graph Grammars Based on the {RETE}-Matching Algorithm}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {174--189}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Bunke-Haller:90, author = {Horst Bunke and B. Haller}, title = {A Parser for Context Free Plex Grammars}, editor = {M. Nagl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {411}, pages = {136--150}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Bunke:79, author = {Horst Bunke}, title = {Programmed Graph Grammars}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {155--166}, year = {1979}, added = {1996-03-13-10-09-20} } @PhDThesis{ Bunke:79b, author = {Bunke, H.}, title = {{Sequentielle und parallele Graph-Grammatiken}}, year = {1979}, address = {F.A.U. Erlangen}, type = {Dissertation}, school = {Inst. f. math. Maschinen und Datenverarb. (IMMD)}, added = {1996-11-28-18-33-07} } @Article{ Bunke:82, author = {Horst Bunke}, title = {On the Generative Power of Sequential and Parallel Programmed Graph Grammars}, journal = {Computing}, volume = {29}, pages = {89--112}, year = {1982}, added = {1996-03-13-10-09-20} } @Article{ Bunke:82b, author = {H. Bunke}, title = {Attributed programmed graph grammars and their application to schematic diagram interpretation}, series = {IEEE pattern analysis and machine intelligence}, volume = {4}, number = {6}, pages = {574--582}, year = {1982}, publisher = {IEEE Computer Society Press}, added = {1996-08-02-14-49-29} } @InProceedings{ Bunke:83, author = {Horst Bunke}, title = {Graph Grammars as a Generative Tool in Image Understanding}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {8--19}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Castellani-Montanari:83, author = {I. Castellani and Ugo Montanari}, title = {Graph Grammars for Distributed Systems}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {20--38}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Caucal:91, author = {D. Caucal}, title = {An Application of Graph Grammars to the Elimination of Redundancy from Fonctions Defined by Schemes}, editor = {H. Erhig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, number = {532}, pages = {190--206}, year = {1991}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @Article{ Caucal:92, author = {Didier Caucal}, title = {On the Regular Structure of Prefix Rewriting}, journal = {Theoretical Computer Science}, volume = {106}, pages = {61--86}, year = {1992}, added = {1996-03-13-10-09-20} } @Book{ Chartrand-Oellermann:93, author = {Gary Chartrand and Ortrud R. Oellermann}, title = {Applied and Algorithmic Graph Theory}, year = {1993}, publisher = {McGraw-Hill}, address = {New York}, added = {1996-03-13-10-09-20} } @Proceedings{ Claus-Ehrig-Rozenberg:79, title = {Graph Grammars and Their Application to Computer Science and Biology}, editor = {Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg}, series = {Lecture Notes in Computer Science}, volume = {73}, year = {1979}, added = {1996-03-13-10-09-20} } @InProceedings{ Collectif:91, author = {Collectif}, title = {Panel Discussion: The Use of Graph Grammars in Application}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, number = {532}, pages = {41--60}, year = {1991}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @TechReport{ Conrad-Gajewski-Holl-Biniasz.ea:95, author = {Mirko Conrad and Magdalena Gajewski and Rainer Holl-Biniasz and Michael Rudolf and Jochen Demuth and Stephan Weber and Reiko Heckel and J{\"u}rgen M{\"u}ller and Gabriele Taentzer and Annika Wagner}, title = {{Graphische Spezifikation ausgew\"ahlter Teile von AGG -- einem algebraischen Graphgrammatiksystem}}, year = {1995}, institution = {Technical University of Berlin}, type = {Technical Report 95-7}, added = {1996-03-13-10-09-20} } @Article{ Cook:74, author = {C. R. Cook}, title = {First Order Graph Grammars}, journal = {SIAM Journal on Computing}, volume = {3}, pages = {90--99}, year = {1974}, added = {1996-03-13-10-09-20} } @TechReport{ Corradini-Drewes:97, author = {Corradini, A. and Drewes, F.}, title = {({C}yclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting}, number = {TR-97-14}, year = {1997}, institution = {Dipartimento di Informatica, Pisa}, added = {1997-09-02-14-33-22} } @InCollection{ Corradini-Ehrig-Heckel.ea:97, author = {Corradini, Andrea and Ehrig, Hartmut and Heckel, Reiko and Korff, Martin and L\"owe, Michael and Ribeiro, Leila and Wagner, Anika}, title = {Algebraic Approaches to Graph Transformation - Part {I}: {S}ingle Pushout Approach and Comparison with Double Pushout Approach}, editor = {Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ {I}: Foundations}, chapter = {4}, pages = {247--312}, year = {1997}, publisher = {World Scientific}, added = {1997-03-17-16-11-19} } @Article{ Corradini-Ehrig-Loewe.ea:95, author = {Andrea Corradini and Hartmut Ehrig and Michael L{\"o}we and Ugo and Montanari and Julia Padberg}, title = {Typed Graph Grammars and Their Adjunction with Categories of Derivations}, year = {1995}, note = {Submitted for publication}, added = {1996-03-13-10-09-20} } @InCollection{ Corradini-Ehrig-Loewe.ea:95b, author = {Andrea Corradini and Hartmut Ehrig and Michael L{\"o}we and Ugo and Montanari and Francesca Rossi}, title = {Algebraic Approach to Graph Transformations {II}: Models of Computation in the Double Pushout Approach}, year = {1995}, note = {Submitted for publication}, added = {1996-03-13-10-09-20} } @InProceedings{ Corradini-Ehrig-Loewe.ea:96, author = {Corradini, Andrea and Ehrig, Hartmut and L{\"o}we, Martin and Montanari, Ugo and Rossi, Francesca}, title = {An Event Structure Semantics for Graph Grammars with Prallel Productions}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {240--256}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Corradini-Ehrig-Montanari.ea:96, author = {Corradini, Andrea and Ehrig, Hartmut and Montanari, Ugo and Padberg, Julia}, title = {The Category of Typed Graph Grammars and its Adjunction with Categories of Derivations}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {56--74}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Corradini-Gadducci:97, author = {Corradini, A. and Gadducci, F.}, title = {A 2-Categorical Presentation of Term Graph Rewriting}, booktitle = {Proceedings CTCS'97}, series = {LNCS}, volume = {1290}, year = {1997}, publisher = {Springer Verlag}, added = {1998-01-22-10-35-50} } @Unpublished{ Corradini-Gadducci:97b, author = {Corradini, A. and Gadducci, F.}, title = {An Algebraic Presentation of Term Graphs, via PS-Monoidal Categories}, year = {1997}, note = {Submitted for publication. Available at {\tt http://www.di.unipi.it/$\sim$gadducci/papers/aptg.ps}}, added = {1998-01-22-10-35-50} } @InCollection{ Corradini-Heckel:95, author = {Andrea Corradini and Reiko Heckel}, title = {A Compositional Approach to Structuring and Refinement of Typed Graph Grammars}, editor = {A. Corradini and U. Montanari}, booktitle = {SEGRAGRA'95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {2}, year = {1995}, publisher = {Elsevier}, added = {1996-03-13-10-09-20} } @InProceedings{ Corradini-Montanari-Rossi.ea:91, author = {Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Michael L{\"o}we}, title = {Graph Grammars and Logic Programming}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {221--237}, year = {1991}, added = {1996-03-13-10-09-20} } @InCollection{ Corradini-Montanari-Rossi.ea:97, author = {Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, Hartmut and Heckel, Reiko and L\"owe, Michael}, title = {Algebraic Approaches to Graph Transformation - Part {I}: {B}asic Concepts and Double Pushout Approach}, editor = {Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ {I}: Foundations}, chapter = {3}, pages = {163--246}, year = {1997}, publisher = {World Scientific}, added = {1997-03-17-16-11-19} } @InCollection{ Corradini-Montanari-Rossi.ea:97b, author = {Corradini, A. and Montanari, U. and Rossi, F. and Ehrig, H. and Heckel, R. and L{\"o}we, M.}, title = {Algebraic Approaches to Graph Transformation {I}: Basic Concepts and Double Pushout Approach}, editor = {Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations}, year = {1997}, publisher = {World Scientific}, added = {1998-01-22-10-35-50} } @InProceedings{ Corradini-Rossi-Parisi-Presicce:91, author = {Andrea Corradini and Francesca Rossi and Francesco {Parisi-Presicce}}, title = {Logic Programming as Hypergraph Rewriting}, booktitle = {CAAP '91}, series = {Lecture Notes in Computer Science}, volume = {493}, pages = {275--295}, year = {1991}, added = {1996-03-13-10-09-20} } @InCollection{ Corradini-Rossi:93, author = {Andrea Corradini and Francesca Rossi}, title = {A New Term Graph Rewriting Formalism: Hyperedge Replacement Jungle Rewriting}, editor = {Ronan Sleep and Rinus Plasmeijer and Marko {van Eekelen}}, booktitle = {Term Graph Rewriting: Theory and Practice}, pages = {101--115}, year = {1993}, publisher = {John Wiley}, address = {New York}, added = {1996-03-13-10-09-20} } @Article{ Corradini-Rossi:93b, author = {Andrea Corradini and Francesca Rossi}, title = {Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Logic Programming}, journal = {Theoretical Computer Science}, volume = {109}, pages = {7--48}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Corradini-Rossi:96, author = {Corradini, Andrea and Rossi, Francesca}, title = {Synchronized Composition of Graph Grammar Productions}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {257--270}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Corradini-Wolz:94, author = {Andrea Corradini and Dietmar Wolz}, title = {Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine}, editor = {Hans J{\"u}rgen Schneider and Hartmut Ehrig}, booktitle = {Graph Transformations in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {119--137}, year = {1994}, added = {1996-03-13-10-09-20} } @InProceedings{ Courcelle-Engelfriet-Rozenberg:91, author = {Bruno Courcelle and Joost Engelfriet and Grzegorz Rozenberg}, title = {Context-Free Handle-Re\-writ\-ing Hypergraph Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {253--268}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Courcelle-Engelfriet-Rozenberg:93, author = {Bruno Courcelle and Joost Engelfriet and Grzegorz Rozenberg}, title = {Handle-Rewriting Hypergraph Grammars}, journal = {Journal of Computer and System Sciences}, volume = {46}, pages = {218--270}, year = {1993}, added = {1996-03-13-10-09-20} } @Article{ Courcelle-Engelfriet:95, author = {Bruno Courcelle and Joost Engelfriet}, title = {A Logical Characterization of the Sets of Hypergraphs Defined by Hyperedge Replacement Grammars}, journal = {Mathematical Systems Theory}, volume = {28}, pages = {515--552}, year = {1995}, added = {1996-03-13-10-09-20} } @Article{ Courcelle-Franchi-Zannettacci:82, author = {Bruno Courcelle and P. {Franchi-Zannettacci}}, title = {Attribute Grammars and Recursive Program Schemes {I} and {II}}, journal = {Theoretical Computer Science}, volume = {17}, pages = {163--191, 235--257}, year = {1982}, added = {1996-03-13-10-09-20} } @TechReport{ Courcelle-Mosbah:90, author = {Bruno Courcelle and Mohamed Mosbah}, title = {Monadic Second Order Evaluations on Tree-Decomposable Graphs}, number = {LaBRI TR 90--110}, year = {1990}, institution = {Univ. Bordeaux}, added = {1996-03-28-11-35-01} } @Article{ Courcelle-Mosbah:93, author = {Bruno Courcelle and Mohamed Mosbah}, title = {Monadic Second-Order Evaluations on Tree-Decomposable Graphs}, journal = {Theoretical Computer Science}, volume = {109}, pages = {49--82}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Courcelle-Senizergues:96, author = {Courcelle, Bruno and S{\'e}nizergues, G.}, title = {The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {351--367}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Article{ Courcelle:83, author = {Bruno Courcelle}, title = {Fundamental Properties of Infinite Trees}, journal = {Theoretical Computer Science}, volume = {25}, pages = {95--169}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:86, author = {Bruno Courcelle}, title = {Equivalence and Transformations of Regular Systems. Applications to Recursive Program Schemes and Grammars}, journal = {Theoretical Computer Science}, volume = {42}, pages = {1--22}, year = {1986}, added = {1996-03-13-10-09-20} } @InProceedings{ Courcelle:87, author = {Bruno Courcelle}, title = {A Representation of Graphs by Algebraic Expressions and its Use for Graph Rewriting Systems}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {112--132}, year = {1987}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:87b, author = {Bruno Courcelle}, title = {An Axiomatic Definition of Context-Free Rewriting and its Application to {NLC} Graph Grammars}, journal = {Theoretical Computer Science}, volume = {55}, pages = {141--181}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Courcelle:87c, author = {Bruno Courcelle}, title = {On Context-Free Sets of Graphs and Their Monadic Second-Order Theory}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {133--146}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Courcelle:88, author = {Bruno Courcelle}, title = {An Axiomatic Definition of Context-Free Rewriting and its Application to {NLC} Grammars}, editor = {R. Cori and M. Wirsing}, booktitle = {STACS 88}, series = {Lecture Notes in Computer Science}, volume = {294}, pages = {237--247}, year = {1988}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:88b, author = {Bruno Courcelle}, title = {Some Applications of Logic, of Universal Algebra,and of Category Theory to the Theory of Graph Transformations}, journal = {Bull. EATCS}, volume = {36}, pages = {161--218}, year = {1988}, added = {1996-03-13-10-09-20} } @TechReport{ Courcelle:88c, author = {Bruno Courcelle}, title = {The monadic second--order logic of graphs, {III}: tree--width, forbidden minors and complexity issues}, year = {1988}, institution = {Universit\'e Bordeaux 1}, type = {Preprint}, added = {1996-03-28-11-35-01} } @InProceedings{ Courcelle:89, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs: Definable Sets of Finite Graphs}, editor = {J. van Leeuwen}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {344}, pages = {30--53}, year = {1989}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:89b, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {II}: Infinite Graphs of Bounded Width}, journal = {Mathematical Systems Theory}, volume = {21}, pages = {187--221}, year = {1989}, added = {1996-03-13-10-09-20} } @InCollection{ Courcelle:90, author = {Bruno Courcelle}, title = {Graph Rewriting: An Algebraic and Logic Approach}, editor = {J. van Leeuwen}, booktitle = {Handbook of Theoretical Computer Science}, volume = {{B}}, pages = {193--242}, year = {1990}, publisher = {Elsevier}, address = {Amsterdam}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:90b, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {I}: Recognizable Sets of Finite Graphs}, journal = {Information and Computation}, volume = {85}, pages = {12--75}, year = {1990}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:90c, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {IV}: Definability Properties of Equational Graphs}, journal = {Annals of Pure and Applied Logic}, volume = {49}, pages = {193--255}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Courcelle:91, author = {Bruno Courcelle}, title = {Graphs as Relational Structures: An Algebraic and Logical Approach}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {238--252}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:91b, author = {Bruno Courcelle}, title = {Recursive Queries and Context-Free Graph Grammars}, journal = {Theoretical Computer Science}, volume = {78}, pages = {217--244}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:91c, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {V}: On Closing the Gap between Definability and Recognizability}, journal = {Theoretical Computer Science}, volume = {80}, pages = {153--202}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Courcelle:91d, author = {B. Courcelle}, title = {The Logical Expression of Graph Properties (Abstract)}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, number = {532}, pages = {38--40}, year = {1991}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @InProceedings{ Courcelle:92, author = {Bruno Courcelle}, title = {Monadic Second Order Definable Graph Transductions}, editor = {J.-C. Raoult}, booktitle = {CAAP'92}, series = {Lecture Notes in Computer Science}, volume = {581}, pages = {124--144}, year = {1992}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:92b, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {III}: Tree-Decompositions, Minors and Complexity Issues}, journal = {{RAIRO} Theoretical Informatics and Applications}, volume = {26}, pages = {257--286}, year = {1992}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:92c, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {VII}: Graphs as Relational Structures}, journal = {Theoretical Computer Science}, volume = {101}, pages = {3--33}, year = {1992}, added = {1996-03-13-10-09-20} } @InProceedings{ Courcelle:93, author = {Bruno Courcelle}, title = {Context-Free Graph Grammars: Separating Vertex Replacement from Hyperedge Replacement}, editor = {Z. \'Esik}, booktitle = {Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {710}, pages = {181--193}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Courcelle:93b, author = {Bruno Courcelle}, title = {Graph Grammars, Monadic Second-Order Logic And The Theory of Graph Minors}, editor = {N. Robertson and P. Seymour}, booktitle = {Graph Structure Theory}, series = {Contemporary Mathematics}, volume = {147}, pages = {565--590}, year = {1993}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:93c, author = {Courcelle, Bruno}, title = {Graph Grammars, Monadic Second-Order Logic and the Theory of Graph Minors}, journal = {Contemporary Mathematics}, volume = {147}, pages = {565--589}, year = {1993}, added = {1997-04-01-17-37-10} } @Article{ Courcelle:94, author = {Bruno Courcelle}, title = {Monadic Second-Order Definable Graph Transductions: {A} Survey}, journal = {Theoretical Computer Science}, volume = {126}, pages = {53--75}, year = {1994}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:94b, author = {Bruno Courcelle}, title = {Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties}, journal = {Mathematical Structures in Computer Science}, volume = {4}, pages = {1--32}, year = {1994}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:95, author = {Bruno Courcelle}, title = {Structural Properties of Context-Free Sets of Graphs Generated by Vertex Replacement}, journal = {Information and Computation}, volume = {116}, pages = {275--293}, year = {1995}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:95b, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {VI}: On Several Representations of Graphs by Relational Structures}, journal = {Discrete Applied Mathematics}, year = {1995}, note = {To appear}, added = {1996-03-13-10-09-20} } @Article{ Courcelle:95c, author = {Bruno Courcelle}, title = {The Monadic Second-Order Logic of Graphs {IX}: Machines and Their Behaviours}, journal = {Theoretical Computer Science}, volume = {151}, pages = {125--162}, year = {1995}, added = {1996-03-28-11-35-01} } @InCollection{ Courcelle:96, ATTENTION = {newer record added: Mar 17, 1997}, author = {Bruno Courcelle}, title = {The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic}, editor = {G. Rozenberg}, booktitle = {Handbook of Graph Rewriting. Vol.\ {I}: Foundations}, year = {1996}, publisher = {World Scientific}, note = {To appear}, added = {1996-03-28-11-35-01} } @InProceedings{ Courcelle:96b, author = {Courcelle, Bruno}, title = {The Definition in Monadic Second-Order Logig of Modular Decompositions of Ordered Graphs}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {487--501}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Article{ Courcelle:96c, author = {B. Courcelle}, title = {Basic notions of Universal Algebra for Language Theory and Graph Grammars}, journal = {Theoretical Computer Science}, volume = {163}, pages = {1--54}, year = {1996}, added = {1998-01-22-10-35-50} } @InCollection{ Courcelle:97, author = {Courcelle, Bruno}, title = {The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic}, editor = {Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ {I}: Foundations}, chapter = {5}, pages = {313--400}, year = {1997}, publisher = {World Scientific}, added = {1997-03-17-16-11-19} } @InProceedings{ Courcelle:97b, author = {B. Courcelle}, title = {On the expression of graph properties in some fragments of monadic second-order logic}, editor = {N. Immerman and P.Kolaitis}, booktitle = {Descriptive complexity and finite models}, volume = {31}, pages = {33--62}, year = {1997}, month = {June}, publisher = {DIMACS Series in Discrete Mathematics and Theoretical Computer Sciences}, added = {1998-01-22-10-35-50} } @Article{ CulikII-Lindenmayer:76, author = {K. {Culik {II}} and A. Lindenmayer}, title = {Parallel Rewriting on Graphs and Multidimensional Development}, journal = {Int. Journ. of General Systems}, volume = {3}, pages = {53--66}, year = {1976}, added = {1996-03-13-10-09-20} } @Article{ CulikII-Wood:79, author = {K. {Culik {II}} and D. Wood}, title = {A Mathematical Investigation of Propagating Graph {OL} Systems}, journal = {Information and Control}, volume = {43}, pages = {50--82}, year = {1979}, added = {1996-03-13-10-09-20} } @Proceedings{ Cuny-Ehrig-Engels.ea:96, title = {Graph Grammars and Their Application to Computer Science}, editor = {Cuny, Janice and Ehrig, Hartmut and Engels, Gregor and Rozenberg, Grzegorz}, series = {Lecture Notes in Computer Science}, volume = {1073}, year = {1996}, publisher = {Springer}, added = {1996-08-02-17-14-32} } @InProceedings{ DJanin-IWalukiewicz:96, author = {D.~Janin and I.~Walukiewicz}, title = {On the expressive completeness of the modal mu-calculus w.r.t. monadic second order logic}, booktitle = {Proc.\ CONCUR'96}, series = {Lecture Notes in Computer Science}, volume = {1119}, year = {1996}, added = {1998-01-22-10-35-50} } @InProceedings{ DJanin:97, author = {D.~Janin}, title = {Automata, tableaus and a reduction theorem for fixpoint calculi in arbitrary complete lattices}, booktitle = {IEEE Symp. on Logic in Computer Science}, year = {1997}, added = {1998-01-22-10-35-50} } @InProceedings{ DJanin:97b, author = {D.~Janin}, title = {When the satisfiability problem for fixpoint expressions in complete ordered sets is simple}, booktitle = {CSL'97}, year = {1997}, note = {Submitted to the proceedings}, added = {1998-01-22-10-35-50} } @InProceedings{ Dassow-Habel-Taubenberger:95, ATTENTION = {newer record added: Jul 30, 1996}, author = {J{\"u}rgen Dassow and Annegret Habel and Stefan Taubenberger}, title = {Chain-Code Pictures and Collages Generated by Hyperedge Replacement}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, year = {1995}, note = {To appear}, added = {1996-03-13-10-09-20} } @InProceedings{ Dassow-Habel-Taubenberger:96, author = {J{\"u}rgen Dassow and Annegret Habel and Stefan Taubenberger}, title = {Chain-Code Pictures and Collages Generated by Hyperedge Replacement}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, number = {1073}, pages = {412--427}, year = {1996}, added = {1996-07-30-13-31-20} } @Article{ Dassow-Paun:89, author = {J. Dassow and G. Paun}, title = {Regulated rewriting in formal language theory}, series = {EATCS}, number = {18}, year = {1989}, publisher = {Springer-Verlag}, added = {1996-08-02-14-49-29} } @Article{ Dassow:89, author = {J{\"u}rgen Dassow}, title = {Graph-Theoretic Properties and Chain Code Picture Languages}, journal = {Journal of Information Processing and Cybernetics EIK}, volume = {25}, pages = {423--433}, year = {1989}, added = {1996-03-13-10-09-20} } @InProceedings{ David-Drewes-Kreowski:93, author = {Gnanamalar David and Frank Drewes and Hans-J{\"o}rg Kreowski}, title = {Hyperedge Replacement with Rendezvous}, editor = {P. Jouannaud}, booktitle = {Theory and Practice of Software Development}, series = {Lecture Notes in Computer Science}, volume = {668}, pages = {167--181}, year = {1993}, added = {1996-03-13-10-09-20} } @Book{ DeMarco:79, author = {T. DeMarco}, title = {Structured Analysis and System Specification}, year = {1979}, publisher = {Yourdon Press, New York, NY}, added = {1996-08-02-14-49-29} } @Article{ Degano-Montanari:87, author = {P. Degano and Ugo Montanari}, title = {A Model of Distributed Systems based of Graph Rewriting}, journal = {Journal of the ACM}, volume = {34}, pages = {411--449}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Dehnert-Franck-Streng:75, author = {Ernst Dehnert and Reinhold Franck and W. Streng}, title = {{PLAN2D} --- Towards a Two-Dimensional Programming Language}, series = {Lecture Notes in Computer Science}, volume = {26}, pages = {202--213}, year = {1975}, added = {1996-03-13-10-09-20} } @Article{ DellaVigna-Ghezzi:78, ATTENTION = {newer record added: Jul 30, 1996}, author = {Pierluigi {Della Vigna} and Carlo Ghezzi}, title = {Context-Free Graph Grammars}, journal = {Information and Control}, volume = {37}, pages = {207--233}, year = {1978}, added = {1996-03-13-10-09-20} } @Article{ DellaVigna-Ghezzi:78b, author = {P. {Della Vigna} and C. Ghezzi}, title = {Context Free Graph Grammars}, journal = {Information and Control}, volume = {37}, pages = {207--233}, year = {1978}, added = {1996-03-28-11-35-01} } @InProceedings{ Derk-DeBrunner:96, author = {Derk, M.D. and DeBrunner, L.S.}, title = {Reconfiguration Graph Grammars for Massively Parallel, Fault Tolerant Computers}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {185--195}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Book{ Diestel:90, author = {R. Diestel}, title = {Graph Decompositions: {A} Study in Infinite Graph Theory}, year = {1990}, publisher = {Oxford University Press}, address = {Oxford}, added = {1996-03-28-11-35-01} } @TechReport{ Ditt-Kreowski-Weber:88, author = {Wolfgang Ditt and Hans-J{\"o}rg Kreowski and H. Weber}, title = {A Graph Grammar Approach to Conceptual Database Schemata Definition}, number = {247/88}, year = {1988}, institution = {University of Dortmund}, type = {Technical Report}, added = {1996-03-13-10-09-20} } @TechReport{ Doerr:92, author = {H. D{\"o}rr}, title = {Monitoring with Graph-Grammars as formal operational Models}, number = {92-19-27}, year = {1992}, institution = {Institut fur Informatik, Freie Universit{\"a}t Berlin, Germany}, added = {1996-04-16-07-34-15} } @InProceedings{ Doerr:95, author = {Heiko D{\"o}rr}, title = {Bypass Strong {V}-Structures and Find an Isomorphic Labelled Subgraph in Linear Time}, editor = {W. {Mayr, Ernst} and Gunter Schmidt and Gottfried Tinhofer}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {903}, pages = {305--318}, year = {1995}, added = {1996-03-13-10-09-20} } @Book{ Doerr:95b, author = {Heiko D{\"o}rr}, title = {Efficient Graph Rewriting and its Implementation}, series = {Lecture Notes in Computer Science}, volume = {922}, year = {1995}, publisher = {Springer-Verlag}, address = {Berlin}, note = {Doctoral dissertation}, added = {1996-03-13-10-09-20} } @InProceedings{ Does-Lindenmayer:83, author = {Mark de Does and A. Lindenmayer}, title = {Algorithms for the Generation and Drawing of Maps Representing Cell Clones}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {39--58}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Doner:70, author = {J. Doner}, title = {Tree Acceptors and Some of Their Applications}, journal = {Journal of Computer and System Sciences}, volume = {4}, pages = {406--451}, year = {1970}, added = {1996-03-13-10-09-20} } @TechReport{ Drewes-Engelfriet:96, author = {Drewes, Frank and Engelfriet, Joost}, title = {Decidability of the Finiteness of Ranges of Tree Transductions}, number = {9/96}, year = {1996}, institution = {Univ.\ Bremen}, type = {Report}, added = {1998-01-22-10-35-50} } @Article{ Drewes-Habel-Kreowski.ea:93, author = {Frank Drewes and Annegret Habel and Hans-J{\"o}rg Kreowski and Stefan Taubenberger}, title = {A Sketch of Collage Grammars}, journal = {Bulletin of the {EATCS}}, volume = {50}, pages = {209--219}, year = {1993}, added = {1996-03-13-10-09-20} } @TechReport{ Drewes-Habel-Kreowski.ea:93b, author = {Frank Drewes and Annegret Habel and Hans-J{\"o}rg Kreowski and Stefan Taubenberger}, title = {Generating self-affine fractals by collage grammars}, number = {3/93}, year = {1993}, institution = {Univ. Bremen}, type = {Report}, added = {1996-03-13-10-09-20} } @InProceedings{ Drewes-Habel-Kreowski.ea:94, author = {Frank Drewes and Annegret Habel and Hans-J{\"o}rg Kreowski and Stefan Taubenberger}, title = {Generating self-affine fractals by collage grammars}, editor = {G. Rozenberg and A. Salomaa}, booktitle = {Proc. Developments in Language Theory 93. At the Crossroads of Mathematics, Computer Science and Biology}, pages = {278--289}, year = {1994}, publisher = {World Scientific}, note = {Long version in {\it Theoretical Computer Science} 145}, added = {1996-03-13-10-09-20} } @Article{ Drewes-Habel-Kreowski.ea:95, author = {Frank Drewes and Annegret Habel and Hans-J{\"o}rg Kreowski and Stefan Taubenberger}, title = {Generating Self-Affine Fractals by Collage Grammars}, journal = {Theoretical Computer Science}, volume = {145}, pages = {159--187}, year = {1995}, added = {1996-03-13-10-09-20} } @InCollection{ Drewes-Habel-Kreowski:96, ATTENTION = {newer record added: Mar 17, 1997}, author = {Frank Drewes and Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {Hyperedge Replacement Graph Grammars}, editor = {G. Rozenberg}, booktitle = {Handbook of Graph Transformations. Vol.\ {I}: Foundations}, year = {1996}, publisher = {World Scientific}, note = {To appear}, added = {1996-03-13-10-09-20} } @InCollection{ Drewes-Habel-Kreowski:97, author = {Drewes, Frank and Habel, Annegret and Kreowski, Hans-J\"org}, title = {Hyperedge Replacement Graph Grammars}, editor = {Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ {I}: Foundations}, chapter = {2}, pages = {95--162}, year = {1997}, publisher = {World Scientific}, added = {1997-03-17-16-11-19} } @InProceedings{ Drewes-Kreowski-Kuske:92, author = {Frank Drewes and Hans-J{\"o}rg Kreowski and S. Kuske}, title = {Hyperedge Replacement: {A} Basis for Efficient Graph Algorithms}, editor = {M. Beyer and H. Ehrig and M. L{\"o}we}, booktitle = {Computing by Graph Transformation ({COMPUGRAPH}) --- Survey, Results, and Applications}, year = {1992}, note = {Project brochure}, added = {1996-03-13-10-09-20} } @InProceedings{ Drewes-Kreowski-Lapoire:97, author = {Drewes, Frank and Kreowski, Hans-J\"org and Lapoire, Denis}, title = {Criteria to Disprove Context-Freeness of Collage Languages}, editor = {Chlebus, B.S. and Czaja, L.}, booktitle = {Proc.\ Fundamentals of Computation Theory {XI}}, series = {Lecture Notes in Computer Science}, volume = {1279}, pages = {169--178}, year = {1997}, added = {1997-09-01-16-46-57} } @InProceedings{ Drewes-Kreowski-Schwabe:96, author = {Frank Drewes and Hans-J{\"o}rg Kreowski and Nils Schwabe}, title = {{COLLAGE-ONE}: {A} System for Evaluation and Visualisation of Collage Grammars}, booktitle = {Proc. 4th International Conference on Computer Graphics \& Image Processing GKPO'96}, series = {Machine Graphics \& Vision}, volume = {5}, pages = {393--402}, year = {1996}, publisher = {Polish Academy of Sciences}, address = {Warsaw, Poland}, added = {1996-03-13-10-09-20} } @InProceedings{ Drewes-Kreowski:91, author = {Frank Drewes and Hans-J{\"o}rg Kreowski}, title = {A Note on Hyperedge Replacement}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Proc. Fourth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {1--11}, year = {1991}, publisher = {Springer}, added = {1996-03-13-10-09-20} } @Article{ Drewes-Kreowski:96, author = {Frank Drewes and Hans-J{\"o}rg Kreowski}, title = {({U}n-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars}, journal = {Fundamenta Informaticae}, volume = {25}, pages = {295--325}, year = {1996}, added = {1996-06-06-08-59-00} } @TechReport{ Drewes:90, author = {F. Drewes}, title = {Parsing ordered graphs generated by hyperedge replacement}, number = {10/90}, year = {1990}, institution = {Univ. Bremen}, type = {Report}, added = {1996-03-13-10-09-20} } @TechReport{ Drewes:90b, author = {F. Drewes}, title = {Unique decompositions of hypergraphs}, number = {14/90}, year = {1990}, institution = {Univ. Bremen}, type = {Report}, added = {1996-03-13-10-09-20} } @TechReport{ Drewes:91, author = {F. Drewes}, title = {Recognising $k$--connected hypergraphs in cubic time}, number = {3/91}, year = {1991}, institution = {Univ. Bremen}, type = {Report}, added = {1996-03-13-10-09-20} } @TechReport{ Drewes:93, author = {Frank Drewes}, title = {A lower bound on the growth of functions computed by tree transducers}, number = {4/93}, year = {1993}, institution = {Univ. Bremen}, type = {Report}, added = {1996-03-13-10-09-20} } @Article{ Drewes:93b, author = {Frank Drewes}, title = {{NP}-completeness of $k$-connected hyperedge-replacement languages of order $k$}, journal = {Information Processing Letters}, volume = {45}, pages = {89--94}, year = {1993}, added = {1996-03-13-10-09-20} } @Article{ Drewes:93c, author = {Frank Drewes}, title = {Recognising $k$--connected hypergraphs in cubic time}, journal = {Theoretical Computer Science}, volume = {109}, pages = {83--122}, year = {1993}, added = {1996-03-13-10-09-20} } @TechReport{ Drewes:93d, author = {Frank Drewes}, title = {Transducibility---Symbolic Computation by Tree-Transducers}, year = {1993}, institution = {Bremen}, type = {Technical Report}, added = {1996-03-13-10-09-20} } @InProceedings{ Drewes:94, author = {Frank Drewes}, title = {A lower bound on the growth of functions computed by tree transductions}, editor = {S. Tison}, booktitle = {Proc. {CAAP} 94}, series = {Lecture Notes in Computer Science}, volume = {787}, pages = {100--114}, year = {1994}, publisher = {Springer}, note = {Revised version to appear in {\it Fundamenta Informaticae}}, added = {1996-03-13-10-09-20} } @TechReport{ Drewes:94b, author = {Frank Drewes}, title = {The Use of Tree Transducers to Compute Translations Between Graph Algebras}, number = {8/94}, year = {1994}, institution = {Univ. Bremen}, type = {Report}, added = {1996-03-13-10-09-20} } @InCollection{ Drewes:95, author = {Frank Drewes}, title = {Semirings and Tree-to-Graph-to-Tree Transductions}, editor = {A. Corradini and U. Montanari}, booktitle = {Proc.\ Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation ({SEGRAGRA '95})}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {2}, pages = {8 pages}, year = {1995}, publisher = {Elsevier Science}, added = {1996-03-13-10-09-20} } @Article{ Drewes:96, author = {Frank Drewes}, title = {A lower bound on the growth of functions computed by tree transducers}, journal = {Fundamenta Informaticae}, volume = {26}, pages = {267--286}, year = {1996}, note = {Short version in {LNCS} 787 ({CAAP} 94)}, added = {1996-03-13-10-09-20} } @Booklet{ Drewes:96b, author = {Frank Drewes}, title = {Computation by Tree Transductions}, year = {1996}, address = {University of Bremen, Germany}, howpublished = {Doctoral dissertation}, added = {1996-03-13-10-09-20} } @Article{ Drewes:96c, author = {Frank Drewes}, title = {Language Theoretic and Algorithmic Properties of $d$-dimensional Collages and Patterns in a Grid}, journal = {Journal of Computer and System Sciences}, volume = {53}, number = {1}, pages = {33--60}, year = {1996}, added = {1996-03-13-10-09-20} } @InProceedings{ Drewes:96d, author = {Frank Drewes}, title = {On the Connectedness of Pictures Defined by Iterated Function Systems}, editor = {Dassow, J. and Rozenberg, G. and Salomaa, A.}, booktitle = {Proc.\ 2nd Intl.\ Conference on Developments in Language Theory---{A}t the Crossroads of Mathematics, Computer Science and Biology}, pages = {289--298}, year = {1996}, publisher = {World Scientific}, address = {Singapore}, added = {1996-03-13-10-09-20} } @InProceedings{ Drewes:96e, author = {Frank Drewes}, title = {The Use of Tree Transducers to Compute Translations Between Graph Algebras}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp.\ Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {196--210}, year = {1996}, publisher = {Springer}, added = {1996-07-08-16-34-22} } @TechReport{ Drewes:97, author = {Drewes, Frank}, title = {A Characterization of the Sets of Hypertrees Generated by Hyperedge-Replacement Graph Grammars}, number = {3/97}, year = {1997}, institution = {Univ.\ Bremen}, type = {Report}, added = {1997-06-05-11-19-39} } @InProceedings{ Drewes:97b, author = {Drewes, Frank}, title = {On the Generation of Trees by Hyperedge Replacement}, editor = {Pr\'{\i}vara, I. and Ru\v{z}i\v{c}ka, P.}, booktitle = {Proc.\ Mathematical Foundations of Computer Science 1997}, series = {Lecture Notes in Computer Science}, volume = {1295}, pages = {229--238}, year = {1997}, added = {1997-09-01-16-46-57} } @Article{ Early:70, author = {J. Early}, title = {An Efficient Context-free Parsing Algorithm}, journal = {Communications of the Association for Computing Machinery}, volume = {13}, number = {2}, pages = {94--102}, year = {1970}, added = {1996-03-28-11-35-01} } @InProceedings{ Ehrenfeucht-Harju-Rozenberg:96, author = {Ehrenfeucht, A. and Harju, T. and Rozenberg, Grzegorz}, title = {Group Based Graph Transformations and Hierarchical Representations of Graphs}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {502--520}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InCollection{ Ehrenfeucht-Harju-Rozenberg:97, author = {Ehrenfeucht, A. and Harju, T. and Rozenberg, Grzegorz}, title = {2-Structures - a Framework for Decomposition and Transformation of Graphs}, editor = {Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ {I}: Foundations}, chapter = {6}, pages = {401--478}, year = {1997}, publisher = {World Scientific}, added = {1997-03-17-16-11-19} } @Article{ Ehrenfeucht-Main-Rozenberg:84, author = {A. Ehrenfeucht and M. Main and Grzegorz Rozenberg}, title = {Restrictions on {NLC} Graph Grammars}, journal = {Theoretical Computer Science}, volume = {31}, pages = {211--223}, year = {1984}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Engels:95, ATTENTION = {newer record added: Aug 02, 1996}, author = {Hartmut Ehrig and Gregor Engels}, title = {Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems}, year = {1995}, note = {Submitted for publication}, added = {1996-03-13-10-09-20} } @TechReport{ Ehrig-Engels:95b, author = {H. Ehrig and G. Engels}, title = {Towards a module concept for graph transformation system: the software engineering perspective}, editor = {G. Valiente Feruglio et al.}, booktitle = {Proc. colloq. on graph transf. and its applic. to comp.sc.}, year = {1995}, institution = {Universitat de les Illes Balears}, address = {Palma de Mallorca,Mar94}, added = {1996-08-02-14-49-29} } @InProceedings{ Ehrig-Engels:96, author = {Ehrig, Hartmut and Engels, Gregor}, title = {Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {137--154}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Ehrig-Habel-Kreowski.ea:91, author = {Hartmut Ehrig and Annegret Habel and Hans-J{\"o}rg Kreowski and Francesco {Parisi-Presicce}}, title = {From Graph Grammars to High Level Replacement Systems}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {269--291}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Habel-Kreowski.ea:91b, author = {Hartmut Ehrig and Annegret Habel and Hans-J{\"o}rg Kreowski and Francesco {Parisi-Presicce}}, title = {Parallelism and Concurrency in High Level Replacement Systems}, journal = {Mathematical Structures in Computer Science}, volume = {1}, pages = {361--404}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Habel-Kreowski:92, author = {Hartmut Ehrig and Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {Introduction to Graph Grammars with Applications to Semantic Networks}, journal = {Computers \& Mathematics with Applications}, volume = {23 (6-9)}, pages = {557--572}, year = {1992}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Habel-Rosen:86, author = {Hartmut Ehrig and Annegret Habel and Barry K. Rosen}, title = {Concurrent Transformations of Relational Structures}, journal = {Fundamenta Informaticae}, volume = {IX}, pages = {13--50}, year = {1986}, added = {1996-03-13-10-09-20} } @InCollection{ Ehrig-Habel:83, author = {Hartmut Ehrig and Annegret Habel}, title = {Concurrent Transformations of Graphs and Relational Structures}, booktitle = {Graph-Theoretic Concepts in Computer Science}, pages = {76--88}, year = {1983}, publisher = {Trauner Verlag}, address = {Linz}, added = {1996-03-13-10-09-20} } @InCollection{ Ehrig-Habel:86, author = {Hartmut Ehrig and Annegret Habel}, title = {Graph Grammars with Application Conditions}, editor = {G. Rozenberg and A. Salomaa}, booktitle = {The Book of L}, pages = {87--100}, year = {1986}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @InCollection{ Ehrig-Heckel-Korff.ea:96, author = {Hartmut Ehrig and Reiko Heckel and Martin Korff and Leila Ribeiro and Annika Wagner}, title = {Algebraic Approach to Graph Transformations 1: Tutorial Introduction and Single-Pushout Approach}, year = {1996}, added = {1996-03-13-10-09-20} } @InCollection{ Ehrig-Heckel-Korff.ea:97, author = {Ehrig, H. and Heckel, R. and Korff, M. and L{\"o}we, M. and Ribeiro, L. and Wagner, A. and Corradini, A.}, title = {Algebraic Approaches to Graph Transformation {II}: Single Pushout Approach and Comparison with Double Pushout Approach}, editor = {Rozenberg, G.}, booktitle = {The Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations}, year = {1997}, publisher = {World Scientific}, added = {1998-01-22-10-35-50} } @TechReport{ Ehrig-Korff-Loewe:90, author = {H. Ehrig and M. Korff and M. L{\"o}we}, title = {Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts}, number = {90/21}, year = {1990}, institution = {Technische Universit{\"a}t Berlin}, added = {1996-08-02-14-49-29} } @InProceedings{ Ehrig-Korff-Loewe:91, author = {Hartmut Ehrig and Martin Korff and Michael L{\"o}we}, title = {Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts}, editor = {H. Ehrig and Hans-J{\"o}rg Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {24--37}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Kreowski-Maggiolo-Schettini.ea:81, author = {Hartmut Ehrig and Hans-J{\"o}rg Kreowski and Andrea {Maggiolo-Schettini} and Barry K. Rosen and J\'ozef Winkowski}, title = {Transformations of Structures: An Algebraic Approach}, journal = {Mathematical Systems Theory}, volume = {14}, pages = {305--334}, year = {1981}, added = {1996-03-13-10-09-20} } @Proceedings{ Ehrig-Kreowski-Rozenberg:91, title = {Graph Grammars and Their Application to Computer Science}, editor = {Hartmut Ehrig and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg}, series = {Lecture Notes in Computer Science}, volume = {532}, year = {1991}, added = {1996-03-13-10-09-20} } @Unpublished{ Ehrig-Kreowski-Taentzer:93, author = {H. Ehrig and Hans-J{\"o}rg Kreowski and G. Taentzer}, title = {Canonical Derivations for High-level Replacement Sytems}, year = {1993}, note = {Submitted}, added = {1996-03-28-11-35-01} } @InProceedings{ Ehrig-Kreowski-Taentzer:94, author = {Hartmut Ehrig and Hans-J{\"o}rg Kreowski and Gabriele Taentzer}, title = {Canonical Derivatiopns for High-Level Replacement Systems}, editor = {Hans J{\"u}rgen Schneider and Hartmut Ehrig}, booktitle = {Graph Transformations in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {153--169}, year = {1994}, added = {1996-03-13-10-09-20} } @TechReport{ Ehrig-Kreowski:75, author = {Hartmut Ehrig and Hans-J{\"o}rg Kreowski}, title = {{Church-Rosser} Theorems Leading to Parallel and Canonical Derivations in Graph Grammars}, number = {75-27}, year = {1975}, institution = {Berlin}, added = {1996-03-13-10-09-20} } @InCollection{ Ehrig-Kreowski:76, author = {Hartmut Ehrig and Hans-J{\"o}rg Kreowski}, title = {Parallel Graph Grammars}, editor = {A. Lindenmayer and G. Rozenberg}, booktitle = {Automata, Languages, Development}, pages = {425--442}, year = {1976}, publisher = {North Holland}, address = {Amsterdam}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Kreowski:76b, author = {Hartmut Ehrig and Hans-J{\"o}rg Kreowski}, title = {Parallelism of Manipulations in Multidimensional Information Structures}, editor = {A. Mazurkiewicz}, booktitle = {Mathematical Foundations of Computer Science}, series = {Lecture Notes in Computer Science}, volume = {45}, pages = {284--293}, year = {1976}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Kreowski:79, author = {Hartmut Ehrig and Hans-J{\"o}rg Kreowski}, title = {Pushout-Properties: An Analysis of Gluing Constructions for Graphs}, journal = {Mathematische Nachrichten}, volume = {91}, pages = {135--149}, year = {1979}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Kreowski:80, author = {Hartmut Ehrig and Hans-J{\"o}rg Kreowski}, title = {Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems}, journal = {Information Systems}, volume = {5}, pages = {225--238}, year = {1980}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Loewe:91, author = {Hartmut Ehrig and Michael L{\"o}we}, title = {Computing by Graph Transformation: Overall Aims and New Results}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {688--703}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Loewe:93, author = {Hartmut Ehrig and Michael L{\"o}we}, title = {Categorical Principles, Techniques and Results for High-Level-Replacement Systems in Computer Science}, journal = {Applied Categorical Structures}, volume = {1}, pages = {21--50}, year = {1993}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Loewe:93b, author = {Hartmut Ehrig and Michael L{\"o}we}, title = {Parallel and Distributed Derivations in the Single-Pushout Approach}, journal = {Theoretical Computer Science}, volume = {109}, pages = {123--143}, year = {1993}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Loewe:93c, author = {Hartmut Ehrig and Michael L{\"o}we}, title = {The {ESPRIT} Basic Research Working Group {COMPUGRAPH} ``Computing by Graph Transformation'': {A} Survey}, journal = {Theoretical Computer Science}, volume = {109}, pages = {3--6}, year = {1993}, added = {1996-03-13-10-09-20} } @Proceedings{ Ehrig-Nagl-Rozenberg.ea:87, title = {Graph Grammars and Their Application to Computer Science}, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg and Azriel Rosenfeld}, series = {Lecture Notes in Computer Science}, volume = {291}, year = {1987}, added = {1996-03-13-10-09-20} } @Proceedings{ Ehrig-Nagl-Rozenberg:83, title = {Graph Grammars and Their Application to Computer Science}, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg}, series = {Lecture Notes in Computer Science}, volume = {153}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Parisi-Presicce:91, author = {Hartmut Ehrig and Francesco {Parisi-Presicce}}, title = {Algebraic Specification Grammars: {A} Junction between Module Specifications and Graph Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {292--310}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Pfender-Schneider:73, author = {Hartmut Ehrig and M. Pfender and H. J. Schneider}, title = {Graph Grammars: An Algebraic Approach}, booktitle = {IEEE Conf. on Automata and Switching Theory}, pages = {167--180}, year = {1973}, address = {Iowa City}, added = {1996-03-13-10-09-20} } @TechReport{ Ehrig-Rosen:76, author = {Hartmut Ehrig and Barry K. Rosen}, title = {Commutativity of Independent Transformations on Complex Objects}, number = {RC 6251}, year = {1976}, institution = {Yorktown Heights}, type = {IBM Research Report}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Rosen:78, author = {Hartmut Ehrig and Barry K. Rosen}, title = {Concurrency of Manipulation in Multidimensional Information Structures}, editor = {J. Winkowski}, booktitle = {Mathematical Foundations of Computer Science}, series = {Lecture Notes in Computer Science}, volume = {64}, pages = {165--176}, year = {1978}, added = {1996-03-13-10-09-20} } @TechReport{ Ehrig-Rosen:79, author = {Hartmut Ehrig and Barry K. Rosen}, title = {Commutativity, Parallelism and Concurrency for Transformations of Structures}, number = {79-21}, year = {1979}, institution = {Berlin}, type = {Report}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Rosen:79b, author = {Hartmut Ehrig and Barry K. Rosen}, title = {Decomposition of Graph Grammars, Productions and Derivations}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {192--205}, year = {1979}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Rosen:80, author = {Hartmut Ehrig and Barry K. Rosen}, title = {Parallelism and Concurrency of Graph Manipulations}, journal = {Theoretical Computer Science}, volume = {11}, pages = {247--275}, year = {1980}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Rosen:80b, author = {Hartmut Ehrig and Barry K. Rosen}, title = {The Mathematics of Record Handling}, journal = {SIAM Journal on Computing}, volume = {9}, number = {3}, pages = {441--469}, year = {1980}, added = {1996-03-13-10-09-20} } @InCollection{ Ehrig-Rozenberg:76, author = {Hartmut Ehrig and Grzegorz Rozenberg}, title = {Some Definitional Suggestions for Parallel Graph Grammars}, editor = {A Lindenmayer and G. Rozenberg}, booktitle = {Automata, Languages, Development}, pages = {443--468}, year = {1976}, publisher = {North Holland}, address = {Amsterdam}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Staples:83, ATTENTION = {newer record added: Apr 16, 1996}, author = {Hartmut Ehrig and J. Staples}, title = {{Church-Rosser} Properties for Graph Replacement Systems with Unique Splitting}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {82--101}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Staples:83b, author = {Hartmut Ehrig and John Staples}, title = {{Church-Rosser} properties for graph replacement systems with unique splitting}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science, 2nd International Workshop}, series = {Lecture Notes in Computer Sciences}, number = {153}, pages = {82--101}, year = {1983}, added = {1996-04-16-07-34-15} } @InCollection{ Ehrig-Taentzer:92, author = {Hartmut Ehrig and Gabriele Taentzer}, title = {From Parallel Graph Grammars to Parallel High-Level Replacement Systems}, editor = {G. Rozenberg and A. Salomaa}, booktitle = {Lindenmayer Systems}, pages = {283--304}, year = {1992}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig-Tischer:74, author = {Hartmut Ehrig and Karl Wilhelm Tischer}, title = {Graph Grammars for the Specialization of Organisms}, booktitle = {Proc. Conf. Biologocally Motivated Automata Theory}, pages = {158--165}, year = {1974}, organization = {MITRE Corp.}, address = {McLean, Va.}, added = {1996-03-13-10-09-20} } @Article{ Ehrig-Tischer:75, author = {Hartmut Ehrig and Karl Wilhelm Tischer}, title = {Graph Grammars and Applications to Specialization and Evolution in Biology}, journal = {Journal of Computer and System Sciences}, volume = {11}, pages = {212--236}, year = {1975}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig:77, author = {Hartmut Ehrig}, title = {Embedding Theorems in the Algebraic Theory of Graph Grammars}, editor = {M. Karpi\'nski}, booktitle = {Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {56}, pages = {245--255}, year = {1977}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig:79, author = {Hartmut Ehrig}, title = {Introduction to the Algebraic Theory of Graph Grammars}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {1--69}, year = {1979}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig:83, author = {Hartmut Ehrig}, title = {Aspects of Concurrency in Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {58--81}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Ehrig:87, author = {Hartmut Ehrig}, title = {Tutorial Introduction to the Algebraic Approach of Graph-Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {3--14}, year = {1987}, added = {1996-03-13-10-09-20} } @Article{ Ehrig:92, author = {H. Ehrig}, title = {Introduction to Graph Grammars with Applications to Semantic Networks}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, journal = {Computer {M}athematical {A}pplications}, series = {Lecture Notes in Computer Science}, volume = {23}, number = {6-9}, pages = {557--5572}, year = {1992}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @InProceedings{ Ellis-Willems:92, author = {Gerard Ellis and Mark Willems}, title = {Analysing Semantic Networks Using Graph Grammars}, booktitle = {Working Notes for the AAAI Spring Symposium: Propositional Knowledge Representation}, year = {1992}, month = mar # { 25-27}, address = {Stanford University}, added = {1996-04-16-07-34-15} } @Article{ Engelfriet-Heyker-Leih:94, author = {Joost Engelfriet and Linda Heyker and George Leih}, title = {Context-Free Graph Languages of Bounded Degree are Generated by Apex Graph Grammars}, journal = {Acta Informatica}, volume = {31}, pages = {341--378}, year = {1994}, added = {1996-03-13-10-09-20} } @TechReport{ Engelfriet-Heyker:89, author = {Joost Engelfriet and L. Heyker}, title = {The string generating power of context--free hypergraph grammars}, number = {89-05}, year = {1989}, institution = {Univ. Leiden}, type = {Report}, added = {1996-03-28-11-35-01} } @TechReport{ Engelfriet-Heyker:91, author = {Joost Engelfriet and Linda Heyker}, title = {Hypergraph Languages of Bounded Degree}, number = {91-01}, year = {1991}, institution = {Leiden}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Heyker:91b, author = {Joost Engelfriet and Linda Heyker}, title = {The String Generating Power of Context-Free Hypergraph Grammars}, journal = {Journal of Computer and System Sciences}, volume = {43}, pages = {328--360}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Engelfriet-Heyker:91c, author = {Joost Engelfriet and Linda Heyker}, title = {The Term Generating Power of Context-Free Hypergraph Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Proc. Fourth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {328--344}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Heyker:92, author = {Joost Engelfriet and Linda Heyker}, title = {Context-Free Hypergraph Grammars Have the Same Term-Generating Power as Attribute Grammars}, journal = {Acta Informatica}, volume = {29}, pages = {161--210}, year = {1992}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Heyker:94, author = {Joost Engelfriet and Linda Heyker}, title = {Hypergraph Languages of Bounded Degree}, journal = {Journal of Computer and System Sciences}, volume = {48}, pages = {58--89}, year = {1994}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Leih-Rozenberg:88, author = {Joost Engelfriet and George Leih and Grzegorz Rozenberg}, title = {Apex Graph-Grammars and Attribute Grammars}, journal = {Acta Informatica}, volume = {25}, pages = {537--571}, year = {1988}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Leih-Rozenberg:91, author = {Joost Engelfriet and George Leih and Grzegorz Rozenberg}, title = {Nonterminal Separation in Graph Grammars}, journal = {Theoretical Computer Science}, volume = {82}, pages = {95--111, 537--571}, year = {1991}, added = {1996-03-13-10-09-20} } @Misc{ Engelfriet-Leih-Welzl:87, author = {Joost Engelfriet and George Leih and Emo Welzl}, title = {Characterization and Complexity of Boundary Graph Languages}, year = {1987}, address = {Leiden}, howpublished = {Manuscript}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Leih-Welzl:90, author = {Joost Engelfriet and George Leih and Emo Welzl}, title = {Boundary Graph Grammars with Dynamic Edge Relabeling}, journal = {Journal of Computer and System Sciences}, volume = {40}, pages = {307--345}, year = {1990}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Leih:88, author = {Joost Engelfriet and George Leih}, title = {Nonterminal Bounded {NLC} Graph Grammars}, journal = {Theoretical Computer Science}, volume = {59}, pages = {309--315}, year = {1988}, added = {1996-03-13-10-09-20} } @TechReport{ Engelfriet-Leih:88b, author = {Joost Engelfriet and G. Leih}, title = {Complexity of boundary graph languages}, number = {88-07}, year = {1988}, institution = {Univ. Leiden}, type = {Report}, added = {1996-03-28-11-35-01} } @Article{ Engelfriet-Leih:89, author = {Joost Engelfriet and George Leih}, title = {Linear Graph Grammars: Power and Complexity}, journal = {Information and Computation}, volume = {81}, pages = {88--121}, year = {1989}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Leih:90, author = {Joost Engelfriet and George Leih}, title = {Complexity of Boundary Graph Languages}, journal = {{RAIRO} Theoretical Informatics and Applications}, volume = {24}, pages = {267--274}, year = {1990}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Rozenberg-Slutzki:80, author = {Joost Engelfriet and Grzegorz Rozenberg and Giora Slutzki}, title = {Tree transducers, {L} Systems, and Two-Way Machines}, journal = {Journal of Computer and System Sciences}, volume = {20}, pages = {150--202}, year = {1980}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet-Rozenberg:90, author = {Joost Engelfriet and Grzegorz Rozenberg}, title = {A Comparison of Boundary Graph Grammars and Context-Free Hypergraph Grammars}, journal = {Information and Computation}, volume = {84}, pages = {163--206}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Engelfriet-Rozenberg:91, author = {Joost Engelfriet and Grzegorz Rozenberg}, title = {Graph Grammars Based on Node Rewriting: An Introduction to {NLC} Graph Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {12--23}, year = {1991}, added = {1996-03-13-10-09-20} } @InCollection{ Engelfriet-Rozenberg:96, ATTENTION = {newer record added: Mar 17, 1997}, author = {Joost Engelfriet and Grzegorz Rozenberg}, title = {Node Replacement Graph Grammars}, editor = {G. Rozenberg}, booktitle = {Handbook of Graph Rewriting, Vol.~I: Foundations}, year = {1996}, publisher = {World Scientific}, note = {To appear}, added = {1996-03-13-10-09-20} } @InCollection{ Engelfriet-Rozenberg:97, author = {Engelfriet, Joost and Rozenberg, Grzegorz}, title = {Node Replacement Graph Grammars}, editor = {Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ {I}: Foundations}, chapter = {1}, pages = {1--94}, year = {1997}, publisher = {World Scientific}, added = {1997-03-17-16-11-19} } @Article{ Engelfriet-Schmidt:77, author = {Joost Engelfriet and E. Schmidt}, title = {{IO} and {OI}}, journal = {Journal of Computer and System Sciences}, volume = {15}, pages = {328--353}, year = {1977}, note = {and Journal of Computer and System Sciences 16, 67-99, 1978}, added = {1996-03-13-10-09-20} } @InProceedings{ Engelfriet-Vereijken:96, author = {Engelfriet, Joost and Vereijken, Jan Joris}, title = {Concatenation of Graphs}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {368--382}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Article{ Engelfriet-Vogler:94, author = {Joost Engelfriet and Heiko Vogler}, title = {The Translation Power of Top-Down Tree-to-Graph Transducers}, journal = {Journal of Computer and System Sciences}, volume = {49}, pages = {258--305}, year = {1994}, added = {1996-03-13-10-09-20} } @TechReport{ Engelfriet-Vogler:96, author = {Engelfriet, Joost and Vogler, Heiko}, title = {The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers}, number = {TUD/FI96/17}, year = {1996}, institution = {TU Dresden}, type = {Tech.\ Report}, added = {1997-04-01-17-37-33} } @InProceedings{ Engelfriet:89, author = {Joost Engelfriet}, title = {Context-Free {NCE} Graph Grammars}, editor = {J. Csirik and J. Demetrovics and F. G\'ecseg}, booktitle = {Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {380}, pages = {148--161}, year = {1989}, added = {1996-03-13-10-09-20} } @InProceedings{ Engelfriet:91, author = {Joost Engelfriet}, title = {A Characterization of Context-Free {NCE} Graph Languages by Monadic Second-Order Logic on Trees}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {311--327}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Engelfriet:91b, author = {Joost Engelfriet}, title = {A Regular Characterization of Graph Languages Definable in Monadic Second-Order Logic}, journal = {Theoretical Computer Science}, volume = {88}, pages = {139--150}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Engelfriet:92, author = {Joost Engelfriet}, title = {A {G}reibach Normal Form for Context-Free Graph Grammars}, editor = {W. Kuich}, booktitle = {Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {623}, pages = {138--149}, year = {1992}, added = {1996-03-13-10-09-20} } @InProceedings{ Engelfriet:94, author = {Joost Engelfriet}, title = {Graph Grammars and Tree Transducers}, editor = {S. Tison}, booktitle = {CAAP'94}, series = {Lecture Notes in Computer Science}, volume = {787}, pages = {15--36}, year = {1994}, added = {1996-03-13-10-09-20} } @InCollection{ Engelfriet:97, author = {Engelfriet, Joost}, title = {Context-Free Graph Grammars}, editor = {Rozenberg, G. and Salomaa, A.}, booktitle = {Handbook of Formal Languages. Vol.\ {III}: Beyond Words}, chapter = {3}, pages = {125--213}, year = {1997}, publisher = {Springer}, added = {1997-04-01-16-13-08} } @Article{ Engels-Ehrig-Heckel.ea:97, author = {Engels, G. and Ehrig, H. and Heckel, R. and Taentzer, G.}, title = {A Combined Reference Model- and View-Based Approach to System Specification}, journal = {Int. Journal of Software and Knowledge Engeneering}, year = {1997}, note = {Accepted, to appear}, added = {1998-01-22-10-35-50} } @Article{ Engels-Gall-Nagl.ea:83, author = {Gregor Engels and Rupert Gall and Manfred Nagl and Wilhelm Sch{\"a}fer}, title = {Software Specification Using Graph Grammars}, journal = {Computing}, volume = {31}, pages = {317--346}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Engels-Gogolla-Hohenstein.ea:92, author = {Gregor Engels and Martin Gogolla and Uwe Hohenstein and Klaus H{\"u}lsmann and Perdita L{\"o}hr-Richter and Gunter Saake and Hans-Dieter Ehrich}, title = {Conceptual Modelling of Database Applications Using an Extended {ER} Model}, journal = {Data \& Knowledge Engineering}, volume = {9}, pages = {157--204}, year = {1992}, added = {1996-03-13-10-09-20} } @InProceedings{ Engels-Heckel-Taentzer.ea:97, author = {Engels, G. and Heckel, R. and Taentzer, G. and Ehrig, H.}, title = {A View-Oriented Approach to System Modelling based on Graph Transformation}, booktitle = {Proc. of ESEC/FSE'97, Z\"urich}, series = {LNCS}, volume = {1301}, year = {1997}, publisher = {Springer Verlag}, added = {1998-01-22-10-35-50} } @Article{ Engels-Lewerentz-Nagl.ea:92, author = {Gregor Engels and Claus Lewerentz and Manfred Nagl and Wilhelm Sch{\"a}fer and Andy Sch{\"u}rr}, title = {Building Integrated Software Developments Part {I}: Tool Specification}, journal = {ACM Transactions on Software Engineering and Methodology}, volume = {1}, number = {2}, pages = {135--167}, year = {1992}, publisher = {acm Press}, added = {1996-03-13-10-09-20} } @InProceedings{ Engels-Lewerentz-Schaefer:87, author = {Gregor Engels and Claus Lewerentz and W. Sch{\"a}fer}, title = {Graph Grammar Engineering: {A} Software Specification Method}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {186--201}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Engels-Schaefer:85, author = {Gregor Engels and Wilhelm Sch{\"a}fer}, title = {Graph Grammar Engineering: {A} Method Used for the Development of the Integrated Programming Support Environment}, editor = {H. Ehrig and C. Floyd and M. Nivat and J. Thatcher}, booktitle = {Formal Methods and Software Development}, series = {Lecture Notes in Computer Science}, volume = {186}, pages = {179--193}, year = {1985}, added = {1996-03-13-10-09-20} } @Book{ Engels-Schaefer:89, author = {Gregor Engels and Wilhelm Sch{\"a}fer}, title = {Programmentwicklungsumgebungen: Konzepte und Realisierung}, year = {1989}, publisher = {Teubner}, address = {Stuttgart}, added = {1996-03-13-10-09-20} } @InProceedings{ Engels-Schuerr:95, author = {Gregor Engels and Andy Schuerr}, title = {Encapsulated Hierachical Graphs, Graph Types, and Meta Types}, booktitle = {SEGRAGRA'95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation}, series = {Electronic Notes in Theoretical Computer Science}, volume = {2}, year = {1995}, publisher = {Elsevier}, added = {1996-03-13-10-09-20} } @TechReport{ Engels-Schuerr:95b, author = {G. Engels and A. Schuerr}, title = {Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}, number = {95-21}, year = {1995}, month = jul, institution = {Departement of Computer Science, Leiden University}, address = {P.O. Box 9512, 2300 RA Leiden, The Netherlands}, added = {1996-04-16-07-34-15} } @PhDThesis{ Engels:86, author = {Gregor Engels}, title = {{Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung}}, year = {1986}, school = {Universit{\"a}t Osnabr{\"u}ck}, note = {VDI-Verlag}, added = {1996-03-13-10-09-20} } @InProceedings{ Engels:91, author = {Gregor Engels}, title = {Elementary Actions on an Extended Entity-Relationship Database}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {344--362}, year = {1991}, added = {1996-03-13-10-09-20} } @Book{ Even:79, author = {Shimon Even}, title = {Graph Algorithms}, year = {1979}, publisher = {Computer Science Press}, address = {Rockville, Maryland}, added = {1996-03-13-10-09-20} } @InProceedings{ Fahlman-Touretzky-Roggen:81, author = {S. E. Fahlman and D. S. Touretzky and W. van Roggen}, title = {Cancellation in a Parallel Semantique Network}, booktitle = {Proceedings of the Seventh International Joint Conference on Artificiale Intellingence, IJCAI'81}, year = {1981}, added = {1996-04-16-07-34-15} } @Article{ Fahmy-Blostein:93, author = {H. Fahmy and B. Blostein}, title = {A graph grammar programming style for recognition of music notation}, journal = {Machine Vision and Application}, volume = {6}, number = {2}, pages = {83--99}, year = {1993}, added = {1996-08-02-14-49-29} } @InProceedings{ Farrow-Kennedy-Zucconi:76, author = {R. Farrow and K. Kennedy and L. Zucconi}, title = {Graph Grammars and Global Program Data Flow Analysis}, booktitle = {Proc. 17th Ann. IEEE Symp. on Found. of Comp. Sci.}, pages = {42--56}, year = {1976}, address = {Houston}, added = {1996-03-13-10-09-20} } @Article{ Feder:68, author = {Jerome Feder}, title = {Languages of Encoded Line Patterns}, journal = {Information and Control}, volume = {13}, pages = {230--244}, year = {1968}, added = {1996-03-13-10-09-20} } @Article{ Feder:71, author = {Jerome Feder}, title = {Plex Languages}, journal = {Information Sciences}, volume = {3}, pages = {225--241}, year = {1971}, added = {1996-03-13-10-09-20} } @Article{ Flasinski:88, author = {Flasinski, Mariusz}, title = {Parsing of {edNLC}-Graph Grammars for Scene Analysis}, journal = {Pattern Recognition}, volume = {21}, pages = {623--629}, year = {1988}, added = {1997-09-10-17-02-53} } @Article{ Flasinski:89, author = {M. Flasi\'nski}, title = {Characteristics of {edNLC}-Graph Grammar for Syntactic Pattern Recognition}, journal = {Computer Vision, Graphics, and Image Processing}, volume = {47}, pages = {1--21}, year = {1989}, added = {1996-03-13-10-09-20} } @Article{ Flasinski:90, author = {Flasinski, Mariusz}, title = {Distorted Pattern Analysis with the Help of Node Label Controlled Graph Languages}, journal = {Pattern Recognition}, volume = {23}, pages = {765--774}, year = {1990}, added = {1997-09-10-17-02-53} } @Article{ Flasinski:93, author = {Flasinski, Mariusz}, title = {On the Parsing of Deterministic Graph Languages for Syntactic Pattern Recognition}, journal = {Pattern Recognition}, volume = {26}, pages = {1--16}, year = {1993}, added = {1997-09-10-17-02-53} } @Article{ Flasinski:95, author = {Flasinski, Mariusz}, title = {Use of Graph Grammars for the Description of Mechanical Parts}, journal = {Computer Aided Design}, volume = {27}, pages = {403--433}, year = {1995}, added = {1997-09-10-17-02-53} } @Misc{ Fonio:84, author = {Harald-Reto Fonio}, title = {Amalgamation of Graph Transformations with Application to Synchronization in Distributed Systems}, year = {1984}, note = {Master thesis, Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Fracchia-Prusinkiewicz:91, author = {F. David Fracchia and Przemyslaw Prusinkiewicz}, title = {Physically-Based Graphical Interpretation of Marker Cellwork {L}-Systems}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {363--377}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Fracchia:96, author = {Fracchia, F. David}, title = {Integrating Lineage and Interaction for the Visualization of Cellular Structures}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {521--535}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Franck:76, author = {Reinhold Franck}, title = {{PLAN2D} --- Syntactic Analysis of Precedence Graph Grammars}, booktitle = {Proc. 3rd ACM Symp. on Principles of Programming Languages}, pages = {134--139}, year = {1976}, address = {Atlanta}, added = {1996-03-13-10-09-20} } @Article{ Franck:78, author = {Reinhold Franck}, title = {A Class of Linearly Parsable Graph Grammars}, journal = {Acta Informatica}, volume = {10}, pages = {175--201}, year = {1978}, added = {1996-03-13-10-09-20} } @InProceedings{ Freund-Haberstroh:91, author = {R. Freund and B. Haberstroh}, title = {Attributed Elementary Programmed Graph Grammars}, editor = {G. Schmidt and R. Berghammer}, booktitle = {Graph-Theoric Concepts in Computer Science, 17th International Workshop, WG'91, Fishbachau, Germany}, series = {Lecture Notes in Computer Science}, number = {643}, pages = {75--84}, year = {1991}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @Article{ Fu-Booth:75, author = {K. S. Fu and T. L. Booth}, title = {Grammatical Inference: Introduction and Survey --- Part {I} and {II}}, journal = {IEEE-Transactions on Systems, Man and Cybernetics}, volume = {5}, pages = {95--111 and 409--423}, year = {1975}, added = {1996-03-13-10-09-20} } @InProceedings{ Furtado-Veloso:83, author = {A. Furtado and P. A. S. Veloso}, title = {Specification of Data Bases Through Rewriting Rules}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {102--114}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Furtado:79, author = {A. Furtado}, title = {Transformations of Data Base Structures}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {224--236}, year = {1979}, added = {1996-03-13-10-09-20} } @InProceedings{ Gaifman:82, author = {H. Gaifman}, title = {On Local and Non-Local Properties}, editor = {J. Stern}, booktitle = {Proc. of the Herbrand Symposium, Logic Colloquium '81}, pages = {105--135}, year = {1982}, publisher = {North Holland Pub. Co.}, added = {1996-03-13-10-09-20} } @Book{ Gecseg-Steinby:84, author = {Ferenc G\'ecseg and Magnus Steinby}, title = {Tree Automata}, year = {1984}, publisher = {Akad\'emiai Kiad\'o}, address = {Budapest}, added = {1996-03-13-10-09-20} } @Book{ Gibbons:85, author = {Alan Gibbons}, title = {Algorithmic Graph Theory}, year = {1985}, publisher = {Cambridge University Press}, address = {Cambridge}, added = {1996-03-13-10-09-20} } @Book{ Ginsburg:66, author = {S. Ginsburg}, title = {The Mathematical Theory of Context-Free Languages}, year = {1966}, publisher = {McGraw-Hill}, address = {New York}, added = {1996-03-28-11-35-01} } @Book{ Gips:75, author = {James Gips}, title = {Shape Grammars and Their Uses, Artificial Perception, Shape Generation and Computer Aesthetics}, year = {1975}, publisher = {Birk\-h{\"a}user Verlag}, address = {Basel}, added = {1996-03-13-10-09-20} } @InProceedings{ Glaubert-Kennaway-Sleep:91, author = {John Glaubert and Richard Kennaway and Ronan Sleep}, title = {{DACTL}: An Experimental Graph Rewriting Language}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {378--395}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Goettler-Guenther-Nieskens:91, author = {Herbert G{\"o}ttler and Joachim G{\"u}nther and Georg Nieskens}, title = {Use Graph Grammars to Design {CAD}-Systems!}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {396--410}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Goettler:83, author = {Herbert G{\"o}ttler}, title = {Attributed Graph Grammars for Graphics}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {130--142}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Goettler:87, author = {Herbert G{\"o}ttler}, title = {Graph Grammars and Diagram Editing}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {216--231}, year = {1987}, added = {1996-03-13-10-09-20} } @Book{ Goettler:88, author = {Herbert G{\"o}ttler}, title = {Graphgrammatiken in der Softwaretechnik}, series = {Informatik-Fachberichte}, volume = {178}, year = {1988}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @Article{ Goldstine:77, author = {J. Goldstine}, title = {A Simplified Proof of {Parikh}'s Theorem}, journal = {Discrete Mathematics}, volume = {19}, pages = {235--239}, year = {1977}, added = {1996-03-13-10-09-20} } @TechReport{ Gottlieb-Furtado:74, author = {C. Gottlieb and A. Furtado}, title = {Data Schemata Based on Directed Graphs}, number = {No.70}, year = {1974}, institution = {Dept. Comp. Sci., Univ. Toronto}, added = {1996-03-13-10-09-20} } @TechReport{ Grosse-Rhode-Presicce-Simeoni:97, author = {Martin Grosse-Rhode and Francesco Parisi Presicce and Marta Simeoni}, title = {A Simple notion of Refinement in Graph Transformation Systems}, number = {10/97}, year = {1997}, institution = {Univ.\ Roma 'La Sapienza'}, type = {Report}, added = {1998-01-22-10-35-50} } @TechReport{ Grosse-Rhode-Presicce-Simeoni:97b, author = {Martin Grosse-Rhode and Francesco Parisi Presicce and Marta Simeoni}, title = {Spatial and Temporal Refinement of Typed Graph Transformation Systems}, number = {11/97}, year = {1997}, institution = {Univ.\ Roma 'La Sapienza'}, type = {Report}, added = {1998-01-22-10-35-50} } @Article{ HLBodlaender-JEngelfriet:97, author = {H.~L.~Bodlaender and J.~Engelfriet}, title = {Domino Treewidth}, journal = {J. of Algorithms}, volume = {24}, pages = {94--123}, year = {1997}, added = {1998-01-22-10-35-50} } @Article{ Habel-Heckel-Taentzer:96, author = {Annegret Habel and Reiko Heckel and Gabriele Taentzer}, title = {Graph Grammars with Negative Application Conditions}, journal = {Fundamenta Informaticae}, volume = {XXVII}, year = {1996}, note = {To appear}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Klempien-Hinrichs:96, author = {Annegret Habel and Renate {Klempien-Hinrichs}}, title = {On the Replacement of Atomic Units in Hypergraphs}, year = {1996}, added = {1996-03-13-10-09-20} } @TechReport{ Habel-Kreowski-Lautemann:89, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Clemens Lautemann}, title = {A comparison of compatible, finite, and inductive graph properties}, number = {7/89}, year = {1989}, institution = {Univ. Bremen}, type = {Report}, added = {1996-03-28-11-35-01} } @Article{ Habel-Kreowski-Lautemann:93, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Clemens Lautemann}, title = {A Comparison of Compatible, Finite, and Inductive Graph Properties}, journal = {Theoretical Computer Science}, volume = {110}, pages = {145--168}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Kreowski-Plump:88, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Detlef Plump}, title = {Jungle Evaluation}, editor = {D. Sannella and A. Tarlecki}, booktitle = {Recent Trends in Data Type Specification}, series = {Lecture Notes in Computer Science}, volume = {332}, pages = {92--112}, year = {1988}, added = {1996-03-13-10-09-20} } @Article{ Habel-Kreowski-Plump:91, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Detlef Plump}, title = {Jungle Evaluation}, journal = {Fundamenta Informaticae}, volume = {XV}, pages = {37--60}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Habel-Kreowski-Taubenberger:93, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Stefan Taubenberger}, title = {Collages and Patterns Generated by Hyperedge Replacement}, journal = {Languages of Design}, volume = {1}, pages = {125--145}, year = {1993}, added = {1996-03-13-10-09-20} } @Article{ Habel-Kreowski-Vogler:87, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Walter Vogler}, title = {Compatible Graph Properties are Decidable for Hyperedge Replacement Graph Languages}, journal = {Bull. EATCS}, volume = {33}, pages = {55--62}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Kreowski-Vogler:89, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Walter Vogler}, title = {Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammars}, editor = {J. D\'{\i}az and F. Orejas}, booktitle = {TAPSOFT '89}, series = {Lecture Notes in Computer Science}, volume = {351}, pages = {275--289}, year = {1989}, added = {1996-03-13-10-09-20} } @Article{ Habel-Kreowski-Vogler:89b, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Walter Vogler}, title = {Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages}, journal = {Acta Informatica}, volume = {26}, pages = {657--677}, year = {1989}, added = {1996-03-13-10-09-20} } @Article{ Habel-Kreowski-Vogler:91, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Walter Vogler}, title = {Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge Replacement}, journal = {Theoretical Computer Science}, volume = {89}, pages = {33--62}, year = {1991}, added = {1996-03-13-10-09-20} } @TechReport{ Habel-Kreowski-Wilharm:87, author = {Annegret Habel and Hans-J{\"o}rg Kreowski and Anne Wilharm}, title = {Bremen-Town Contributions to the Third {GRAGRA} Proceedings}, number = {4/87}, year = {1987}, institution = {Bremen}, added = {1996-03-13-10-09-20} } @InCollection{ Habel-Kreowski:83, author = {Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {On Context-Free Graph Languages Generated by Edge Replacement}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {143--158}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Habel-Kreowski:87, author = {Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {Characteristics of Graph Languages Generated by Edge Replacement}, journal = {Theoretical Computer Science}, volume = {51}, pages = {81--115}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Kreowski:87b, author = {Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {May We Introduce to You: Hyperedge Replacement}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Proc. Third Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {15--26}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Kreowski:87c, author = {Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement}, editor = {F. Brandenburg and G. {Vidal-Naquet} and M. Wirsing}, booktitle = {STACS 87}, series = {Lecture Notes in Computer Science}, volume = {247}, pages = {207--219}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Kreowski:88, author = {Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {Pretty Patterns Produced by Hyperedge Replacement}, editor = {H. G{\"o}ttler and H. J. Schneider}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {314}, pages = {32--45}, year = {1988}, added = {1996-03-13-10-09-20} } @TechReport{ Habel-Kreowski:89, author = {Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {Formale {G}raph-{S}prachen ({T}eil 1)}, year = {1989}, institution = {Bremen}, type = {{Material zur gleichnamigen Lehrveranstaltung im Wintersemester 1989/90}}, added = {1996-03-13-10-09-20} } @TechReport{ Habel-Kreowski:90, author = {Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {Collages and Patterns Generated by Hyperedge Replacement}, number = {15/90}, year = {1990}, institution = {Bremen}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Kreowski:90b, author = {Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {Filtering Hyperedge-Replacement Languages Through Compatible Properties}, editor = {M. Nagl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {411}, pages = {107--120}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Kreowski:91, author = {Annegret Habel and Hans-J{\"o}rg Kreowski}, title = {Collage Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {411--429}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Plump:95, author = {Annegret Habel and Detlef Plump}, title = {Unification, Rewriting, and Narrowing on Term Graphs}, booktitle = {SEGRAGRA'95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation}, series = {Electronic Notes in Theoretical Computer Science}, volume = {2}, year = {1995}, publisher = {Elsevier}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel-Plump:96, author = {Annegret Habel and Detlef Plump}, title = {Graph Unification and Matching}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {75--88}, year = {1996}, publisher = {Springer}, added = {1996-07-08-16-34-22} } @Article{ Habel-Plump:96b, author = {Habel, Annegret and Plump, Detlef}, title = {Term Graph Narrowing}, journal = {Mathematical Structures in Computer Science}, volume = {6}, pages = {649--676}, year = {1996}, added = {1997-09-01-16-46-57} } @TechReport{ Habel-Plump:96c, author = {Habel, Annegret and Plump, Detlef}, title = {Term Graph Narrowing}, year = {1996}, institution = {Universit\"at Hildesheim}, type = {Report~14/96}, added = {1997-09-01-19-34-43} } @TechReport{ Habel-Plump:97, author = {Annegret Habel and Detlef Plump}, title = {Completeness of Narrowing in Non-copying Implementations}, number = {19/97}, year = {1997}, institution = {Universit\"at Hildesheim, Institut f\"ur Informatik}, type = {Informatik-Bericht}, added = {1998-01-05-18-25-23} } @TechReport{ Habel:80, author = {Annegret Habel}, title = {{Concurrency in Graph-Grammatiken}}, number = {80-11}, year = {1980}, institution = {Berlin}, added = {1996-03-13-10-09-20} } @Misc{ Habel:81, author = {Annegret Habel}, title = {{Komposition und Dekomposition von Produktionen zur Manipulation von Graphen}}, year = {1981}, note = {Master thesis, Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Habel:89, author = {Annegret Habel}, title = {Graph-Theoretic Properties Compatible with Graph Derivations}, editor = {J. van Leeuwen}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {344}, pages = {11--29}, year = {1989}, added = {1996-03-13-10-09-20} } @PhDThesis{ Habel:89b, author = {Annegret Habel}, title = {Hyperedge Replacement: Grammars and Languages}, year = {1989}, school = {Bremen}, added = {1996-03-13-10-09-20} } @Article{ Habel:89c, author = {Annegret Habel}, title = {Graph-Theoretic Properties Compatible with Graph Derivations}, series = {Lecture Notes in Computer Science}, volume = {344}, pages = {11--29}, year = {1989}, publisher = {Springer}, note = {Proc. Int. Workshop {WG} 88}, added = {1996-03-28-11-35-01} } @Book{ Habel:92, author = {Annegret Habel}, title = {Hyperedge Replacement: Grammars and Languages}, series = {Lecture Notes in Computer Science}, volume = {643}, year = {1992}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @Article{ Habel:92b, author = {Annegret Habel}, title = {Hypergraph Grammars: Transformational and Algorithmic Aspects}, journal = {Journal of Information Processing and Cybernetics EIK}, volume = {28}, pages = {241--277}, year = {1992}, added = {1996-03-13-10-09-20} } @Book{ Harary:69, author = {Frank Harary}, title = {Graph Theory}, year = {1969}, publisher = {Addison-Wesley}, address = {Reading, Mass.}, added = {1996-03-13-10-09-20} } @Article{ Harel:88, author = {David Harel}, title = {On Visual Formalisms}, journal = {Communications of the Association for Computing Machinery}, volume = {31(5)}, pages = {514--530}, year = {1988}, added = {1996-03-13-10-09-20} } @Book{ Hartsfield-Ringel:90, author = {Nora Hartsfield and Gerhard Ringel}, title = {Pearls in Graph Theory. {A} Comprehensive Introduction}, year = {1990}, publisher = {Academic Press}, address = {Boston}, added = {1996-03-13-10-09-20} } @Article{ Heckel-Ehrig-Wolter.ea:97, author = {Heckel, R. and Ehrig, H. and Wolter, U. and Corradini, A.}, title = {Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems}, journal = {Applied Categorical Structures}, year = {1997}, note = {Submitted}, added = {1998-01-22-10-35-50} } @InProceedings{ Heckel-Ehrig-Wolter.ea:97b, author = {Heckel, R. and Ehrig, H. and Wolter, U. and Corradini, A.}, title = {Integrating the Specification Techniques of Graph Transformation and Temporal Logic}, booktitle = {Proc. of MFCS'97, Bratislava}, series = {LNCS}, volume = {1295}, year = {1997}, publisher = {Springer Verlag}, added = {1998-01-22-10-35-50} } @TechReport{ Heckel-Ehrig-Wolter.ea:97c, author = {Heckel, R. and Ehrig, H. and Wolter, U. and Corradini, A.}, title = {Loose Semantics and Constraints for Graph Transformation Systems}, number = {97-07}, year = {1997}, institution = {TU Berlin}, note = {{\tt http://www.cs.tu-berlin.de/cs/ifb/TechnBerichteListe.html}}, added = {1998-01-22-10-35-50} } @InProceedings{ Heimann-Joeris-Krapp.ea:95, author = {P. Heimann and G. Joeris and C.-A. Krapp and B. Westfechtel}, title = {A Programmed Graph Rewriting System for Software Process Management}, booktitle = {Proceedings Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95)}, series = {Electronic Notes in Theoretical Computer Science}, volume = {2}, year = {1995}, added = {1996-08-02-14-49-29} } @MastersThesis{ Herbrecht:89, author = {Herbrecht, R.}, title = {{Ein Graphgrammatikeditor}}, year = {1989}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @Book{ Herrlich-Strecker:73, author = {Horst Herrlich and George Strecker}, title = {Category Theory}, year = {1973}, publisher = {Allyn and Bacon}, address = {Boston}, added = {1996-03-13-10-09-20} } @InProceedings{ Hess-Mayoh:90, author = {L. Hess and B. Mayoh}, title = {The Four Musicians: Analogies and Experts Systems}, editor = {H. Erhig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, number = {532}, pages = {430--445}, year = {1990}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @Misc{ Himsolt:88, author = {Michael Himsolt}, title = {{Entwicklung eines Grapheneditors}}, year = {1988}, note = {Master thesis, Universit{\"a}t Passau}, added = {1996-03-13-10-09-20} } @InProceedings{ Himsolt:89, author = {Michael Himsolt}, title = {{GraphEd}: An Interactive Graph Editor}, editor = {B. Monien and R. Cori}, booktitle = {STACS'89}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {532--533}, year = {1989}, added = {1996-03-13-10-09-20} } @Manual{ Himsolt:90, author = {Michael Himsolt}, title = {{GraphEd User Manual}}, year = {1990}, school = {Universit{\"a}t Passau}, added = {1996-03-13-10-09-20} } @InProceedings{ Himsolt:91, author = {Michael Himsolt}, title = {{GraphEd}: An Interactive Tool for Developing Graph Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {61--65}, year = {1991}, added = {1996-03-13-10-09-20} } @PhDThesis{ Himsolt:93, author = {Michael Himsolt}, title = {{Konzeption und Implementierung von Grapheditoren}}, year = {1993}, school = {Universit{\"a}t Passau}, added = {1996-03-13-10-09-20} } @InProceedings{ Himsolt:95, author = {Michael Himsolt}, title = {Hierarchical Graphs for Graph Grammars}, year = {1995}, added = {1996-03-13-10-09-20} } @Misc{ Hinrichs:92, author = {Renate Hinrichs}, title = {{Konfluente Graphgrammatiken mit Einbettungstiefe $k>1$}}, year = {1992}, note = {Master thesis, Universit{\"a}t Passau}, added = {1996-03-13-10-09-20} } @MastersThesis{ Hoefer:92, author = {H{\"o}fer, F.}, title = {{Inkrementelle Attributauswertung in Graphausdr{\"u}cken}}, year = {1992}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @InProceedings{ Hoefting-Wanke-Balmosan.ea:93, author = {Franz Hoefting and Egon Wanke and Aurel Balmo\^{s}an and Curd Bergmann}, title = {{\sl 1st Grade} --- {A} System for Implementation, Testing and Animation of Graph Algorithms}, editor = {P. Enjalbert and A. Finkel and K. W. Wagner}, booktitle = {STACS'93}, series = {Lecture Notes in Computer Science}, volume = {665}, pages = {606--607}, year = {1993}, added = {1996-03-13-10-09-20} } @Article{ Hoffmann-Main:90, author = {J. Hoffmann and M. G. Main}, title = {Results on {NLC} Grammars with One-Letter Terminal Alphabets}, journal = {Theoretical Computer Science}, volume = {73}, pages = {279--294}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Hoffmann-Plump:89, author = {B. Hoffmann and D. Plump}, title = {Jungle evaluation for efficient term rewriting}, editor = {J. Grabowski et al.}, booktitle = {Algebraic and Logic Programming, {V}ol. 49}, pages = {191--203}, year = {1989}, publisher = {Akademie-Verlag}, address = {Berlin}, note = {{Also in: Lecture Notes in Computer Science 343, 1989}}, added = {1996-03-28-11-35-01} } @Article{ Hoffmann-Plump:91, author = {Berthold Hoffmann and Detlef Plump}, title = {Implementing Term Rewriting by Jungle Evaluation}, journal = {{RAIRO} Theoretical Informatics and Applications}, volume = {25(5)}, pages = {445--472}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Hoffmann:83, author = {Berthold Hoffmann}, title = {Modelling Compiler Generation by Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {159--171}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Hohenstein-Engels:92, author = {Uwe Hohenstein and Gregor Engels}, title = {{SQL/EER} --- Syntax and Semantics of an Entity-Relationship-Based Query Language}, journal = {Information Systems}, volume = {17}, pages = {209--242}, year = {1992}, added = {1996-03-13-10-09-20} } @Article{ Hopcroft-Tarjan:73, author = {John E. Hopcroft and Robert E. Tarjan}, title = {Dividing a Graph into Triconnected Components}, journal = {SIAM Journal on Computing}, volume = {2(3)}, pages = {135--158}, year = {1973}, added = {1996-03-13-10-09-20} } @InProceedings{ Hotz-Kolla-Molitor:87, author = {G. Hotz and R. Kolla and P. Molitor}, title = {On Network Algebras and Recursive Equations}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {250--261}, year = {1987}, added = {1996-03-13-10-09-20} } @TechReport{ Hudson:87, author = {S.E. Hudson}, title = {Incremental attribute evaluation: an algorithm for lazy evaluation in graphs}, number = {87-20}, year = {1987}, institution = {University of Arizona}, added = {1996-08-02-14-49-29} } @Book{ Humphrey:89, author = {Watts S. Humphrey}, title = {Managing the Software Process}, series = {SEI Series in Software Engineering}, year = {1989}, publisher = {Addison Wesley}, address = {Reading, MA}, added = {1996-08-02-14-49-29} } @InProceedings{ JEngelfriet-GRozenberg:97, author = {J.~Engelfriet and G.~Rozenberg}, title = {Node Replacement Graph Grammars}, editor = {G.Rozenberg}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation}, series = {}, volume = {1: Foundations}, pages = {}, year = {1997}, publisher = {World Scientific}, added = {1998-01-22-10-35-50} } @TechReport{ JEngelfriet-HVogler:96, author = {J.~Engelfriet and H.~Vogler}, title = {The equivalence of bottom-up and top-down tree-to-graph transducers}, number = {TUD/FI96/17}, year = {1996}, month = oct, institution = {Technical University of Dresden}, address = {}, type = {Technical Report}, added = {1998-01-22-10-35-50} } @InProceedings{ JEngelfriet:97, author = {J.~Engelfriet}, title = {Context-Free Graph Grammars}, editor = {G.~Rozenberg and A.~Salomaa}, booktitle = {Handbook of Formal Languages}, series = {}, volume = {3: Beyond Words}, pages = {}, year = {1997}, publisher = {Springer-Verlag}, added = {1998-01-22-10-35-50} } @TechReport{ JHage-THarju:97, author = {J.~Hage and T.~Harju}, title = {The size of switching classes with skew gains}, number = {97--02}, year = {1997}, institution = {Leiden University, Department of Computer Science}, type = {Tech.Report}, added = {1998-01-22-10-35-50}, url = {http://www.wi.leidenuniv.nl/TechRep/tr97-02.html} } @PhDThesis{ Jackel:86, author = {M Jackel}, title = {Formal Specification of Ada's Concurrent Constructs by Graph Grammars}, year = {1986}, school = {Osnabr{\"u}ck}, added = {1996-03-13-10-09-20} } @PhDThesis{ Jackel:86b, author = {Jackel, M.}, title = {{Formale Spezifikation konkurrierender ADA-konstrukte mit Graphgrammatiken}}, year = {1986}, type = {Dissertation}, school = {Universit{\"a}t Osnabr{\"u}ck}, added = {1996-11-28-18-33-07} } @Book{ Janning:92, author = {Janning, T.}, title = {{Requirements Engineering und Programmieren im Gro{\ss}en}}, year = {1992}, publisher = {Deutscher Universit{\"a}ts-Verlag, Wiesbaden}, added = {1996-11-28-18-33-07} } @TechReport{ Janssens-Kreowski-Rozenberg.ea:82, author = {Dirk Janssens and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg and Hartmut Ehrig}, title = {Concurrency of Node-Label-Controlled Graph Transformations}, number = {82-38}, year = {1982}, institution = {Antwerp}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Lens-Rozenberg:93, author = {Dirk Janssens and M. Lens and Grzegorz Rozenberg}, title = {Computation Graphs for Actor Grammars}, journal = {Journal of Computer and System Sciences}, volume = {46}, pages = {60--90}, year = {1993}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Mens:96, author = {Dirk Janssens and T. Mens}, title = {Abstract Semantics for {ESM} Systems}, journal = {Fundamenta Informaticae}, volume = {XXVII}, year = {1996}, note = {To appear}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg-Verraedt:82, author = {Dirk Janssens and Grzegorz Rozenberg and R. Verraedt}, title = {On Sequential and Parallel Node Rewriting Graph Grammars, Part 1}, journal = {Computer Graphics and Image Processing}, volume = {18}, pages = {279--301}, year = {1982}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg-Verraedt:83, author = {Dirk Janssens and Grzegorz Rozenberg and R. Verraedt}, title = {On Sequential and Parallel Node Rewriting Graph Grammars, Part 2}, journal = {Computer Graphics and Image Processing}, volume = {23}, pages = {295--312}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg-Welzl:86, author = {Dirk Janssens and Grzegorz Rozenberg and Emo Welzl}, title = {The Bounded Degree Problem for {NLC} Grammars is Decidable}, journal = {Journal of Computer and System Sciences}, volume = {33}, pages = {415--422}, year = {1986}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg:80, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {On the Structure of Node-Label-Controlled Graph Languages}, journal = {Information Sciences}, volume = {20}, pages = {191--216}, year = {1980}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg:80b, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Restrictions, Extensions and Variations of {NLC} Grammars}, journal = {Information Sciences}, volume = {20}, pages = {217--244}, year = {1980}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg:81, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {A Characterization of Context-Free String Languages by Directed Node Label Controlled Graph Grammars}, journal = {Acta Informatica}, volume = {16}, pages = {63--85}, year = {1981}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg:81b, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Decision Problems for Node Label Controlled Graph Grammars}, journal = {Journal of Computer and System Sciences}, volume = {22}, pages = {144--177}, year = {1981}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg:81c, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Decision Problems for Node Label Controlled Graph Grammars}, series = {Lecture Notes in Computer Science}, volume = {22}, pages = {144--177}, year = {1981}, publisher = {Springer}, added = {1996-03-28-11-35-01} } @Article{ Janssens-Rozenberg:82, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Graph Grammars with Neighbourhood-Controlled Embedding}, journal = {Theoretical Computer Science}, volume = {21}, pages = {55--74}, year = {1982}, added = {1996-03-13-10-09-20} } @InProceedings{ Janssens-Rozenberg:83, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {A Survey of {NLC} Grammars}, editor = {G. Ausiello and M. Protasi}, booktitle = {CAAP '83}, series = {Lecture Notes in Computer Science}, volume = {159}, pages = {114--128}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Janssens-Rozenberg:83b, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Graph Grammars with Node-Label Controlled Rewriting and Embedding}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {186--205}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Janssens-Rozenberg:83c, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Hypergraph Systems Generating Graph Languages}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {172--185}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg:86, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Neighbourhood-Uniform {NLC} Grammars}, journal = {Computer Vision, Graphics, and Image Processing}, volume = {35}, pages = {131--151}, year = {1986}, added = {1996-03-13-10-09-20} } @InProceedings{ Janssens-Rozenberg:87, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Basic Notions of Actor Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {280--298}, year = {1987}, added = {1996-03-13-10-09-20} } @Article{ Janssens-Rozenberg:89, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Actor Grammars}, journal = {Mathematical Systems Theory}, volume = {22}, pages = {75--107}, year = {1989}, added = {1996-03-13-10-09-20} } @InProceedings{ Janssens-Rozenberg:91, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Structured Transformations and Computation Graphs for Actor Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {446--460}, year = {1991}, added = {1996-03-13-10-09-20} } @TechReport{ Janssens-Verlinden:97, author = {D. Janssens and N. Verlinden}, title = {Reasoning on Graph-Rewriting Processes}, number = {97--07}, year = {1997}, institution = {University of Antwerp - UIA, dept. of Math. and Comp. Sci.}, added = {1998-01-22-10-35-50} } @PhDThesis{ Janssens:83, author = {Dirk Janssens}, title = {Node Label Controlled Graph Grammars}, year = {1983}, school = {Antwerp}, added = {1996-03-13-10-09-20} } @Article{ Janssens:93, author = {Dirk Janssens}, title = {Equivalence of Computations in Actor Grammars}, journal = {Theoretical Computer Science}, volume = {109}, pages = {145--180}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Janssens:94, author = {Dirk Janssens}, title = {{EMS} Systems and the Composition of Their Computations}, editor = {Hans J{\"u}rgen Schneider and Hartmut Ehrig}, booktitle = {Graph Transformations in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {203--217}, year = {1994}, added = {1996-03-13-10-09-20} } @InProceedings{ Janssens:95, author = {Dirk Janssens}, title = {The Decomposition of {EMS} Computations}, year = {1995}, note = {Submitted for publication}, added = {1996-03-13-10-09-20} } @InProceedings{ Janssens:96, author = {Janssens, Dirk}, title = {The Decomposition of {ESM} Computations}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {271--287}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Jeltsch-Kreowski:91, author = {Eric Jeltsch and Hans-J{\"o}rg Kreowski}, title = {Grammatical Inference Based on Hyperedge Replacement}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {461--474}, year = {1991}, added = {1996-03-13-10-09-20} } @TechReport{ Jones-DSouza:92, author = {C. V. Jones and K. D'Souza}, title = {Graph-Grammars for Minimum Cost Network Flow Modeling}, year = {1992}, institution = {Faculty of Business Administration, Simon Fraser University}, address = {Burnaby (BC), V5A 1S6 CANADA}, added = {1996-06-13-16-37-07} } @TechReport{ Jones-Krishnan:92, author = {C. V. Jones and R. Krishnan}, title = {A Visual, Syntax-Directed Environment for Automated Model Development}, year = {1992}, institution = {Faculty of Business Administration, Simon Fraser University}, address = {Burnaby (BC), V5A 1S6 CANADA}, added = {1996-06-13-16-37-07} } @InProceedings{ Jones:90, author = {C. V. Jones}, title = {An Example Based Introduction to Graph-Based Modeling}, booktitle = {Proceedings of the Twenty-Third Annual Hawaii International Conference on the System Sciences}, pages = {433--442}, year = {1990}, publisher = {IEEE Computer Society Press}, address = {Los Alamitos (CA)}, added = {1996-06-13-16-37-07} } @Article{ Jones:90b, author = {C. V. Jones}, title = {An Introduction to Graph-Based Modeling Systems, Part~{I}: Overview}, journal = {ORSA Journal on Computing}, volume = {2}, number = {2}, pages = {136--151}, year = {1990}, added = {1996-06-13-16-37-07} } @Article{ Jones:91, author = {C. V. Jones}, title = {An Introduction to Graph-Based Modeling Systems, Part~{II}: Graph-Grammars and the Implementation}, journal = {ORSA Journal on Computing}, volume = {3}, number = {3}, pages = {180--206}, year = {1991}, added = {1996-06-13-16-37-07} } @Article{ Jones:92, author = {C. V. Jones}, title = {Attributed Graphs, Graph-Grammars, and Structured Modeling}, journal = {Annals of OR}, volume = {38}, pages = {281--324}, year = {1992}, added = {1996-06-13-16-37-07} } @Article{ Jones:93, author = {C. V. Jones}, title = {An Integrated Modeling Environment Based on Attributed Graphs and Graph-Grammars}, journal = {Decision Support Systems}, volume = {10}, pages = {255--275}, year = {1993}, added = {1996-06-13-16-37-07} } @Article{ Jones:95, author = {C. V. Jones}, title = {Developments in Graph-based Modeling for Decision Support}, journal = {Decision Support Systems}, volume = {13}, number = {1}, pages = {61--74}, year = {1995}, added = {1996-06-13-16-37-07} } @InProceedings{ Kajitani-Cho-Sarrafzadeh:95, author = {Yoji Kajitani and Jun Dong Cho and Majid Sarrafzadeh}, title = {New Approximation Results on Graph Matching and Related Problems}, editor = {W. {Mayr, Ernst} and Gunter Schmidt and Gottfried Tinhofer}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {903}, pages = {343--358}, year = {1995}, added = {1996-03-13-10-09-20} } @InProceedings{ Kaul:83, author = {M. Kaul}, title = {Parsing of Graphs in Linear Time}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {206--218}, year = {1983}, added = {1996-03-13-10-09-20} } @PhDThesis{ Kaul:85, author = {Kaul, M.}, title = {{Syntaxanalyse von Graphen durch Pr{\"a}zedenzgraphgrammatiken}}, year = {1985}, type = {Dissertation}, school = {Universit{\"a}t Osnabr{\"u}ck}, added = {1996-11-28-18-33-07} } @PhDThesis{ Kaul:86, author = {M. Kaul}, title = {Syntaxanalyse von Graphen bei Pr{\"a}zedenz-Graph-Grammatiken}, year = {1986}, school = {Passau}, added = {1996-03-13-10-09-20} } @InProceedings{ Kaul:87, author = {M. Kaul}, title = {Practical Applications of Precedence Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {326--342}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Kennaway-Klop-Sleep.ea:91, author = {Richard Kennaway and Jan Willem Klop and Ronan Sleep and Jan {de Vries}}, title = {Transfinite Reductions in Orthogonal Term Rewriting Systems (extended Abstract)}, editor = {Ronald V. Book}, booktitle = {Rewriting techniquers and Applications}, series = {Lecture Notes in Computer Science}, volume = {488}, pages = {1--12}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Kennaway:87, author = {Richard Kennaway}, title = {On ``{O}n Graph Rewritings''}, journal = {Theoretical Computer Science}, volume = {52}, pages = {37--58}, year = {1987}, added = {1996-03-13-10-09-20} } @Article{ Kennaway:90, author = {Richard Kennaway}, title = {Implementing Term Rewrite Languages in {DACTL}}, journal = {Theoretical Computer Science}, volume = {72}, pages = {225--249}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Kennaway:91, author = {Richard Kennaway}, title = {Graph Rewriting in Some Categories of Partial Morphisms}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {505--519}, year = {1991}, added = {1996-03-13-10-09-20} } @TechReport{ Kiesel-Schuerr-Westfechtel:92, author = {N. Kiesel and A. Schuerr and B. Westfechtel}, title = {Design and Evaluation of {GRAS}, a Graph-Oriented Database System for Engineering Applications}, number = {92-44}, year = {1992}, institution = {Lehrstuhl fur Informatik III, Technical University of Aachen, Germany}, added = {1996-04-16-07-34-15} } @Article{ Kiesel-Schuerr-Westfechtel:95, author = {Norbert Kiesel and Andy Sch{\"u}rr and Bernhard Westfechtel}, title = {{GRAS}, a Graph-Oriented (Software) Engineering Database System}, journal = {Information Sciences}, volume = {20}, number = {1}, pages = {21--51}, year = {1995}, publisher = {Pergamon Press}, added = {1996-03-13-10-09-20} } @InProceedings{ Kim-Jeong:95, author = {Changwook Kim and Tae Eui Jeong}, title = {{HRNCE} Grammars --- {A} Hypergraph Generating System with an {eNCE} Way of Rewriting}, year = {1995}, note = {Submitted for publication}, added = {1996-03-13-10-09-20} } @InProceedings{ Kim-Jeong:96, author = {Kim, Changwook and Jeong, Tae Eui}, title = {{HRNCE} Grammars---{A} Hypergraph Generating System with an {eNCE} way of Rewriting}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {383--396}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Article{ Kim-Lee:95, author = {Changwook Kim and Dong Hoon Lee}, title = {Node Replacement Graph Languages Squeezed with Chains, Trees, and Forests}, journal = {Information and Computation}, volume = {117}, pages = {63--77}, year = {1995}, added = {1996-03-13-10-09-20} } @InCollection{ Kleene:56, author = {S. C. Kleene}, title = {Representation of Events in Nerve Nets and Finite Automata}, editor = {C. Shannon and J. McCarthy}, booktitle = {Automata Studies, Annals of Math. Studies 34}, pages = {3--40}, year = {1956}, publisher = {Princeton}, address = {New Jersey}, added = {1996-03-13-10-09-20} } @MastersThesis{ Klein:93, author = {Klein, P.}, title = {{Die Graphcodemaschine PROGRES}}, year = {1993}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @InProceedings{ Klempien-Hinrichs:96, ATTENTION = {newer record added: Jul 30, 1996}, author = {Klempien-Hinrichs, Renate}, title = {Node Replacement in Hypergraphs: Simulation of Hyperedge Replacement, and Decidability of Confluence}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, year = {1996}, note = {To appear}, added = {1996-03-13-10-09-20} } @InProceedings{ Klempien-Hinrichs:96b, author = {Klempien-Hinrichs, Renate}, title = {Node Replacement in Hypergraphs: Simulation of Hyperedge Replacement, and Decidability of Confluence}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {397--411}, year = {1996}, publisher = {Springer}, added = {1996-07-30-13-31-20} } @TechReport{ Klempien-Hinrichs:97, author = {R. Klempien-Hinrichs}, title = {Net Refinement by pullback rewriting}, number = {}, year = {1997}, institution = {LaBRI, University of Bordeaux}, added = {1998-01-22-10-35-50} } @InProceedings{ Klempien-Hinrichs:98, author = {{Klempien-Hinrichs}, Renate}, title = {Net Refinement by Pullback Rewriting}, editor = {M. Nivat}, booktitle = {Proc. Foundations of Software Science and Computation Structures}, series = {Lecture Notes in Computer Science}, volume = {1378}, pages = {189--202}, year = {1998}, publisher = {Springer}, added = {1998-04-15-14-04-00} } @TechReport{ Koch:97, author = {Koch, M.}, title = {Bedingte verteilte {G}raphtransformation und ihre {A}nwendung auf verteilte {T}ransaktionen}, number = {97-11}, year = {1997}, institution = {Technical University of Berlin}, added = {1998-01-22-10-35-50}, creatorofitem = {gabi-970217} } @PhDThesis{ Kohring:96, author = {Kohring, C.}, title = {{Ausf{\"u}hrung von Anforderungsdefinitionen zum Rapid Prototyping}}, year = {1996}, address = {RWTH Aachen}, type = {Dissertation}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @InProceedings{ Korff-Ribeiro:96, author = {Korff, Martin and Ribeiro, Leila}, title = {Formal Relationship Between Graph Grammars and Petri Nets}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {288--303}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Korff:91, author = {Martin Korff}, title = {Application of Graph Grammars to Rule-Based Systems}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {505--519}, year = {1991}, added = {1996-03-13-10-09-20} } @TechReport{ Korff:92, author = {M. Korff}, title = {Algebraic transformation of equationally defined graph structures}, number = {92/32}, year = {1992}, publisher = {Technische Universit{\"a}t Berlin}, added = {1996-08-02-14-49-29} } @MastersThesis{ Kossisng:92, author = {Kossisng, P.}, title = {{Modellierung abstrakter Syntaxgraphen f{\"u}r EBNF}}, year = {1992}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @Article{ Kreowski-Kuske-Schuerr:97, author = {Kreowski, Hans-J\"org and Kuske, Sabine and Sch\"urr, Andy}, title = {Nested Graph Transformation Units}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {7}, pages = {479--502}, year = {1997}, added = {1997-09-01-16-46-57} } @InProceedings{ Kreowski-Kuske:96, author = {Hans-J{\"o}rg Kreowski and Sabine Kuske}, title = {On the Interleaving Semantics of Transformation Units---{A} step into {GRACE}}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {89--106}, year = {1996}, publisher = {Springer}, added = {1996-07-08-16-34-22} } @Unpublished{ Kreowski-Rozenberg:80, author = {Hans-J{\"o}rg Kreowski and G. Rozenberg}, title = {Finite String Automata Recognizing Graph Languages}, year = {1980}, note = {Unpublished manuscript}, added = {1996-03-28-11-35-01} } @InProceedings{ Kreowski-Rozenberg:81, author = {Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg}, title = {On the Constructive Description of Graph Languages Accepted by Finite Automata}, editor = {J. Gruska and M. Chytil}, booktitle = {Mathematical Foundations of Computer Science}, series = {Lecture Notes in Computer Science}, volume = {118}, pages = {398--409}, year = {1981}, added = {1996-03-13-10-09-20} } @Article{ Kreowski-Rozenberg:84, author = {Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg}, title = {Note on Node-Rewriting Graph Grammars}, journal = {Information Processing Letters}, volume = {18}, pages = {21--24}, year = {1984}, added = {1996-03-13-10-09-20} } @TechReport{ Kreowski-Rozenberg:88, author = {H.-J. Kreowski and G. Rozenberg}, title = {On structured graph grammars (Parts {I}, {II})}, journal = {Technical report}, number = {3/88}, year = {1988}, publisher = {Universit{\"a}t Bremen}, added = {1996-08-02-14-49-29} } @Article{ Kreowski-Rozenberg:90, author = {Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg}, title = {On Structured Graph Grammars, Parts {I} and {II}}, journal = {Information Sciences}, volume = {52}, pages = {185--210 and 221--246}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Kreowski-Wilharm:87, author = {Hans-J{\"o}rg Kreowski and Anne Wilharm}, title = {Is Parallelism Already Concurrency? {P}art 2: Non Sequential Processes in Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {361--377}, year = {1987}, added = {1996-03-13-10-09-20} } @PhDThesis{ Kreowski:77, author = {Hans-J{\"o}rg Kreowski}, title = {Manipulationen von Graphmanipulationen}, year = {1977}, school = {Technische Universit{\"a}t Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Kreowski:77b, author = {Hans-J{\"o}rg Kreowski}, title = {Transformations of Derivation Sequences in Graph Grammars}, editor = {M. Karpi\'nski}, booktitle = {Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {56}, pages = {275--286}, year = {1977}, added = {1996-03-13-10-09-20} } @TechReport{ Kreowski:78, author = {Hans-J{\"o}rg Kreowski}, title = {{Anwendungen der Algebraischen Theorie von Graph-Grammatiken auf Konsistenz und Synchronisation in Datenbanksystemen}}, number = {78-15}, year = {1978}, institution = {Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Kreowski:79, author = {Hans-J{\"o}rg Kreowski}, title = {A Pumping Lemma for Context-Free Graph Languages}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {270--283}, year = {1979}, added = {1996-03-13-10-09-20} } @InProceedings{ Kreowski:81, author = {H.-J. Kreowski}, title = {A comparison between {P}etri-nets and graph grammars}, editor = {H. Noltemeier}, booktitle = {Graphtheoric Concepts in Computer Science, Proceedings of the International Workshop WG'80}, series = {Lecture Notes in Computer Science}, number = {100}, pages = {306--317}, year = {1981}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @InProceedings{ Kreowski:83, author = {Hans-J{\"o}rg Kreowski}, title = {Graph Grammar Derivation Processes}, booktitle = {Graph-Theoretic Concepts in Computer Science}, pages = {136--150}, year = {1983}, publisher = {Trauner Verlag}, address = {Linz}, added = {1996-03-13-10-09-20} } @InCollection{ Kreowski:86, author = {Hans-J{\"o}rg Kreowski}, title = {Rule Trees Represent Derivations in Edge Replacement Systems}, editor = {G. Rozenberg and A. Salomaa}, booktitle = {The Book of L}, pages = {217--232}, year = {1986}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Kreowski:87, author = {Hans-J{\"o}rg Kreowski}, title = {Is Parallelism Already Concurrency? {P}art 1: Derivations in Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {343--360}, year = {1987}, added = {1996-03-13-10-09-20} } @TechReport{ Kreowski:87b, author = {Hans-J{\"o}rg Kreowski}, title = {Rule Trees Can Help to Escape Hard Graph Problems}, year = {1987}, institution = {Bremen}, added = {1996-03-13-10-09-20} } @InCollection{ Kreowski:92, author = {Hans-J{\"o}rg Kreowski}, title = {Parallel Hyperedge Replacement}, editor = {G. Rozenberg and A. Salomaa}, booktitle = {Lindenmayer Systems}, pages = {271--282}, year = {1992}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Kreowski:93, author = {Hans-J{\"o}rg Kreowski}, title = {Five Facets of Hyperedge Replacement Beyond Context-Freeness}, editor = {Z. \'Esik}, booktitle = {Proc. Fundamentals of Computation Theory 93}, series = {Lecture Notes in Computer Science}, volume = {710}, pages = {69--86}, year = {1993}, added = {1996-03-13-10-09-20} } @InCollection{ Kreowski:93b, author = {Hans-J{\"o}rg Kreowski}, title = {Translations into the Graph Grammar Machine}, editor = {Ronan Sleep and Rinus Plasmeijer and Marko {van Eekelen}}, booktitle = {Term Graph Rewriting: Theory and Practice}, chapter = {13}, pages = {171--183}, year = {1993}, publisher = {John Wiley}, address = {New York}, added = {1996-03-13-10-09-20} } @InCollection{ Kreowski:94, author = {Hans-J{\"o}rg Kreowski}, title = {An Axiomatic Approach to Canonical Derivations}, editor = {B. Pehrson and I. Simon}, booktitle = {13th World Computer Congress 94, Volume 1}, pages = {348--353}, year = {1994}, publisher = {Elsevier Science (North-Holland)}, added = {1996-03-13-10-09-20} } @TechReport{ Kreowski:95, author = {Hans-J{\"o}rg Kreowski}, title = {A Case Study in {GRACE}: Shortest Paths}, year = {1995}, institution = {Bremen}, type = {Technical Report}, added = {1996-03-13-10-09-20} } @InProceedings{ Kreowski:95b, author = {Hans-J{\"o}rg Kreowski}, title = {Graph Grammars for Software Specification and Programming: An Eulogy in Praise of {GRACE}}, editor = {G. Valiente and F. Rossell\'o}, booktitle = {Proc. Colloquium on Graph Transformation and its Application in Computer Science}, journal = {Technical Report, Palma de Mallorca}, pages = {63--70}, year = {1995}, added = {1996-03-13-10-09-20} } @MastersThesis{ Kreten:95, author = {Kreten, H.}, title = {{Graphenalgorithmen in PROGRES}}, year = {1995}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07}, subtitle = {{Auswahl, Spezifikation und effiziente Realisierung}} } @Article{ Kruskal:60, author = {J. B. Kruskal}, title = {Well-Quasi-Ordering, the Tree-Theorem, and {V}azsonyi's Conjecture}, journal = {Proceedings of the American Mathematical Society}, year = {1960}, added = {1996-03-28-11-35-01} } @InProceedings{ Kuske:93, author = {Sabine Kuske}, title = {Maximum Path Length Pumping Lemma for Edge Replacement Languages}, editor = {Z. \'Esik}, booktitle = {Proc.\ Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {710}, pages = {342--351}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Kuske:95, author = {Sabine Kuske}, title = {Semantic Aspects of the Graph and Rule Centered Language {GRACE}}, editor = {F. Rossell{\'o} Llompart and G. Valiente Feruglio}, booktitle = {Proc. Colloquium on Graph Transformation and its Application in Computer Science}, series = {Technical Report, Palma de Mallorca}, pages = {63--70}, year = {1995}, added = {1996-03-13-10-09-20} } @InCollection{ Kuske:95b, author = {Sabine Kuske}, title = {Implementing $\beta$-reduction by hypergraph rewriting}, editor = {A. Corradini and U. Montanari}, booktitle = {Proc.\ Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation ({SEGRAGRA '95})}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {2}, pages = {159--166}, year = {1995}, publisher = {Elsevier Science}, added = {1998-02-11-16-07-04} } @Article{ Lange-Welzl:87, author = {Klaus-J{\"o}rn Lange and Emo Welzl}, title = {String Grammars with Disconnecting or a Basic Root of the Difficulty in Graph Grammar Parsing}, journal = {Discrete Applied Mathematics}, volume = {16}, pages = {17--30}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Lautemann:88, author = {Clemens Lautemann}, title = {Decomposition Trees: Structured Graph Representation and Efficient Algorithms}, editor = {M. Dauchet and M. Nivat}, booktitle = {CAAP'88}, series = {Lecture Notes in Computer Science}, volume = {299}, pages = {28--39}, year = {1988}, added = {1996-03-13-10-09-20} } @InProceedings{ Lautemann:88b, author = {Clemens Lautemann}, title = {Efficient Algorithms on Context-Free Graph Languages}, editor = {T. Lepist{\"o} and A. Salomaa}, booktitle = {Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {362--378}, year = {1988}, added = {1996-03-13-10-09-20} } @TechReport{ Lautemann:89, author = {Clemens Lautemann}, title = {The Complexity of Graph Languages Generated by Hyperedge Replacement}, number = {4/89}, year = {1989}, institution = {Univ. Bremen}, type = {Report}, added = {1996-03-28-11-35-01} } @Article{ Lautemann:90, author = {Clemens Lautemann}, title = {The Complexity of Graph Languages Generated by Hyperedge Replacement}, journal = {Acta Informatica}, volume = {27}, pages = {399--421}, year = {1990}, added = {1996-03-13-10-09-20} } @TechReport{ Lautemann:90b, author = {Clemens Lautemann}, title = {Tree automata, Tree Decomposition and hyperedge replacement}, number = {2/90}, year = {1990}, institution = {Univ. Mainz}, type = {{Informatik-Bericht}}, added = {1996-03-28-11-35-01} } @InProceedings{ Lautemann:91, author = {Clemens Lautemann}, title = {Tree Automata, Tree Decomposition, and Hyperedge Replacement}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Proc. Fourth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {520--537}, year = {1991}, added = {1996-03-13-10-09-20} } @InCollection{ Leeuwen:90, author = {Jan van Leeuwen}, title = {Graph Algorithms}, editor = {J. van Leeuwen}, booktitle = {Handbook of Theoretical Computer Science}, volume = {A}, pages = {193--242}, year = {1990}, publisher = {Elsevier}, address = {Amsterdam}, added = {1996-03-13-10-09-20} } @InProceedings{ Lengauer-Wagner:87, author = {Thomas Lengauer and K. W. Wagner}, title = {The Correlation Between the Complexities of the Non-Hierarchical and Hierarchical Version of Graph Problems}, editor = {F. Brandenburg and G. {Vidal-Naquet} and M. Wirsing}, booktitle = {STACS 87}, series = {Lecture Notes in Computer Science}, volume = {247}, pages = {100--113}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Lengauer-Wanke:88, author = {Thomas Lengauer and Egon Wanke}, title = {Efficient Analysis of Graph Properties on Context-Free Graph Languages}, editor = {T. Lepist{\"o} and A. Salomaa}, booktitle = {Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {379--393}, year = {1988}, added = {1996-03-13-10-09-20} } @Article{ Lengauer-Wanke:88b, author = {Thomas Lengauer and Egon Wanke}, title = {Efficient Solution of Connectivity Problems on Hierarchically Defined Graphs}, journal = {SIAM Journal on Computing}, volume = {17}, pages = {1063--1080}, year = {1988}, added = {1996-03-13-10-09-20} } @Article{ Lengauer-Wanke:88c, author = {T. Lengauer and E. Wanke}, title = {Decision Problems on Cellular Graph Grammars}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {379--393}, year = {1988}, publisher = {Springer}, added = {1996-03-28-11-35-01} } @Article{ Lengauer-Wanke:88d, author = {T. Lengauer and E. Wanke}, title = {Efficient Analysis of Graph Properties on Context-Free Graph Languages}, editor = {T. Leipist{\"o} and A. Salomaa}, booktitle = {Proc. {ICALP 88}}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {379--393}, year = {1988}, publisher = {Springer}, added = {1996-03-28-11-35-01} } @Article{ Lengauer-Wanke:93, author = {Thomas Lengauer and Egon Wanke}, title = {Efficient Decision Procedures for Graph Properties on Context-Free Graph Languages}, journal = {Journal of the Association for Computing Machinery}, volume = {40}, pages = {368--393}, year = {1993}, added = {1996-03-13-10-09-20} } @InCollection{ Lengauer:85, author = {Thomas Lengauer}, title = {Efficient Solution of Biconnectivity Problems on Hierarchically Defined Graphs}, editor = {H. Noltemeier}, booktitle = {Graph-Theoretic Concepts in Computer Science}, pages = {201--215}, year = {1985}, publisher = {Trauner Verlag}, address = {Linz}, added = {1996-03-13-10-09-20} } @InProceedings{ Lengauer:86, author = {Thomas Lengauer}, title = {Hierarchical Planarity Testing Algorithms}, editor = {L. Kott}, booktitle = {Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {226}, pages = {215--225}, year = {1986}, added = {1996-03-13-10-09-20} } @Article{ Lengauer:87, author = {Thomas Lengauer}, title = {Efficient Algorithms for Finding Minimum Spanning Forests of Hierarchically Defined Graphs}, journal = {Journal of Algorithms}, volume = {8}, pages = {260--284}, year = {1987}, added = {1996-03-13-10-09-20} } @Article{ Lewerentz-Nagl-Westfechtel:88, author = {C. Lewerentz and M. Nagl and B. Westfechtel}, title = {On integration mechanisms within a graphbased software development environment}, booktitle = {Proc {WG87} workshop on graphtheoretic concepts in comp.\ sci.}, series = {Lecture Notes in Computer Science}, number = {314}, pages = {219--229}, year = {1988}, publisher = {Springer-Verlag}, added = {1996-08-02-14-49-29} } @Article{ Lewerentz-Nagl:84, author = {C. Lewerentz and M. Nagl}, title = {A formal specification language for software systems defined by graph grammars}, editor = {Pape}, booktitle = {Proc.of {WG84} workshop on graphtheoretic concepts in comp.\ sci.}, pages = {224--241}, year = {1984}, publisher = {Trauner-Verlag}, address = {Linz}, added = {1996-08-02-14-49-29} } @Book{ Lewerentz:88, author = {Claus Lewerentz}, title = {Interaktives Entwerfen gro\ss er Programmsysteme: Konzepte und Werkzeuge}, series = {Informatik-Fachberichte}, volume = {194}, year = {1988}, publisher = {Springer-Verlag}, address = {Berlin}, note = {Doctoral dissertation}, added = {1996-03-13-10-09-20} } @InProceedings{ Lichtblau:85, author = {Ulrike Lichtblau}, title = {Decompilation of Control Structures by Means of Graph Transformations}, editor = {H. Ehrig and C. Floyd and M. Nivat and J. Thatcher}, booktitle = {Mathematical Foundations of Software Development}, series = {Lecture Notes in Computer Science}, volume = {185}, pages = {284--297}, year = {1985}, added = {1996-03-13-10-09-20} } @PhDThesis{ Lichtblau:90, author = {Ulrike Lichtblau}, title = {Flu\ss graphgrammatiken}, year = {1990}, school = {Oldenburg}, added = {1996-03-13-10-09-20} } @InProceedings{ Lichtblau:91, author = {Ulrike Lichtblau}, title = {Recognizing Rooted Context-Free Flowgraph Languages in Polynomial Time}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {538--548}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Lindenmayer-CulikII:79, author = {Aristid Lindenmayer and Karel {Culik II}}, title = {Growing Cellular Systems: Generation of Graphs by Parallel Rewriting}, journal = {Int. J. General Systems}, volume = {5}, pages = {45--55}, year = {1979}, added = {1996-03-13-10-09-20} } @InProceedings{ Lindenmayer-Rozenberg:79, author = {Aristid Lindenmayer and G. Rozenberg}, title = {Parallel Generation of Maps: Developmental Systems of Cell Layers}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {301--316}, year = {1979}, added = {1996-03-13-10-09-20} } @InProceedings{ Lindenmayer:87, author = {A. Lindenmayer}, title = {An Introduction to Parallel Map Generating Systems}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {27--40}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Lingas-Syslo:88, author = {A. Lingas and Maciej M. Syslo}, title = {A Polynomial-Time Algorithm for Subgraph Isomorphism of Two-Connected Series-Parallel Graphs}, editor = {T. Lepist{\"o} and A. Salomaa}, booktitle = {Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {394--409}, year = {1988}, added = {1996-03-13-10-09-20} } @Article{ Litovsky-Metivier-Sopena:95, author = {Igor Litovsky and Yves M\'etivier and Eric Sopena}, title = {Different Local Controls for Graph Relabeling Systems}, journal = {Mathematical Systems Theory}, volume = {28}, pages = {41--65}, year = {1995}, added = {1996-03-13-10-09-20} } @InProceedings{ Litovsky-Metivier-Zielonka:93, author = {Igor Litovsky and Yves M\'etivier and W. Zielonka}, title = {The Power and Limitations of Local Computations on Graphs and Networks}, editor = {E. W. Mayr}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {657}, pages = {333--345}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Litovsky-Metivier:91, author = {Igor Litovsky and Yves M\'etivier}, title = {Computing with Graph Relabelling Systems with Priorities}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {549--563}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Litovsky-Metivier:92, author = {Igor Litovsky and Yves M\'etivier}, title = {Computing Trees with Graph Rewriting Systems with Priorities}, editor = {M. Nivat and A. Podelski}, booktitle = {Tree Automata and Languages}, pages = {115--139}, year = {1992}, added = {1996-03-13-10-09-20} } @Article{ Litovsky-Metivier:93, author = {Igor Litovsky and Yves M\'etivier}, title = {Computing with Graph Rewriting Systems with Priorities}, journal = {Theoretical Computer Science}, volume = {115}, pages = {191--224}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Loewe-Beyer:93, author = {Michael L{\"o}we and Martin Beyer}, title = {{AGG} --- An Implementation of Algebraic Graph Rewriting}, booktitle = {Rewriting Techniques and Applications}, series = {Lecture Notes in Computer Science}, volume = {690}, pages = {451--456}, year = {1993}, publisher = {Springer-Verlag}, added = {1996-03-13-10-09-20} } @InProceedings{ Loewe-Ehrig:91, author = {Michael L{\"o}we and Hartmut Ehrig}, title = {Algebraic Approach to Graph Transformation based on Single Pushout Derivations}, editor = {R. H. M{\"o}hring}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {484}, pages = {338--353}, year = {1991}, added = {1996-03-13-10-09-20} } @InCollection{ Loewe-Korff-Wagner:93, author = {Michael L{\"o}we and Martin Korff and Annika Wagner}, title = {An Algebraic Framework for the Transformation of Attributed Graphs}, editor = {Ronan Sleep and Rinus Plasmeijer and Marko {van Eekelen}}, booktitle = {Term Graph Rewriting: Theory and Practice}, pages = {185--199}, year = {1993}, publisher = {John Wiley}, address = {New York}, added = {1996-03-13-10-09-20} } @PhDThesis{ Loewe:90, author = {Michael L{\"o}we}, title = {Extended Algebraic Graph Transformation}, year = {1990}, school = {Berlin}, added = {1996-03-13-10-09-20} } @Article{ Loewe:90b, author = {Michael L{\"o}we}, title = {Implementing Algebraic Specifications by Graph Transformation Systems}, journal = {Journal of Information Processing and Cybernetics EIK}, volume = {26}, number = {11/12}, pages = {615--641}, year = {1990}, added = {1996-03-13-10-09-20} } @TechReport{ Loewe:90c, author = {M. L{\"o}we}, title = {Algebraic approach to graph transformation, based on single pushout derivations}, number = {90/5}, year = {1990}, institution = {Technische Universit{\"a}t Berlin}, note = {Doctoral dissertation}, added = {1996-08-02-14-49-29} } @Article{ Loewe:93, author = {Michael L{\"o}we}, title = {Algebraic Approach to Single-Pushout Graph Transformation}, journal = {Theoretical Computer Science}, volume = {109}, pages = {181--224}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Ludwigs:80, author = {H. L. Ludwigs}, title = {Properties of Ordered Graph Grammars}, editor = {H. Noltemeier}, booktitle = {Graphtheoric Concepts in Computer Science, Proceedings of the International Workshop WG'80}, series = {Lecture Notes in Computer Science}, number = {100}, pages = {70--79}, year = {1980}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @InProceedings{ Lueck-Lueck:83, author = {Jacqueline L{\"u}ck and Hermann B. L{\"u}ck}, title = {Generation of 3-Dimensional Plant Bodies By Double Wall Map and Stereomap Systems}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {219--231}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Lueck-Lueck:87, author = {Jacqueline L{\"u}ck and Hermann B. L{\"u}ck}, title = {From {OL} and {IL} Map Systems to Intermediate and Deterministic Growth in Plant Morphogenesis}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {393--410}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Lueck-Lueck:91, author = {Jacqueline L{\"u}ck and Hermann B. L{\"u}ck}, title = {Double-Wall Cellwork Systems for Plant Meristems}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {564--581}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Lueck-Lueck:96, author = {L{\"u}ck, Jacqueline and L{\"u}ck, Hermann B.}, title = {Cellworks with Cell Rewriting and Cell Packing for Plant Morphogenesis}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {536--549}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @TechReport{ Ly:97, author = {O. Ly}, title = {On the logical hierarchy of graphs}, pages = {1--15}, year = {1997}, institution = {Colloqium New trends in Semantics, (satellite workshop of ICALP97)}, added = {1998-01-22-10-35-50} } @Article{ MacLane:37, author = {Saunders MacLane}, title = {A Structural Characterization of Planar Combinatorial Graphs}, journal = {Duke Mathematical Journal}, volume = {3}, pages = {460--472}, year = {1937}, added = {1996-03-13-10-09-20} } @Book{ MacLane:71, author = {Saunders MacLane}, title = {Categories for Working Mathematicians}, year = {1971}, publisher = {Springer-Verlag}, address = {New York}, added = {1996-03-13-10-09-20} } @InProceedings{ Maggiolo-Schettini-Peron:96, author = {Maggiolo-Schettini, Andrea and Peron, Adriano}, title = {A Graph Rewriting Framework for Statecharts Semantics}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {107--121}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Maggiolo-Schettini-Winkowski:91, author = {Andrea {Maggiolo-Schettini} and J\'ozef Winkowski}, title = {Programmed Derivations of Relational Structures}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {582--598}, year = {1991}, added = {1996-03-13-10-09-20} } @InCollection{ Mahr-Wilharm:82, author = {Bernd Mahr and Anne Wilharm}, title = {Graph Grammars as a Tool for Description in Computer Processed Control: {A} Case Study}, editor = {H. J. Schneider and H. G{\"o}ttler}, booktitle = {Graph-Theoretic Concepts in Computer Science}, pages = {165--176}, year = {1982}, publisher = {Hanser Verlag}, address = {M{\"u}nchen/Wien}, added = {1996-03-13-10-09-20} } @InProceedings{ Main-Rozenberg:87, author = {M. G. Main and Grzegorz Rozenberg}, title = {Fundamentals of Edge-Label Controlled Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {411--426}, year = {1987}, added = {1996-03-13-10-09-20} } @Article{ Main-Rozenberg:87b, author = {M. G. Main and Grzegorz Rozenberg}, title = {Handle {NLC} Grammars and {R}.{E}. Languages}, journal = {Journal of Computer and System Sciences}, volume = {35}, pages = {195--205}, year = {1987}, added = {1996-03-13-10-09-20} } @Article{ Main-Rozenberg:90, author = {M. G. Main and Grzegorz Rozenberg}, title = {Edge-Label Controlled Graph Grammars}, journal = {Journal of Computer and System Sciences}, volume = {40}, pages = {188--228}, year = {1990}, added = {1996-03-13-10-09-20} } @InCollection{ Mayoh:76, author = {B. Mayoh}, title = {Another Model for the Development of Multidimensional Organisms}, editor = {A. Lindenmayer and G. Rozenberg}, booktitle = {Automata, Languages, Development}, pages = {469--486}, year = {1976}, publisher = {North Holland}, address = {Amsterdam}, added = {1996-03-13-10-09-20} } @PhDThesis{ Meier:82, author = {A. Meier}, title = {Semantisches Datenmodell f{\"u}r fl{\"a}chenbezogene Daten}, year = {1982}, school = {Z{\"u}rich}, added = {1996-03-13-10-09-20} } @InProceedings{ Meier:83, author = {A. Meier}, title = {A Graph-Relational Approach to Geographic Databases}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {245--254}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Meier:85, author = {A. Meier}, title = {A Graph Grammar Approach to Geographic Databases}, journal = {Information Systems}, volume = {10}, pages = {9--19}, year = {1985}, added = {1996-03-13-10-09-20} } @InProceedings{ Metivier-Muscholl:97, author = {Y. M\'etivier and A. Muscholl}, title = {About the local detection of termination of local computations}, booktitle = {The 4th International colloquium on structural information and communication complexity}, year = {1997}, publisher = {Carleton University Press}, added = {1998-01-22-10-35-50} } @Article{ Metivier-Sopena:97, author = {Y. M\'etivier and E. Sopena}, title = {Graph relabelling systems : a general overview}, journal = {Computers and artificial intelligence}, volume = {16}, pages = {167--185}, year = {1997}, added = {1998-01-22-10-35-50} } @Article{ Mezei-Wright:67, author = {J. Mezei and J. B. Wright}, title = {Algebraic Automata and Context-Free Sets}, journal = {Information and Control}, volume = {11}, pages = {3--29}, year = {1967}, added = {1996-03-13-10-09-20} } @Article{ Mizoguchi-Kawahara:95, author = {Yoshihiro Mizoguchi and Yasuo Kawahara}, title = {Relational Graph rewrtings}, journal = {Theoretical Computer Science}, volume = {11}, pages = {311--328}, year = {1995}, added = {1996-03-13-10-09-20} } @InProceedings{ Moessle-Vogler:97, author = {M\"o\ss{}le, Andrea and Vogler, Heiko}, title = {Benefits of Hypergraphs for Program Transformation}, editor = {M. Jarke, K. Pasedach, K. Pohl}, booktitle = {Proc.\ Informatik '97}, series = {Reihe Informatik aktuell}, pages = {572--581}, year = {1997}, publisher = {Springer Verlag}, added = {1998-04-14-09-05-12} } @InProceedings{ Moldovan-Parisi-Presicce:87, author = {D. Moldovan and Francesco {Parisi-Presicce}}, title = {Parallelism Analysis in Rule-Based Systems Using Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {427--439}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Montanari-Rossi:87, author = {Ugo Montanari and Francesca Rossi}, title = {An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {440--457}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Montanari-Rossi:91, author = {Ugo Montanari and Francesca Rossi}, title = {A True Concurrency Semantics for Concurrent Constraint Programming}, year = {1991}, organization = {ILPS91}, publisher = {MIT Press}, added = {1996-03-13-10-09-20} } @Article{ Montanari-Rossi:93, author = {Ugo Montanari and Francesca Rossi}, title = {Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming}, journal = {Theoretical Computer Science}, volume = {109}, pages = {225--256}, year = {1993}, added = {1996-03-13-10-09-20} } @Unpublished{ Montanari-Rossi:97, author = {Montanari, U. and Rossi, F.}, title = {Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems}, year = {1997}, note = {Submitted for publication}, added = {1998-01-22-10-35-50} } @Article{ Montanari:70, author = {Ugo Montanari}, title = {Separable Graphs, Planar Graphs and Web Grammars}, journal = {Information and Control}, volume = {16}, pages = {243--267}, year = {1970}, added = {1996-03-13-10-09-20} } @TechReport{ Mosbah-Saheb:96, author = {M. Mosbah and N. Saheb}, title = {Non Uniform Random Spanning Trees on Weighted Graphs}, number = {1143--96}, year = {1996}, institution = {LaBRI, University of Bordeaux}, note = {Submitted to Theoret. Comput. Science}, added = {1998-01-22-10-35-50} } @InProceedings{ Mosbah-Saheb:97, author = {M. Mosbah and N. Saheb}, title = {A Syntactic Approach to Random Walks on Graphs}, booktitle = {23rd International Workshop, WG'97}, year = {1997}, month = {June}, publisher = {Lect. Notes. Comput. Sci., to appear}, address = {Berlin, Germany}, note = {Technical Report 1163--97, University of Bordeaux}, added = {1998-01-22-10-35-50} } @InProceedings{ Mosbah-Saheb:97b, author = {M. Mosbah and N. Saheb}, title = {Formal Rational Fractions and Random Walks on Cycle Graphs}, booktitle = {Formal Power Series and Algebraic Combinatorics, 9th Conference}, year = {1997}, month = {July}, address = {Vienna, Austria}, note = {Technical Report 1147--96, University of Bordeaux}, added = {1998-01-22-10-35-50} } @InProceedings{ Mosbah:92, author = {M. Mosbah}, title = {Probabilistic Graph Grammars}, editor = {E. W. Mayr}, booktitle = {Graph-Theoric Concepts in Computer Science, 18th International Workshop, Wiesbaden-Naurod, Germany}, series = {Lecture Notes in Computer Science}, number = {657}, pages = {236--247}, year = {1992}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @TechReport{ Mueller:96, author = {M{\"u}ller, J.}, title = {On Termination of Single-Pushout Graph Rewriting}, number = {96-38}, year = {1996}, institution = {TU Berlin}, type = {Technical Report}, added = {1998-01-22-10-35-50} } @PhDThesis{ Munz:76, author = {R. Munz}, title = {Das Web-Modell}, year = {1976}, school = {Stuttgart}, added = {1996-03-13-10-09-20} } @InProceedings{ Nagl-Engels-Gall.ea:83, author = {Manfred Nagl and Gregor Engels and Rupert Gall and Wilhelm Sch{\"a}fer}, title = {Software Specification by Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {267--287}, year = {1983}, added = {1996-03-13-10-09-20} } @Proceedings{ Nagl-Perl:83, title = {Proc.\ {WG83} intl.\ workshop on graphtheoretic concepts in c.sc.}, editor = {M. Nagl and J. Perl}, year = {1983}, publisher = {Trauner-Verlag}, address = {Linz}, added = {1996-08-02-14-49-29} } @InProceedings{ Nagl-Schuerr:91, author = {Manfred Nagl and Andy Sch{\"u}rr}, title = {A Specification Environment for Graph Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {599--609}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Nagl-Schuerr:96, author = {Nagl, Manfred and Sch{\"u}rr, Andy}, title = {Software Integration Problems and Coupling of Graph Grammar Specifications}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {155--169}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @TechReport{ Nagl:73, author = {Manfred Nagl}, title = {{Beziehungen zwischen verschiedenen Klassen von Diagramm-Sprachen}}, number = {6, 3, 72-93}, year = {1973}, institution = {Institut f{\"u}r Mathematische Maschinen und Datenverarbeitung}, address = {Erlangen}, type = {Arbeitsbericht}, added = {1996-03-13-10-09-20} } @TechReport{ Nagl:73b, author = {Manfred Nagl}, title = {{Eine Pr\"azisierung des Pfaltz/Rosenfeldschen Produktionsbegriffs bei mehrdimensionalen Grammatiken}}, number = {6a, 3, 56-71}, year = {1973}, institution = {Institut f{\"u}r Mathematische Maschinen und Datenverarbeitung}, address = {Erlangen}, type = {Arbeitsbericht}, added = {1996-03-13-10-09-20} } @PhDThesis{ Nagl:74, author = {Manfred Nagl}, title = {{Formale Sprachen von markierten Graphen}}, year = {1974}, school = {Erlangen}, added = {1996-03-13-10-09-20} } @Article{ Nagl:76, author = {Manfred Nagl}, title = {Formal Languages of Labelled Graphs}, journal = {Computing}, volume = {16}, pages = {113--137}, year = {1976}, added = {1996-03-13-10-09-20} } @InProceedings{ Nagl:79, author = {Manfred Nagl}, title = {A Tutorial and Bibliographical Survey on Graph Grammars}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {70--126}, year = {1979}, added = {1996-03-13-10-09-20} } @Book{ Nagl:79b, author = {Manfred Nagl}, title = {Graph-Grammatiken: Theorie, Anwendungen, Implementierungen}, year = {1979}, publisher = {Vieweg}, address = {Braunschweig}, added = {1996-03-13-10-09-20} } @InProceedings{ Nagl:83, author = {Manfred Nagl}, title = {Bibliography on Graph-Rewriting Systems (Graph Grammars)}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {415--448}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Nagl:87, author = {Manfred Nagl}, title = {A Software Development Environment Based on Graph Technology}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {458--478}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Nagl:87b, author = {Manfred Nagl}, title = {Set Theoretic Approaches to Graph Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {41--54}, year = {1987}, added = {1996-03-13-10-09-20} } @Proceedings{ Nagl:90, title = {Proc.\ {WG89} 15th int.\ Workshop on graphtheoretic concepts in comp.\ sci.}, editor = {M. Nagl}, series = {Lecture Notes in Computer Science}, number = {411}, year = {1990}, publisher = {Springer-Verlag}, added = {1996-08-02-14-49-29} } @Book{ Nagl:90b, author = {M. Nagl}, title = {{Softwaretechnik: Methodisches Programmieren im Gro{\ss}en}}, year = {1990}, publisher = {Springer-Verlag}, note = {(in German)}, added = {1996-08-02-14-49-29} } @Book{ Nagl:96, title = {The IPSEN Project}, editor = {M. Nagl}, series = {Lecture Notes in Computer Science}, year = {1996}, publisher = {Springer-Verlag}, note = {to appear}, added = {1996-08-02-14-49-29} } @Article{ Padawitz:82, author = {Peter Padawitz}, title = {Graph Grammars and Operational Semantics}, journal = {Theoretical Computer Science}, volume = {19}, pages = {117--141}, year = {1982}, added = {1996-03-13-10-09-20} } @TechReport{ Parikh:61, author = {Rohit J. Parikh}, title = {Language Generating Devices}, number = {60}, pages = {199--212}, year = {1961}, institution = {Research Laboratory of Electronics, M.I.T.}, type = {Quarterly Progress Report}, added = {1996-03-28-11-35-01} } @Article{ Parikh:66, author = {Rohit J. Parikh}, title = {On Context-Free Languages}, journal = {Journal of the Association for Computing Machinery}, volume = {13}, pages = {570--581}, year = {1966}, added = {1996-03-28-11-35-01} } @InProceedings{ Parisi-Presicce-Ehrig-Montanari:87, author = {Francesco {Parisi-Presicce} and Hartmut Ehrig and Ugo Montanari}, title = {Graph Rewriting with Unification and Composition}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {496--514}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Parisi-Presicce-Piersanti:95, author = {Francesco {Parisi-Presicce} and Gabriele Piersanti}, title = {Multilevel Graph Grammars}, editor = {W. {Mayr, Ernst} and Gunter Schmidt and Gottfried Tinhofer}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {903}, pages = {51--64}, year = {1995}, added = {1996-03-13-10-09-20} } @InProceedings{ Parisi-Presicce:89, author = {Francesco {Parisi-Presicce}}, title = {Modular System Design Applying Graph Grammar Techniques}, editor = {G. Ausiello and M. {Dezani-Ciancaglini} and S. Ronchi Della Rocca}, booktitle = {Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {372}, pages = {621--636}, year = {1989}, added = {1996-03-13-10-09-20} } @InProceedings{ Parisi-Presicce:90, author = {Francesco {Parisi-Presicce}}, title = {A Rule Based Approach to Modular System Design}, booktitle = {12th Int. Conf. Software Engineering}, pages = {202--211}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Parisi-Presicce:92, author = {F. Parisi-Presicce}, title = {Single vs. double pushout derivations of graphs}, editor = {E. W. Mayr}, booktitle = {Graph-theoric concepts in computer science : proceedings 18th international workshop, WG'92}, series = {LNCS}, number = {657}, pages = {248--262}, year = {1992}, publisher = {Springer Verlag}, added = {1996-04-16-07-34-15} } @InProceedings{ Parisi-Presicce:96, author = {Parisi-Presicce, Francesco}, title = {Transformations of Graph Grammars}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {428--442}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Book{ Paulisch:93, author = {Francis Newbery Paulisch}, title = {The Design of an Extendible Graph Editor}, series = {Lecture Notes in Computer Science}, number = {704}, year = {1993}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @Article{ Pavlidis:72, author = {Theodosios Pavlidis}, title = {Linear and Context-Free Graph Grammars}, journal = {Journal of the ACM}, volume = {19}, number = {1}, pages = {11--23}, year = {1972}, added = {1996-03-13-10-09-20} } @Article{ Pavlidis:72b, author = {Theodosios Pavlidis}, title = {Representation of Figures by Labeled Graphs}, journal = {Pattern Recognition}, volume = {4}, pages = {5--17}, year = {1972}, added = {1996-03-13-10-09-20} } @InProceedings{ Pavlidis:80, author = {Theodosios Pavlidis}, title = {Structural Descriptions and Graph Grammars}, editor = {S. K. Chang and K. S. Fu}, booktitle = {Pictorial Inf. Syst.}, series = {Lecture Notes in Computer Science}, volume = {80}, pages = {86--103}, year = {1980}, added = {1996-03-13-10-09-20} } @InProceedings{ Paz:91, author = {A. Paz}, title = {The Theory of Graphoids: {A} Survey}, editor = {H. Erhig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, number = {532}, pages = {610--621}, year = {1991}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @Article{ Pelecq:97, author = {L. Pelecq}, title = {Isomorphismes et automorphismes des graphes contextfr-free, {\'e}quationnels et automatiques}, journal = {Th\`ese de doctorat,universit\'e Bordeaux 1}, pages = {1--127}, year = {1997}, added = {1998-01-22-10-35-50} } @Article{ Petrov:78, author = {S. V. Petrov}, title = {Graph Grammars and Automata (Survey)}, journal = {Automation and Remote Control}, volume = {39}, pages = {1034--1050}, year = {1978}, added = {1996-03-13-10-09-20} } @InProceedings{ Pfaltz-Rosenfeld:69, author = {John L. Pfaltz and Azriel Rosenfeld}, title = {Web Grammars}, booktitle = {Int. Joint Confenence on Artificial Intelligence}, pages = {609--619}, year = {1969}, added = {1996-03-13-10-09-20} } @Article{ Pfaltz:72, author = {John L. Pfaltz}, title = {Web Grammars and Picture Description}, journal = {Computer Graphics and Image Processing}, volume = {1}, pages = {193--220}, year = {1972}, added = {1996-03-13-10-09-20} } @InProceedings{ Pfaltz:83, author = {J. L. Pfaltz}, title = {Transformation structures by convex homomorphisms}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck, Germany}, series = {Lecture Notes in Computer Sciences}, number = {153}, pages = {297--313}, year = {1983}, publisher = {Spinger-Verlag}, added = {1996-04-16-07-34-15} } @MastersThesis{ Pickartz:95, author = {Pickartz, W.}, title = {{Generierungsmechanismen f{\"u}r graphische Editoren}}, year = {1995}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @Book{ Plasmeijer-vanEekelen:93, title = {Functional Programming and Parallel Graph Rewriting}, editor = {Rinus Plasmeijer and Marko {van Eekelen}}, year = {1993}, publisher = {Addison-Wesley}, address = {Wokingham, England}, added = {1996-03-13-10-09-20} } @InProceedings{ Plump-Habel:96, ATTENTION = {newer record added: Jul 30, 1996}, author = {Detlef Plump and Annegret Habel}, title = {Graph Unification and Matching}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, year = {1996}, note = {To appear}, added = {1996-03-13-10-09-20} } @InProceedings{ Plump-Habel:96b, author = {Detlef Plump and Annegret Habel}, title = {Graph Unification and Matching}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, number = {1073}, pages = {75--88}, year = {1996}, added = {1996-07-30-13-31-20} } @InProceedings{ Plump:91, author = {Detlef Plump}, title = {Graph-Reducible Term Rewriting Systems}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {622--636}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Plump:91b, author = {Detlef Plump}, title = {Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems}, editor = {S. Kaplan and M. Okada}, booktitle = {Conditional and Typed Rewriting Systems}, series = {Lecture Notes in Computer Science}, volume = {516}, pages = {307--317}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Plump:93, author = {Detlef Plump}, title = {Collapsed Tree Rewriting: Completeness, Confluence, and Modularity}, editor = {M. Rusinowitch and J. L. R\'emy}, booktitle = {Proc.\ Conditional Term Rewriting Systems}, series = {Lecture Notes in Computer Science}, volume = {656}, pages = {97--112}, year = {1993}, added = {1996-03-13-10-09-20} } @PhDThesis{ Plump:93b, author = {Detlef Plump}, title = {Evaluation of Functional Expressions by Hypergraph Rewriting}, year = {1993}, school = {Bremen}, added = {1996-03-13-10-09-20} } @InCollection{ Plump:93c, author = {Detlef Plump}, title = {Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence}, editor = {Ronan Sleep and Rinus Plasmeijer and Marko {van Eekelen}}, booktitle = {Term Graph Rewriting: Theory and Practice}, chapter = {15}, year = {1993}, publisher = {John Wiley}, address = {New York}, added = {1996-03-13-10-09-20} } @InProceedings{ Plump:94, author = {Detlef Plump}, title = {Critical Pairs in Term Graph Rewriting}, editor = {Igor Pr\'ivara and Branislav Rovan and Peter Ru\v{z}i\v{c}ka}, booktitle = {Mathematical Foundations of Computer Science 1994}, series = {Lecture Notes in Computer Science}, volume = {841}, pages = {556--566}, year = {1994}, added = {1996-03-13-10-09-20} } @InProceedings{ Plump:95, author = {Detlef Plump}, title = {On Termination of Graph Rewriting}, editor = {Manfred Nagl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {1017}, pages = {88--100}, year = {1995}, added = {1996-03-13-10-09-20} } @InProceedings{ Plump:97, author = {Plump, Detlef}, title = {Simplification Orders for Term Graph Rewriting}, editor = {Pr\'{\i}vara, I. and Ru\v{z}i\v{c}ka, P.}, booktitle = {Proc.\ Mathematical Foundations of Computer Science 1997}, series = {Lecture Notes in Computer Science}, volume = {1295}, pages = {458--467}, year = {1997}, added = {1997-09-01-16-46-57} } @TechReport{ Plump:97b, author = {Detlef Plump}, title = {Termination of Graph Rewriting is Undecidable}, number = {7/97}, year = {1997}, institution = {Universit\"at Bremen, Fachbereich Mathematik und Informatik}, type = {Informatik-Bericht}, added = {1998-01-05-18-25-23} } @MastersThesis{ Poensgen:95, author = {Poensgen, A.}, title = {{Generierung eigenst{\"a}ndiger Anwendungen aus PROGRES}}, year = {1995}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @Article{ Pratt:71, author = {Terrence W. Pratt}, title = {Pair Grammars, Graph Languages and String-to-Graph Translations}, journal = {Journal of Computer and System Sciences}, volume = {5}, pages = {560--595}, year = {1971}, added = {1996-03-13-10-09-20} } @InProceedings{ Pratt:79, author = {Terrence W. Pratt}, title = {Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {389--400}, year = {1979}, added = {1996-03-13-10-09-20} } @InProceedings{ Prusinkiewicz-Kari:96, author = {Prusinkiewicz, Przemyslaw and Kari, Lila}, title = {Subapical Bracketed {L}-Systems}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {550--564}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Prusinkiewicz:87, author = {Przemyslaw Prusinkiewicz}, title = {Applications of {L}-Systems to Computer Imagery}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {534--548}, year = {1987}, added = {1996-03-13-10-09-20} } @TechReport{ RBloem-JEngelfriet:97, author = {R.~Bloem and J.~Engelfriet}, title = {Characterization of properties and relations defined in monadic second order logic on the nodes of trees}, number = {97--03}, year = {1997}, month = aug, institution = {Leiden University}, address = {}, type = {Tech.Report}, added = {1998-01-22-10-35-50} } @InProceedings{ RBloem-JEngelfriet:97b, author = {R.~Bloem and J.~Engelfriet}, title = {Monadic second order logic and node relations on graphs and trees}, editor = {J.~Mycielski and G.~Rozenberg and A.~Salomaa}, booktitle = {Structures in Logic and Computer Science}, series = {Lecture Notes in Computer Science}, volume = {1261}, pages = {144--161}, year = {1997}, publisher = {Springer-Verlag}, added = {1998-01-22-10-35-50} } @InProceedings{ Rabin:64, author = {M. O. Rabin}, title = {A Simple Method of Undecidability Proofs and Some Applications}, booktitle = {Log. Meth. Phil. Sci. Proc.}, pages = {58--68}, year = {1964}, address = {Jerusalem}, added = {1996-03-13-10-09-20} } @Article{ Rabin:69, author = {M. O. Rabin}, title = {Decidability of Second-Order Theories and Automata on Infitite Trees}, journal = {Trans. of Amer. Math. Soc.}, volume = {141}, pages = {1--35}, year = {1969}, added = {1996-03-13-10-09-20} } @Article{ Rajlich:75, author = {V. Rajlich}, title = {Dynamics of Discrete Systems and Pattern Reproduction}, journal = {Journal of Computer and System Sciences}, volume = {11}, pages = {186--202}, year = {1975}, added = {1996-03-13-10-09-20} } @InProceedings{ Rao:95, author = {M. R. K. Krishna Rao}, title = {Graph Reducibility of Term Rewriting Systems}, booktitle = {Mathematical Foundations of Computer Science}, series = {Lecture Notes in Computer Science}, year = {1995}, note = {To appear}, added = {1996-03-13-10-09-20} } @InProceedings{ Raoult-Voisin:94, author = {Jean-Claude Raoult and Fr\'ed\'eric Voisin}, title = {Set-Theoretic Graph Rewriting}, editor = {Hans J{\"u}rgen Schneider and Hartmut Ehrig}, booktitle = {Graph Transformations in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {312--325}, year = {1994}, added = {1996-03-13-10-09-20} } @Article{ Raoult:84, author = {Jean-Claude Raoult}, title = {On Graph Rewritings}, journal = {Theoretical Computer Science}, volume = {32}, pages = {1--24}, year = {1984}, added = {1996-03-13-10-09-20} } @TechReport{ Rekers-Schuerr:95, author = {J. Rekers and A. Sch{\"u}rr}, title = {A parsing algorithm for context sensitive graph grammars}, number = {95-05}, year = {1995}, institution = {Rijksuniversiteit te Leiden}, added = {1996-08-02-14-49-29} } @Unpublished{ Robertson-Seymour, author = {N. Robertson and P. D. Seymour}, title = {Graph Minors {XVI}, Wagner's Conjecture}, note = {To appear}, added = {1996-03-13-10-09-20} } @Article{ Robertson-Seymour:83, author = {N. Robertson and P. D. Seymour}, title = {Graph Minors {I}, Excluding a Forest}, journal = {Journ. Combinatorial Theory Ser. B}, volume = {35}, pages = {39--61}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Robertson-Seymour:86, author = {N. Robertson and P. D. Seymour}, title = {Graph Minors {II}, Algorithmic Aspects of Tree Width}, journal = {Journal of Algorithms}, volume = {7}, pages = {309--322}, year = {1986}, added = {1996-03-13-10-09-20} } @Article{ Robertson-Seymour:86b, author = {N. Robertson and P. D. Seymour}, title = {Graph Minors {V}, Excluding a Planar Graph}, journal = {Journ. Combinatorial Theory Ser. B}, volume = {41}, pages = {92--114}, year = {1986}, added = {1996-03-13-10-09-20} } @Unpublished{ Robertson-Seymour:90, author = {N. Robertson and P. D. Seymour}, title = {Graph Minors {XIII}. {T}he Disjoint Paths Problem}, year = {1990}, note = {To appear}, added = {1996-03-28-11-35-01} } @Article{ Rose:70, author = {Donald J. Rose}, title = {Triangulated Graphs and the Elimination Process}, journal = {Journal of Mathematical Analysis and Applications}, volume = {33}, pages = {597--609}, year = {1970}, added = {1996-03-13-10-09-20} } @Article{ Rose:74, author = {Donald J. Rose}, title = {On Simple Characterizations of $k$-Trees}, journal = {Discrete Mathematics}, volume = {7}, pages = {317--322}, year = {1974}, added = {1996-03-13-10-09-20} } @Article{ Rosen:73, author = {Barry K. Rosen}, title = {Tree-Manipulating Systems and {Church-Rosser} Theorems}, journal = {Journal of the ACM}, volume = {20}, pages = {160--187}, year = {1973}, added = {1996-03-13-10-09-20} } @Article{ Rosen:75, author = {Barry K. Rosen}, title = {A {Church-Rosser} Theorem for Graph Grammars}, journal = {Sigact News}, volume = {7}, number = {3}, pages = {26--31}, year = {1975}, added = {1996-03-13-10-09-20} } @Article{ Rosen:75b, author = {Barry K. Rosen}, title = {Deriving Graphs from Graphs by Applying a Production}, journal = {Acta Informatica}, volume = {4}, pages = {337--357}, year = {1975}, added = {1996-03-13-10-09-20} } @Article{ Rosenfeld-Milgram:72, author = {Azriel Rosenfeld and D. Milgram}, title = {Web Automata and Web Grammars}, journal = {Machine Intelligence}, volume = {7}, pages = {307--324}, year = {1972}, added = {1996-03-13-10-09-20} } @Article{ Rosenfeld:71, author = {Azriel Rosenfeld}, title = {Isotonic Grammars, Parallel Grammars, and Picture Grammars}, journal = {Machine Intelligence}, volume = {6}, pages = {281--294}, year = {1971}, added = {1996-03-13-10-09-20} } @InCollection{ Rosenfeld:76, author = {Azriel Rosenfeld}, title = {Array and Web Languages: An Overwiew}, editor = {A. Lindenmayer and G. Rozenberg}, booktitle = {Automata, Languages, Development}, pages = {517--529}, year = {1976}, publisher = {North Holland}, address = {Amsterdam}, added = {1996-03-13-10-09-20} } @InProceedings{ Rosenfeld:87, author = {Azriel Rosenfeld}, title = {Array Grammars}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {67--70}, year = {1987}, added = {1996-03-13-10-09-20} } @Proceedings{ Rozenberg-Salomaa:86, title = {The Book of {L}}, editor = {Grzegorz Rozenberg and Arto Salomaa}, year = {1986}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @Article{ Rozenberg-Welzl:86, author = {Grzegorz Rozenberg and Emo Welzl}, title = {Boundary {NLC} Graph Grammars---Basic Definitions, Normal Forms, and Complexity}, journal = {Information and Control}, volume = {69}, pages = {136--167}, year = {1986}, added = {1996-03-13-10-09-20} } @Article{ Rozenberg-Welzl:86b, author = {Grzegorz Rozenberg and Emo Welzl}, title = {Graph Theoretic Closure Properties of the Family of Boundary {NLC} Graph Languages}, journal = {Acta Informatica}, volume = {23}, pages = {289--309}, year = {1986}, added = {1996-03-13-10-09-20} } @Article{ Rozenberg-Welzl:87, author = {Grzegorz Rozenberg and Emo Welzl}, title = {Combinatorial Properties of Boundary {NLC} Graph Languages}, journal = {Discrete Applied Mathematics}, volume = {16}, pages = {59--73}, year = {1987}, added = {1996-03-13-10-09-20} } @InProceedings{ Rozenberg:87, author = {Grzegorz Rozenberg}, title = {An Introduction to the {NLC} Way of Rewriting Graphs}, editor = {H. Ehrig and M. Nagl and G. Rozenberg and A. Rosenfeld}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {55--66}, year = {1987}, added = {1996-03-13-10-09-20} } @Book{ Rozenberg:96, title = {Special issue on graph transformation systems}, editor = {Grzegorz Rozenberg}, series = {Fundamanta Informaticae}, volume = {XXVII}, number = {1/2}, year = {1996}, publisher = {IOS Press}, added = {1996-08-02-14-49-29} } @Book{ Rozenberg:97, title = {Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ {I}: Foundations}, editor = {Rozenberg, Grzegorz}, year = {1997}, publisher = {World Scientific}, added = {1997-03-18-10-42-26} } @Book{ Salomaa:73, author = {A. Salomaa}, title = {Formal Languages}, year = {1973}, publisher = {Academic Press}, address = {New York}, added = {1996-03-28-11-35-01} } @InProceedings{ Sanfeliu-Fu:83, author = {A. Sanfeliu and K. S. Fu}, title = {Tree Graph Grammars for Pattern Recognition}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {349--368}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Saxe:80, author = {J. Saxe}, title = {Dynamic Programming Algorithms for Recognizing Small-Band\-width Graphs in Polynomial Time}, journal = {SIAM Journ. Algebraic Discrete Methods}, volume = {1}, pages = {363--369}, year = {1980}, added = {1996-03-13-10-09-20} } @TechReport{ Schied:92, author = {G. Schied}, title = {{{\"U}ber Graphgrammatiken: eine Spezifikationsmethode f{\"u}r Programmiersprachen und verteilte Regelsysteme}}, number = {25-2}, year = {1992}, institution = {IMMD, Universit{\"a}t Erlangen}, note = {Doctoral dissertation}, added = {1996-08-02-14-49-29} } @Article{ Schmeck:83, author = {H. Schmeck}, title = {Algebraic Characterization of Reducible Flowcharts}, journal = {Journal of Computer and System Sciences}, volume = {27}, pages = {165--199}, year = {1983}, added = {1996-03-13-10-09-20} } @InCollection{ Schmeck:83b, author = {H. Schmeck}, title = {Flow Graph Grammars and Flow Graph Languages}, editor = {M. Nagl and J. Perl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, pages = {319--329}, year = {1983}, publisher = {Trauner Verlag}, address = {Linz}, added = {1996-03-13-10-09-20} } @Book{ Schmidt-Berghammer:91, title = {Proc.\ Int.\ workshop on graphtheoretic concepts in computer science}, editor = {G. Schmidt and R. Berghammer}, series = {Lecture Notes in Computer Science}, volume = {570}, year = {1991}, publisher = {Springer-Verlag}, added = {1996-08-02-14-49-29} } @Article{ Schneider-Ehrig:76, author = {Hans J{\"u}rgen Schneider and Hartmut Ehrig}, title = {Grammars on Partial Graphs}, journal = {Acta Informatica}, volume = {6}, pages = {297--316}, year = {1976}, added = {1996-03-13-10-09-20} } @Proceedings{ Schneider-Ehrig:94, title = {Graph Transformations in Computer Science}, editor = {Hans J{\"u}rgen Schneider and Hartmut Ehrig}, series = {Lecture Notes in Computer Science}, volume = {776}, year = {1994}, added = {1996-03-13-10-09-20} } @TechReport{ Schneider:70, author = {Hans J{\"u}rgen Schneider}, title = {{Chomsky-Systeme f\"ur partielle Ordnungen}}, number = {3,3}, year = {1970}, institution = {Institut f{\"u}r Mathematische Maschinen und Datenverarbeitung}, address = {Erlangen}, type = {Arbeitsbericht}, added = {1996-03-13-10-09-20} } @TechReport{ Schneider:71, author = {Hans J{\"u}rgen Schneider}, title = {Formal Systems for Structure Manipulations}, number = {3/1/71}, year = {1971}, institution = {Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Schneider:75, author = {Hans J{\"u}rgen Schneider}, title = {Syntax-Directed Description of Incremental Compilers}, editor = {D. Siefkes}, booktitle = {GI --- 4. Jahrestagung}, series = {Lecture Notes in Computer Science}, volume = {26}, pages = {192--201}, year = {1975}, added = {1996-03-13-10-09-20} } @InProceedings{ Schneider:77, author = {Hans J{\"u}rgen Schneider}, title = {Graph Grammars}, editor = {M. Karpi\'nski}, booktitle = {Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {56}, pages = {314--331}, year = {1977}, added = {1996-03-13-10-09-20} } @InProceedings{ Schneider:90, author = {Hans J{\"u}rgen Schneider}, title = {Describing Distributed Systems by Categorical Graph Grammars}, editor = {M. Nagl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {411}, pages = {121--135}, year = {1990}, added = {1996-03-13-10-09-20} } @Article{ Schneider:93, author = {Hans J{\"u}rgen Schneider}, title = {On Categorical Graph Grammars: Integrating Structural Transformations and Operations on Labels}, journal = {Theoretical Computer Science}, volume = {109}, pages = {257--274}, year = {1993}, added = {1996-03-13-10-09-20} } @InProceedings{ Schnitzler:80, author = {M. Schnitzler}, title = {Graph grammars and the complexity gap in the isomorphism problem for acyclic digraphs}, editor = {H.. Noltemeier}, booktitle = {Graphtheoric Concepts in Computer Science, Proceedings of the International Workshop WG'80}, series = {Lecture Notes in Computer Science}, number = {100}, pages = {137--149}, year = {1980}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @InProceedings{ Schnitzler:83, author = {M. Schnitzler}, title = {The Isomorphism Problem is Polynomially Solvable for Certain Graph Languages}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {369--379}, year = {1983}, added = {1996-03-13-10-09-20} } @Manual{ Schuerr, author = {A. Sch{\"u}rr}, title = {A {G}uided {T}our through the {PROGRES} {E}nvironnement}, organization = {{RWTH} Aachen}, address = {D-52056 Aachen, Germany}, added = {1996-04-16-07-34-15} } @InProceedings{ Schuerr:90, author = {Andy Sch{\"u}rr}, title = {Introduction to {PROGRES}, an Attribute Graph Grammar Based Specification Language}, editor = {M. Nagl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {411}, pages = {151--165}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Schuerr:91, author = {Andy Sch{\"u}rr}, title = {{IPSEN}-Environment: An Integrated and {I}ncremental {P}roject {S}upport {EN}vironment}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {66}, year = {1991}, added = {1996-03-13-10-09-20} } @Book{ Schuerr:91b, author = {Andy Sch{\"u}rr}, title = {Operationales Spezifizieren mit programmierten Graphersetzungssystemen: formale Definitionen Anwendungsbeispiele und Werkzeugunterst{\"u}tzung}, year = {1991}, publisher = {Deutscher Universit{\"a}ts-Verlag}, address = {Wiesbaden}, added = {1996-03-13-10-09-20} } @InProceedings{ Schuerr:91c, author = {Andy Sch{\"u}rr}, title = {{PROGRES}: {A} {VHL}-Language Based on Graph Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {641--659}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Schuerr:91d, author = {Andy Sch{\"u}rr}, title = {{PROGRES}-Editor: {A} Text-Oriented Hybrid Editor for {PRO}grammed {G}raph {RE}writing {S}y{St}ems}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {67}, year = {1991}, added = {1996-03-13-10-09-20} } @PhDThesis{ Schuerr:91e, author = {A. Sch{\"u}rr}, title = {{O}perational {S}pecifications with {P}rogrammed {G}raph {R}ewriting {S}ystems}, year = {1991}, organization = {{RWTH} Aachen}, address = {D-52056 Aachen, Germany}, school = {{RWTH} Aachen}, added = {1996-04-16-07-34-15} } @Book{ Schuerr:91f, author = {A. Sch{\"u}rr}, title = {{Operationales Spezifizieren mit programmierten Graphersetzungssystemen: formale Definitionen, Anwendungen und Werkzeuge}}, year = {1991}, publisher = {Deutscher Universit{\"a}tsverlag}, note = {Dissertation, RWTH Aachen}, added = {1996-08-02-14-49-29} } @InProceedings{ Schuerr:94, ATTENTION = {newer record added: Aug 02, 1996}, author = {Andy Sch{\"u}rr}, title = {Rapid Programming with Graph Rewrite Rules}, series = {USENIX Symp. Very High Level Languages (VHLL),Santa Fee, New Mexico}, pages = {83--100}, year = {1994}, added = {1996-03-13-10-09-20} } @Article{ Schuerr:94b, author = {A. Sch{\"u}rr}, title = {A fixpoint semantics for programmed graph transformations}, editor = {Valente Feruglio et al.}, booktitle = {Proc. Colloq. on graph transformations and its applic. in comp.\ sci.}, journal = {Tech. report B-14}, year = {1994}, publisher = {Universitat de les Illes Balears}, added = {1996-08-02-14-49-29} } @TechReport{ Schuerr:94c, author = {A. Sch{\"u}rr}, title = {{PROGRES}, a visual language and environment for programming with graph rewrite systems}, number = {AIB 94-11}, year = {1994}, publisher = {RWTH Aachen}, added = {1996-08-02-14-49-29} } @InProceedings{ Schuerr:94d, author = {A. Sch{\"u}rr}, title = {Rapid Programming with Graph Rewrite Rules}, booktitle = {USENIX Symposium on Very High Level Languages}, pages = {83--100}, year = {1994}, publisher = {USENIX Association}, added = {1996-08-02-14-49-29} } @Article{ Schuerr:94e, author = {A. Sch{\"u}rr}, title = {Specification of graph translators with triple graph grammars}, editor = {G. Tinhofer}, booktitle = {Proc. {WG94} int.workshop on graph theoretic concepts in comp.\ sci.}, series = {Lecture Notes in Computer Science}, number = {903}, pages = {151--163}, year = {1994}, publisher = {Springer-Verlag}, address = {Herrsching}, added = {1996-08-02-14-49-29} } @Article{ Schuerr:95, author = {A. Sch{\"u}rr}, title = {Logic Based Programmed Structure Rewriting Systems}, journal = {Fundamentae Informaticae, Special Issue on Graph Transformation Systems}, year = {1995}, note = {to appear}, added = {1996-08-02-14-49-29} } @Article{ Schuerr:96, author = {Andy Sch{\"u}rr}, title = {Logic Based Programmed Structure Rewriting Systems}, journal = {Fundamenta Informaticae}, volume = {XXVII}, year = {1996}, note = {To appear}, added = {1996-03-13-10-09-20} } @InProceedings{ Schuerr:96b, ATTENTION = {newer record added: Jul 30, 1996}, author = {Andy Sch{\"u}rr}, title = {Programmed Graph Transformations and Graph Transformation Units in {GRACE}}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, year = {1996}, note = {To appear}, added = {1996-03-13-10-09-20} } @InProceedings{ Schuerr:96c, author = {Sch{\"u}rr, Andy}, title = {Programmed Graph Transformations and Graph Transformation Units in {GRACE}}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {122--136}, year = {1996}, publisher = {Springer}, added = {1996-07-30-13-31-20} } @InCollection{ Schuerr:97, author = {Sch\"urr, Andy}, title = {Programmed Graph Replacement Systems}, editor = {Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ {I}: Foundations}, chapter = {7}, pages = {479--546}, year = {1997}, publisher = {World Scientific}, added = {1997-03-17-16-11-19} } @Manual{ Schuerrb, author = {A. {S}ch{\"u}rr}, title = {{PROGRES} for {B}eginners}, organization = {{RWTH} Aachen}, address = {D-52056 Aachen, Germany}, added = {1996-04-16-07-34-15} } @Book{ Schuette:87, author = {A. Sch{\"u}tte}, title = {Spezifikation und Generierung von {\"U}bersetzern f{\"u}r Graph-Sprachen durch attributierte Graph-Grammatiken, Ph.{D}. Thesis}, year = {1987}, publisher = {Express-Edition}, address = {Berlin}, added = {1996-03-13-10-09-20} } @Book{ Schuette:87b, author = {A. Sch{\"u}tte}, title = {{Spezifikation und Generierung von {\"U}bersetzern f{\"u}r Graphsprachen durch attributierte Grammatiken}}, year = {1987}, publisher = {Express Edition}, note = {Dissertation, EWH Koblenz}, added = {1996-08-02-14-49-29} } @PhDThesis{ Schuster:87, author = {R{\"u}diger Schuster}, title = {{Graphgrammatiken und Grapheinbettung --- Algorithmen und Komplexit\"at}}, year = {1987}, school = {Passau}, added = {1996-03-13-10-09-20} } @InProceedings{ Schween-Taentzer:91, author = {Holger Schween and Gabriele Taentzer}, title = {Movement of Objects in Configuration Spaces Modelled by Graph Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {660--675}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Seese:, author = {Detlef Seese}, title = {The Structure of the Models of Decidable Monadic Theories of Graphs}, journal = {Preprint 1987, to appear in the Journ. of Pure and Applied Logic}, year = {??}, added = {1996-03-13-10-09-20} } @InProceedings{ Seese:85, author = {Detlef Seese}, title = {Tree-Partite Graphs and the Complexity of Algorithms}, editor = {L. Budach}, booktitle = {Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {199}, pages = {412--421}, year = {1985}, added = {1996-03-13-10-09-20} } @InProceedings{ Seidl:92, author = {Helmut Seidl}, title = {Finite Tree Automata with Cost Functions}, editor = {J.-C. Raoult}, booktitle = {CAAP 92}, series = {Lecture Notes in Computer Science}, volume = {581}, pages = {279--299}, year = {1992}, added = {1996-03-13-10-09-20} } @Article{ Seidl:92b, author = {Helmut Seidl}, title = {Single-Valuedness of Tree Transducers is Decidable in Polynomial Time}, journal = {Theoretical Computer Science}, volume = {106}, pages = {135--181}, year = {1992}, added = {1996-03-13-10-09-20} } @Article{ Seidl:94, author = {Helmut Seidl}, title = {Equivalence of Finite-Valued Tree Transducers Is Decidable}, journal = {Mathematical Systems Theory}, volume = {27}, pages = {285--346}, year = {1994}, added = {1996-03-13-10-09-20} } @Article{ Seidl:94b, author = {Helmut Seidl}, title = {Finite Tree Automata with Cost Functions}, journal = {Theoretical Computer Science}, volume = {126}, pages = {113--142}, year = {1994}, added = {1996-03-13-10-09-20} } @InProceedings{ Seidl:94c, author = {Helmut Seidl}, title = {Least Solutions of Equations over ${\cal N}$}, editor = {Serge Abiteboul and Eli Shamir}, booktitle = {Automata, Languages and Programming}, series = {Lecture Notes in Computer Science}, volume = {820}, pages = {400--411}, year = {1994}, added = {1996-03-13-10-09-20} } @Article{ Shaw:69, author = {A. C. Shaw}, title = {A Formal Description Schema as a Basis for Picture Processing Systems}, journal = {Information and Control}, volume = {14}, pages = {9--52}, year = {1969}, added = {1996-03-28-11-35-01} } @InProceedings{ Sheu-Long:92, author = {M.-J. Sheu and T. J. Long}, title = {{UP} and the Low and High Heirarchies: {A} Relativized Separation}, editor = {W. Kuich}, booktitle = {Automata, Languages and Programming, 19th International Colloquium, Wien, Austria}, series = {Lecture Notes in Computer Science}, number = {623}, pages = {174--185}, year = {1992}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @Article{ Skodinis-Wanke:95, author = {Kostantin Skodinis and Wanke}, title = {Emptiness Problems of {eNCE} Graph Languages}, journal = {Journal of Computer and System Sciences}, volume = {51}, pages = {472--485}, year = {1995}, added = {1996-03-13-10-09-20} } @InProceedings{ Skodinis-Wanke:95b, author = {Kostantin Skodinis and Wanke}, title = {Exponential Time Analysis of Confluent and Boundary {eNCE} Graph Languages}, editor = {W. {Mayr, Ernst} and Gunter Schmidt and Gottfried Tinhofer}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {903}, pages = {180--192}, year = {1995}, added = {1996-03-13-10-09-20} } @InProceedings{ Skodinis-Wanke:95c, author = {Kostantin Skodinis and Wanke}, title = {The Bounded Degree Problem for Nonobstructing {eNCE} Graph Grammars}, year = {1995}, note = {Submitted for publication}, added = {1996-03-13-10-09-20} } @Article{ Skodinis-Wanke:95d, author = {Kostantin Skodinis and Wanke}, title = {The Complexity of the Bounded Degree Problem for {eNCE} Graph Grammars}, year = {1995}, note = {Submitted for publication}, added = {1996-03-13-10-09-20} } @Proceedings{ Sleep-Plasmeijer-vanEekelen:93, title = {Term Graph Rewriting. Theory and Practice}, editor = {Ronan Sleep and Rinus Plasmeijer and Marko {van Eekelen}}, year = {1993}, publisher = {John Wiley}, address = {Chichester}, added = {1996-03-13-10-09-20} } @Article{ Slisenko:82, author = {A. O. Slisenko}, title = {Context-Free Graph Grammars as a Tool for Describing Polynomial-time Subclasses of Hard Problems}, journal = {Information Processing Letters}, volume = {14}, pages = {52--56}, year = {1982}, added = {1996-03-13-10-09-20} } @MastersThesis{ Sobbe:95, author = {Sobbe, G.}, title = {{Modellierung und Generierung von Softwareentwickluingsumgebungen mit Graphgrammatiken}}, year = {1995}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @Article{ Solms:84, author = {S. H. von Solms}, title = {Node-Label Controlled Graph Grammars with Context Conditions}, journal = {Int. Journal of Computer Mathematics}, volume = {15}, pages = {39--49}, year = {1984}, added = {1996-03-13-10-09-20} } @InProceedings{ Sopena:87, author = {Eric Sopena}, title = {Combinatorial Hypermap Rewriting}, editor = {P. Lescanne}, booktitle = {Rewriting Techniques and Applications}, series = {Lecture Notes in Computer Science}, volume = {256}, pages = {62--73}, year = {1987}, note = {To appear in Theoretical Computer Science}, added = {1996-03-13-10-09-20} } @InProceedings{ Sowa:79, author = {J. F. Sowa}, title = {Definitional Mechanisms for Conceptual Graphs}, editor = {V. Claus and H. Ehrig and G. Rozenberg}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {426--439}, year = {1979}, added = {1996-03-13-10-09-20} } @Book{ Sowa:84, author = {J. F. Sowa}, title = {Conceptual Structures: Information Processing in Minds and Machines}, year = {1984}, publisher = {Addison-Wesley}, address = {Reading, Mass.}, added = {1996-03-13-10-09-20} } @InCollection{ Sowa:87, author = {J. F. Sowa}, title = {Semantic Networks}, editor = {S. C. Shapiro}, booktitle = {Encyclopedia of Artificial Intelligence 2}, year = {1987}, publisher = {John Wiley \& Sons}, address = {New York}, added = {1996-03-13-10-09-20} } @MastersThesis{ Speulmanns:95, author = {Speulmanns, A.}, title = {{Visuelles Programmieren mit Graphersetzungsregeln}}, year = {1995}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07}, subtitle = {Integration neuer Konzepte in PROGRES} } @MastersThesis{ Spielmann:89, author = {Spielmann, R.}, title = {{Entwicklung einer Basisschicht zur Graphgrammatikinterpretation}}, year = {1989}, address = {RWTH Aachen}, type = {Diplomarbeit}, school = {Lehrstuhl f{\"u}r Informatik III}, added = {1996-11-28-18-33-07} } @Article{ Staples:80, author = {J. Staples}, title = {Computation on Graph-Like Expressions}, journal = {Theoretical Computer Science}, volume = {10}, pages = {171--185}, year = {1980}, added = {1996-03-13-10-09-20} } @Article{ Staples:80b, author = {J. Staples}, title = {Optimal Evaluations of Graph-Like Expressions}, journal = {Theoretical Computer Science}, volume = {10}, pages = {297--316}, year = {1980}, added = {1996-03-13-10-09-20} } @Article{ Staples:80c, author = {J. Staples}, title = {Speeding up Subtree Replacement Systems}, journal = {Theoretical Computer Science}, volume = {11}, pages = {39--47}, year = {1980}, added = {1996-03-13-10-09-20} } @InProceedings{ Staples:83, author = {J. Staples}, title = {Two-level expression represntation for faster evaluation}, editor = {H. Ehrig and M. Nagl and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck, Germany}, series = {Lecture Notes in Computer Sciences}, number = {153}, pages = {392--404}, year = {1983}, publisher = {Spinger-Verlag}, added = {1996-04-16-07-34-15} } @Article{ Syslo:79, author = {Maciej M. Syslo}, title = {Characterization of Outerplanar Graphs}, journal = {Discrete Mathematics}, volume = {26}, pages = {47--53}, year = {1979}, added = {1996-03-13-10-09-20} } @Article{ Syslo:82, author = {Maciej M. Syslo}, title = {The Subgraph Isomorphism Problem for Outerplanar Graphs}, journal = {Theoretical Computer Science}, volume = {17}, pages = {91--97}, year = {1982}, added = {1996-03-13-10-09-20} } @InCollection{ Syslo:83, author = {Maciej M. Syslo}, title = {{NP}-Complete Problems on Some Tree-Structured Graphs: {A} Review}, editor = {M. Nagl and J. Perl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, pages = {342--353}, year = {1983}, publisher = {Trauner Verlag}, address = {Linz}, added = {1996-03-13-10-09-20} } @InProceedings{ Taentzer-Beyer:94, author = {Gabriele Taentzer and Martin Beyer}, title = {Amalgamated Graph Transformations and Their Use for Specifying {AGG} --- an Algebraic Graph Grammar System}, editor = {Hans J{\"u}rgen Schneider and Hartmut Ehrig}, booktitle = {Graph Transformations in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {380--394}, year = {1994}, added = {1996-03-13-10-09-20} } @Article{ Taentzer:95, author = {Gabriele Taentzer}, title = {Parallel High-Level Replacement Systems}, journal = {Theoretical Computer Science}, year = {1995}, note = {To appear}, added = {1996-03-13-10-09-20} } @Article{ Taentzer:96, author = {Gabriele Taentzer}, title = {Towards Synchronous and Asynchronous Graph Transformations}, journal = {Fundamenta Informaticae}, year = {1996}, note = {To appear}, added = {1996-03-13-10-09-20} } @InProceedings{ Taentzer:96b, author = {Taentzer, Gabriele}, title = {Hierarchically Distributed Graph Transformations}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {304--320}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @PhDThesis{ Taentzer:96c, author = {Taentzer, G.}, title = {Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems}, year = {1996}, school = {TU Berlin}, note = {Shaker Verlag}, added = {1998-01-22-10-35-50}, creatorofitem = {gabi-960925} } @Article{ Taentzer:97, author = {Taentzer, G.}, title = {Distributed Graphs and Graph Transformation}, journal = {Applied categorical Structures}, year = {1997}, note = {Submitted}, added = {1998-01-22-10-35-50}, creatorofitem = {gabi-970122} } @Article{ Takamizawa-Nishizeki-Saito:82, author = {K. Takamizawa and T. Nishizeki and N. Saito}, title = {Linear-Time Computability Problems on Series-Parallel Graphs}, journal = {Journal of the ACM}, volume = {29}, number = {3}, pages = {623--641}, year = {1982}, added = {1996-03-13-10-09-20} } @TechReport{ Taubenberger:94, author = {Stefan Taubenberger}, title = {Correct Translations of Generalized Iterated Function Systems to Collage Grammars}, number = {7/94}, year = {1994}, institution = {Bremen}, type = {Technical Report}, added = {1996-03-13-10-09-20} } @Article{ Turan:83, author = {G. Tur\'an}, title = {On the Complexity of Graph Grammars}, journal = {Acta Cybern.}, volume = {6}, pages = {271--281}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Uesu:78, author = {Tadahiro Uesu}, title = {A System of Graph Grammars which Generates all Recursively Enumerable Sets of Labelled Graphs}, journal = {Tsukuba J. Math.}, volume = {2}, pages = {11--26}, year = {1978}, added = {1996-03-13-10-09-20} } @Article{ Van-Hentenrynck:89, author = {Van Hentenrynck, P.}, title = {Constraint satisfaction in logic programming}, year = {1989}, publisher = {MIT press}, added = {1996-08-02-14-49-29} } @Article{ Vere:77, author = {S. A. Vere}, title = {Relational Production Systems}, journal = {Artificial Intelligence}, volume = {8}, pages = {47--68}, year = {1977}, added = {1996-03-13-10-09-20} } @InProceedings{ Vogler:90, author = {Walter Vogler}, title = {On Hyperedge Replacement and {BNLC} Graph Grammars}, editor = {M. Nagl}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {411}, pages = {78--93}, year = {1990}, added = {1996-03-13-10-09-20} } @InProceedings{ Vogler:91, author = {Walter Vogler}, title = {Recognizing Edge Replacement Graph Languages in Cubic Time}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Proc. Fourth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {676--687}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Vogler:93, author = {Walter Vogler}, title = {On Hyperedge Replacement and {BNLC} Graph Grammars}, journal = {Discrete Applied Mathematics}, volume = {46}, pages = {253--273}, year = {1993}, added = {1996-03-13-10-09-20} } @Article{ Wald-Colbourn:83, author = {J. Wald and C. Colbourn}, title = {Steiner Trees, Partial 2-Trees, and Minimum {IFI} Networks}, journal = {Networks}, volume = {13}, pages = {159--167}, year = {1983}, added = {1996-03-13-10-09-20} } @InProceedings{ Wanke-Skodinis:96, author = {Wanke, Egon and Skodinis, Kostantin}, title = {The Bounded Degree Problem for Non-Obstructing {eNCE} Graph Grammars}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {211--224}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Article{ Wanke-Wiegers:89, author = {Egon Wanke and Manfred Wiegers}, title = {Undecidability of the Bandwidth Problem on Linear Graph Languages}, journal = {Information Processing Letters}, volume = {33}, pages = {193--197}, year = {1989}, added = {1996-03-13-10-09-20} } @InProceedings{ Wanke:88, author = {Egon Wanke}, title = {{PLEXUS}: {A} System for Implementing Hierarchical Graph Algorithms}, editor = {R. Cori and M. Wirsing}, booktitle = {STACS'88}, series = {Lecture Notes in Computer Science}, volume = {294}, pages = {403--404}, year = {1988}, added = {1996-03-13-10-09-20} } @PhDThesis{ Wanke:89, author = {Egon Wanke}, title = {Algorithmen und Komplexit{\"a}tsanalyse f{\"u}r die Verarbeitung hierarchisch definierter Graphen und hierarchisch definierter Graphfamilien}, year = {1989}, school = {Paderborn}, added = {1996-03-13-10-09-20} } @Article{ Wanke:91, author = {Egon Wanke}, title = {Algorithms for Graph Problems on {BNLC} Structured Graphs}, journal = {Information and Computation}, volume = {94}, pages = {93--122}, year = {1991}, added = {1996-03-13-10-09-20} } @InProceedings{ Wanke:91b, author = {Egon Wanke}, title = {On the Decidability of Integer Subgraph Problems on Context-Free Graph Languages}, editor = {L. Budach}, booktitle = {Proc.\ Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {529}, pages = {415--426}, year = {1991}, publisher = {Springer}, added = {1996-03-13-10-09-20} } @InProceedings{ Wanke:91c, author = {Egon Wanke}, title = {{PLEXUS}: Tools for Analyzing Graph Grammars}, editor = {H. Ehrig and H.-J. Kreowski and G. Rozenberg}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {68--69}, year = {1991}, added = {1996-03-13-10-09-20} } @Article{ Wanke:94, author = {Egon Wanke}, title = {On the Decidability of Certain Integer Subgraph Problems on Context-Free Graph Languages}, journal = {Information and Computation}, volume = {113}, pages = {26--49}, year = {1994}, added = {1996-03-13-10-09-20} } @Article{ Wanke:94b, author = {Egon Wanke}, title = {The Complexity of Connectivity Problems on Context-Free Graph Languages}, journal = {Journal of Computer and System Sciences}, volume = {49}, pages = {57--82}, year = {1994}, added = {1996-03-13-10-09-20} } @PhDThesis{ Wankmueller:82, author = {Frank Wankm{\"u}ller}, title = {Charakterisierung von Graphklassen durch verbotene Strukturen und Reduktionen}, year = {1982}, school = {Dortmund}, added = {1996-03-13-10-09-20} } @Article{ Wankmueller:83, author = {Frank Wankm{\"u}ller}, title = {Characterization of Graph Classes by Forbidden Structures and Reductions}, journal = {Lecture Notes in Computer Science}, volume = {153}, pages = {405--414}, year = {1983}, added = {1996-03-13-10-09-20} } @Article{ Wankmueller:87, author = {Frank Wankm{\"u}ller}, title = {Applications of Graph Grammars in Music Composing Systems}, journal = {Lecture Notes in Computer Science}, volume = {291}, pages = {580--592}, year = {1987}, added = {1996-03-13-10-09-20} } @InCollection{ Welzl:86, author = {Emo Welzl}, title = {On the Set of all Subgraphs of the Graphs in a Boundary {NLC} Graph Language}, editor = {G. Rozenberg and A. Salomaa}, booktitle = {The Book of L}, pages = {445--459}, year = {1986}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @Article{ Welzl:87, author = {Emo Welzl}, title = {Boundary {NLC} and Partition Controlled Graph Grammars}, journal = {Lecture Notes in Computer Science}, volume = {291}, pages = {593--609}, year = {1987}, added = {1996-03-13-10-09-20} } @Book{ Westfechtel:91, author = {B. Westfechtel}, title = {Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung}, series = {Informatik-Fachberichte}, volume = {280}, year = {1991}, publisher = {Springer-Verlag}, address = {Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Westfechtel:94, author = {B. Westfechtel}, title = {Using Programmed Graph Rewriting for the Formal Specification of a Configuration Management System}, editor = {G. Tinhofer}, booktitle = {Proceedings WG' 94 Workshop on Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {903}, pages = {164--179}, year = {1994}, publisher = {Springer-Verlag}, added = {1996-08-02-14-49-29} } @Article{ Westfechtel:96, author = {B. Westfechtel}, title = {Integrated Product and Process Management for Engineering Design Applications}, journal = {Integrated Computer-Aided Engineering}, volume = {3}, number = {1}, year = {1996}, publisher = {Wiley}, added = {1996-08-02-14-49-29} } @Article{ Whitney:32, author = {H. Whitney}, title = {Congruent Graphs and the Connectivity of Graphs}, journal = {American Journal of Mathematics}, volume = {54}, pages = {150--168}, year = {1932}, added = {1996-03-28-11-35-01} } @TechReport{ Wilharm:81, author = {Anne Wilharm}, title = {{Anwendung der Theorie von Graphgrammatiken auf die Spezifikation der Prozess-Steuerung von Eisenbahnsystemen}}, number = {81-15}, year = {1981}, institution = {Berlin}, added = {1996-03-13-10-09-20} } @InProceedings{ Wills:96, author = {Wills, Linda Mary}, title = {Using Attributed Flow Graph Parsing to Recognize Clich{\'e}s in Programs}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {170--184}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @Manual{ Winter, author = {A. J. Winter}, title = {{G}uided {P}rototype {G}eneration}, organization = {{RWTH} Aachen}, address = {D-52056 Aachen, Germany}, added = {1996-04-16-07-34-15} } @Article{ Woods:70, author = {W. A. Woods}, title = {Transition Network Grammars for Natural Language Analysis}, journal = {Comm. ACM}, volume = {13}, number = {10}, pages = {591--606}, year = {1970}, added = {1996-03-13-10-09-20} } @Article{ Wu-Rosenfeld:79, author = {A. Wu and Azriel Rosenfeld}, title = {Cellular Graph Automata}, journal = {Lecture Notes in Computer Science}, volume = {73}, pages = {464--475}, year = {1979}, added = {1996-03-13-10-09-20} } @Article{ Wu-Rosenfeld:79b, author = {A. Wu and Azriel Rosenfeld}, title = {Cellular Graph Automata {I}}, journal = {Information and Control}, volume = {42}, pages = {305--329}, year = {1979}, added = {1996-03-13-10-09-20} } @Article{ Wu-Rosenfeld:79c, author = {A. Wu and Azriel Rosenfeld}, title = {Cellular Graph Automata {II}}, journal = {Information and Control}, volume = {42}, pages = {330--353}, year = {1979}, added = {1996-03-13-10-09-20} } @Article{ Wu-Rosenfeld:80, author = {A. Wu and Azriel Rosenfeld}, title = {Sequential and Cellular Graph Automata}, journal = {Information Sciences}, volume = {20}, pages = {57--68}, year = {1980}, added = {1996-03-13-10-09-20} } @InProceedings{ Zinssmeister-McCreary:96, author = {Zin{\ss}meister, Gaby and McCreary, Carolyn}, title = {Drawing Graphs with Attribute Graph Grammars}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {443--453}, year = {1996}, publisher = {Springer}, added = {1996-08-02-16-55-34} } @InProceedings{ Zuendorf-Schuerr:91, author = {A. Z{\"u}ndorf and A. Sch{\"u}rr}, title = {Nondeterministic Control Structures for Graph Rewriting Systems}, editor = {G. Schmidt and R. Berghammer}, booktitle = {Graph-Theoric Concepts in Computer Science, 17th International Workshop, WG'91, Fishbachau, Germany}, series = {Lecture Notes in Computer Science}, number = {643}, pages = {48--62}, year = {1991}, publisher = {Springer-Verlag}, added = {1996-04-16-07-34-15} } @TechReport{ Zuendorf-Schuerr:91b, author = {A. Z{\"u}ndorf and A. Sch{\"u}rr}, title = {Nondeterministic Control Structures for Graph Rewriting Systems}, number = {91-17}, year = {1991}, institution = {Lehrstuhl fur Informatik III, Aachen University of Technology, Germany}, added = {1996-04-16-07-34-15} } @InProceedings{ Zuendorf-Schuerr:92, ATTENTION = {newer record added: Apr 16, 1996}, author = {Albert Z{\"u}ndorf and Andy Sch{\"u}rr}, title = {Nondeterministic Control Structures for Graph Rewriting Systems}, editor = {G. Schmidt and R. Berghammer}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {570}, pages = {48--62}, year = {1992}, added = {1996-03-13-10-09-20} } @TechReport{ Zuendorf:92, author = {A. Z{\"u}ndorf}, title = {Implementation of the imperative / rule based language {PROGRES}}, number = {92-38}, year = {1992}, institution = {Department of computer science III, Aachen University of Technology, Germany}, added = {1996-04-16-07-34-15} } @TechReport{ Zuendorf:93, author = {A. Z{\"u}ndorf}, title = {A Heuristique for the Subgraph Isomorphism Problem in Executing {PROGRES}}, number = {93-05}, year = {1993}, institution = {Department of Computer Science III, Aachen University of Technology}, added = {1996-04-16-07-34-15} } @PhDThesis{ Zuendorf:95, ATTENTION = {newer record added: Nov 28, 1996}, author = {Albert Z{\"u}ndorf}, title = {{Eine Entwicklungsumgebung f\"ur PROgrammierte GRaphErsetzungsSysteme}}, year = {1995}, school = {RWTH Aachen, Germany}, added = {1996-03-13-10-09-20} } @Book{ Zuendorf:95b, ATTENTION = {newer record added: Aug 02, 1996}, author = {Albert Z{\"u}ndorf}, title = {{Eine Entwicklungsumgebung f\"ur PROgrammierte GRaphErsetzungsSysteme}}, year = {1995}, publisher = {Deutscher Universit{\"a}tsverlag}, address = {Wiesbaden}, added = {1996-03-13-10-09-20} } @InProceedings{ Zuendorf:96, ATTENTION = {newer record added: Jul 30, 1996}, author = {Albert Z{\"u}ndorf}, title = {Graph Pattern Matching in {PROGRES}}, booktitle = {Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, year = {1996}, note = {To appear}, added = {1996-03-13-10-09-20} } @InProceedings{ Zuendorf:96b, author = {Z{\"u}ndorf, Albert}, title = {Graph Pattern Matching in {PROGRES}}, editor = {J. Cuny and H. Ehrig and G. Engels and G. Rozenberg}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {454--468}, year = {1996}, publisher = {Springer}, added = {1996-07-30-13-31-20} } @Book{ Zuendorf:96c, author = {A. Z{\"u}ndorf}, title = {{Eine Entwicklungsumgebung f{\"u}r programmierte Graphersetzungssysteme}}, year = {1996}, publisher = {Deutscher Universit{\"a}tsverlag}, address = {Wiesbaden}, note = {Dissertation, RWTH Aachen}, added = {1996-08-02-14-49-29} }