default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. 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.
last updated on 2024-11-21 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
