Theory and Application of Graph Transformations
1998
- Local Views on Distributed Systems and Their Communicationby: Ingrid Fischer, Manuel Koch, Gabriele Taentzer
- Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammarsby: Frank Drewes
- Integrity Constraints in the Multi-paradigm Language PROGRESby: Manfred Münch, Andy Schürr, Andreas J. Winter
- Refinements of Graph Transformation Systems via Rule Expressionsby: Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
- Complexity Issues in Switching of Graphsby: Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
- A Model Making Automation Process (MMAP) Using a Graph Grammar Formalismby: Curtis E. Hrischuk
- UML Packages for PROgrammed Graph REwriting Systemsby: Andy Schürr, Andreas J. Winter
- Tree Languages Generated be Context-Free Graph Grammarsby: Joost Engelfriet, Sebastian Maneth
- A Framework for NLC and ESM: Local Action Systemsby: Nico Verlinden, Dirk Janssens
- Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approachby: Hélène Jacquet, Renate Klempien-Hinrichs
- Knowledge Representation and Graph Transformationby: Stefan Schuster
- Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Informationby: Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg
- Using Graph Transformation Techniques for Integrating Information from the WWWby: Lukas Faulstich
- Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Javaby: Thorsten Fischer, Jörg Niere, Lars Torunski, Albert Zündorf
- Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systemsby: Gabriele Taentzer, Michael Goedicke, Torsten Meyer
- Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languagesby: Roswitha Bardohl, Hartmut Ehrig
- Deriving Software Performance Models from Architectural Patterns by Graph Transformationsby: Dorina C. Petriu, Xin Wang
- Neighborhood-Preserving Node Replacementsby: Konstantin Skodinis, Egon Wanke
- Unfolding of Double-Pushout Graph Grammars is a Coreflectionby: Paolo Baldan, Andrea Corradini, Ugo Montanari
- From Formulae to Rewriting Systemsby: Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
- Redundancy and Subsumption in High-Level Replacement Systemsby: Hans-Jörg Kreowski, Gabriel Valiente
- Neighborhood Expansion Grammarsby: John L. Pfaltz
- Double-Pushout Approach with Injective Matchingby: Annegret Habel, Jürgen Müller, Detlef Plump
- Pushout Complements for Arbitrary Partial Algebrasby: Mercè Llabrés, Francesc Rosselló
- More About Control Conditions for Transformation Unitsby: Sabine Kuske
- Simple Modules for GRACEby: Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske
- The Power of Local Computations in Graphs with Initial Knowledgeby: Emmanuel Godard, Yves Métivier, Anca Muscholl
- A Fully Abstract Model for Graph-Interpreted Temporal Logicby: Fabio Gadducci, Reiko Heckel, Manuel Koch
- Hypergraphs as a Uniform Diagram Representation Modelby: Mark Minas
- Incremental Development of Safety Properties in Petri Net Transformationsby: Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann
- Graph-Based Models for Managing Development Processes, Resources, and Productsby: Carl-Arndt Krapp, Sven Krüppel, Ansgar Schleicher, Bernhard Westfechtel
- A Framework for Adding Packages to Graph Transformation Approachesby: Giorgio Busatto, Gregor Engels, Katharina Mehner, Annika Wagner
- Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matchingby: Michael Rudolf
- On Edge Addition Rewrite Systems and their Relevance to Program Analysisby: Uwe Aßmann
- Programmed Graph Transformations and Graph Transformation Units in GRACEby: Andy Schürr
- A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphsby: Michel Bauderon
- Process Specification and Verificationby: Klaus Barthelmann
- The Use of Tree Transducers to Compute Translations Between Graph Algebrasby: Frank Drewes
- A Partial Algebras Approach to Graph Transformationby: Ricardo Alberich, Peter Burmeister, Francesc Rosselló, Gabriel Valiente, Boleslaw Wojdylo
- A Technique for Recognizing Graphs of Bounded Treewidth with Application to Subclasses of Partial 2-Pathsby: Stefan Arnborg, Andrzej Proskurowski
- The Decomposition of ESM Computationsby: Dirk Janssens
- HRNCE Grammars - A Hypergraph Generating System with an eNCE Wayby: Changwook Kim, Tae Eui Jeong
- Using Attributed Flow Graph Parsing to Recognize Clichés in Programsby: Linda M. Wills
- Concatenation of Graphsby: Joost Engelfriet, Jan Joris Vereijken
- Graph Automata for Linear Graph Languagesby: Franz-Josef Brandenburg, Konstantin Skodinis
- Group Based Graph Transformations and Hierarchical Representations of Graphsby: Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg
- Reconfiguration Graph Grammar for Massively Parallel, Fault Tolerant Computersby: M. D. Derk, L. S. DeBrunner
- Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systemsby: Hartmut Ehrig, Gregor Engels
- Synchronized Composition of Graph Grammar Productionsby: Andrea Corradini, Francesca Rossi
- Issues in the Practical Use of Graph Rewritingby: Dorothea Blostein, Hoda Fahmy, Ann Grbavec
- The Category of Typed Graph Grammars and its Adjunctions with Categoriesby: Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
- An Event Structure Semantics for Graph Grammars with Parallel Productionsby: Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
- The Bounded Degree Problem for Non-Obstructing eNCE Graph Grammarsby: Konstantin Skodinis, Egon Wanke
- Transformations of Graph Grammarsby: Francesco Parisi-Presicce
- On the Interleaving Sematics of Transformation Units - A Step into GRACEby: Hans-Jörg Kreowski, Sabine Kuske
- The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructedby: Bruno Courcelle, Géraud Sénizergues
- The Contractum in Algebraic Graph Rewritingby: Richard Banach
- Integrating Lineage and Interaction for the Visualization of Cellular Stucturesby: F. David Fracchia
- Hierarchically Distributed Graph Transformationby: Gabriele Taentzer
- Graph Pattern Matching in PROGRESby: Albert Zündorf
- Chain-Code Pictures and Collages Generated by Hyperedge Replacementby: Jürgen Dassow, Annegret Habel, Stefan Taubenberger
- Graph Unification and Matchingby: Detlef Plump, Annegret Habel
- A Graph Rewriting Framework for Statecharts Semanticsby: Andrea Maggiolo-Schettini, Adriano Peron
- Cellworks with Cell Rewriting and Cell Packing for Plant Morphogenesisby: Jacqueline Lück, Hermann B. Lück
- The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphsby: Bruno Courcelle
- Software Integration Problems and Coupling of Graph Grammar Specificationsby: Manfred Nagl, Andy Schürr
- Drawing Graphs with Attribute Graph Grammarsby: Gaby Zinßmeister, Carolyn McCreary
- Node Replacement in Hypergrahps: Simulation of Hyperedge Replacement, and Decidability of Confluenceby: Renate Klempien-Hinrichs
- Subapical Bracketed L-Systemsby: Przemyslaw Prusinkiewicz, Lila Kari
- Formal Relationship between Graph Grammars and Petri Netsby: Martin Korff, Leila Ribeiro
![[SWISH++]](/docis/swish-powered.gif){kind=small}
