


default search action
5. TAGT 1994: Williamsburg, VA, USA
- Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg:

Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers. Lecture Notes in Computer Science 1073, Springer 1996, ISBN 3-540-61228-9
1. Rewriting Techniques
- Ricardo Alberich, Peter Burmeister, Francesc Rosselló, Gabriel Valiente, Boleslaw Wojdylo:

A Partial Algebras Approach to Graph Transformation. 1-15 - Richard Banach:

The Contractum in Algebraic Graph Rewriting. 16-26 - Michel Bauderon:

A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs. 27-37 - Dorothea Blostein, Hoda Fahmy, Ann Grbavec:

Issues in the Practical Use of Graph Rewriting. 38-55 - Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg:

The Category of Typed Graph Grammars and its Adjunctions with Categories. 56-74 - Detlef Plump, Annegret Habel:

Graph Unification and Matching. 75-88
2. Specification and Semantics
- Hans-Jörg Kreowski, Sabine Kuske:

On the Interleaving Sematics of Transformation Units - A Step into GRACE. 89-106 - Andrea Maggiolo-Schettini, Adriano Peron:

A Graph Rewriting Framework for Statecharts Semantics. 107-121 - Andy Schürr:

Programmed Graph Transformations and Graph Transformation Units in GRACE. 122-136
3. Software Engineering
- Hartmut Ehrig, Gregor Engels:

Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. 137-154 - Manfred Nagl, Andy Schürr:

Software Integration Problems and Coupling of Graph Grammar Specifications. 155-169 - Linda M. Wills:

Using Attributed Flow Graph Parsing to Recognize Clichés in Programs. 170-184
4. Algorithms and Architectures
- M. D. Derk, L. S. DeBrunner:

Reconfiguration Graph Grammar for Massively Parallel, Fault Tolerant Computers. 185-195 - Frank Drewes:

The Use of Tree Transducers to Compute Translations Between Graph Algebras. 196-210 - Konstantin Skodinis, Egon Wanke:

The Bounded Degree Problem for Non-Obstructing eNCE Graph Grammars. 211-224
5. Concurrency
- Klaus Barthelmann:

Process Specification and Verification. 225-239 - Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:

An Event Structure Semantics for Graph Grammars with Parallel Productions. 240-256 - Andrea Corradini, Francesca Rossi:

Synchronized Composition of Graph Grammar Productions. 257-270 - Dirk Janssens:

The Decomposition of ESM Computations. 271-287 - Martin Korff, Leila Ribeiro:

Formal Relationship between Graph Grammars and Petri Nets. 288-303 - Gabriele Taentzer:

Hierarchically Distributed Graph Transformation. 304-320
6. Graph Languages
- Uwe Aßmann

:
On Edge Addition Rewrite Systems and their Relevance to Program Analysis. 321-335 - Franz-Josef Brandenburg, Konstantin Skodinis:

Graph Automata for Linear Graph Languages. 336-350 - Bruno Courcelle, Géraud Sénizergues:

The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed. 351-367 - Joost Engelfriet, Jan Joris Vereijken:

Concatenation of Graphs. 368-382 - Changwook Kim, Tae Eui Jeong:

HRNCE Grammars - A Hypergraph Generating System with an eNCE Way. 383-396 - Renate Klempien-Hinrichs:

Node Replacement in Hypergrahps: Simulation of Hyperedge Replacement, and Decidability of Confluence. 397-411
7. Patterns and Graphics
- Jürgen Dassow, Annegret Habel, Stefan Taubenberger:

Chain-Code Pictures and Collages Generated by Hyperedge Replacement. 412-427 - Francesco Parisi-Presicce:

Transformations of Graph Grammars. 428-442 - Gaby Zinßmeister, Carolyn McCreary:

Drawing Graphs with Attribute Graph Grammars. 443-453 - Albert Zündorf:

Graph Pattern Matching in PROGRES. 454-468
8. Structure and Logic of Graphs
- Stefan Arnborg, Andrzej Proskurowski:

A Technique for Recognizing Graphs of Bounded Treewidth with Application to Subclasses of Partial 2-Paths. 469-486 - Bruno Courcelle:

The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs. 487-501 - Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg:

Group Based Graph Transformations and Hierarchical Representations of Graphs. 502-520
9. Biology
- F. David Fracchia:

Integrating Lineage and Interaction for the Visualization of Cellular Stuctures. 521-535 - Jacqueline Lück, Hermann B. Lück:

Cellworks with Cell Rewriting and Cell Packing for Plant Morphogenesis. 536-549 - Przemyslaw Prusinkiewicz, Lila Kari:

Subapical Bracketed L-Systems. 550-564

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














