default search action
6. TAGT 1998: Paderborn, Germany
- Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers. Lecture Notes in Computer Science 1764, Springer 2000, ISBN 3-540-67203-6
Graph Languages
- Frank Drewes:
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars. 1-14 - Joost Engelfriet, Sebastian Maneth:
Tree Languages Generated be Context-Free Graph Grammars. 15-29 - John L. Pfaltz:
Neighborhood Expansion Grammars. 30-44 - Konstantin Skodinis, Egon Wanke:
Neighborhood-Preserving Node Replacements. 45-58
Graph Theory
- Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg:
Complexity Issues in Switching of Graphs. 59-70 - Emmanuel Godard, Yves Métivier, Anca Muscholl:
The Power of Local Computations in Graphs with Initial Knowledge. 71-84
Categorical Approaches
- Hartmut Ehrig, Reiko Heckel, Mercè Llabrés
, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg:
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. 85-102 - Annegret Habel, Jürgen Müller, Detlef Plump:
Double-Pushout Approach with Injective Matching. 103-116 - Hélène Jacquet, Renate Klempien-Hinrichs:
Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach. 117-130 - Mercè Llabrés
Pushout Complements for Arbitrary Partial Algebras. 131-144
Concurrency and Distribution
- Paolo Baldan, Andrea Corradini, Ugo Montanari:
Unfolding of Double-Pushout Graph Grammars is a Coreflection. 145-163 - Ingrid Fischer, Manuel Koch, Gabriele Taentzer:
Local Views on Distributed Systems and Their Communication. 164-178 - Gabriele Taentzer, Michael Goedicke, Torsten Meyer:
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems. 179-193 - Nico Verlinden, Dirk Janssens:
A Framework for NLC and ESM: Local Action Systems. 194-214
Artificial Intelligence
- Hans-Jörg Kreowski, Gabriel Valiente:
Redundancy and Subsumption in High-Level Replacement Systems. 215-227 - Stefan Schuster:
Knowledge Representation and Graph Transformation. 228-237 - Michael Rudolf:
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching. 238-251
Visual Languages
- Roswitha Bardohl, Hartmut Ehrig:
Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages. 252-266 - Paolo Bottoni
From Formulae to Rewriting Systems. 267-280 - Mark Minas:
Hypergraphs as a Uniform Diagram Representation Model. 281-295
Specification Concepts
- Thorsten Fischer, Jörg Niere, Lars Torunski, Albert Zündorf:
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java. 296-309 - Fabio Gadducci, Reiko Heckel, Manuel Koch:
A Fully Abstract Model for Graph-Interpreted Temporal Logic. 310-322 - Sabine Kuske:
More About Control Conditions for Transformation Units. 323-337 - Manfred Münch, Andy Schürr, Andreas J. Winter:
Integrity Constraints in the Multi-paradigm Language PROGRES. 338-351
Modularity and Refinement
- Giorgio Busatto, Gregor Engels, Katharina Mehner, Annika Wagner:
A Framework for Adding Packages to Graph Transformation Approaches. 352-367 - Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni:
Refinements of Graph Transformation Systems via Rule Expressions. 368-382 - Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske:
Simple Modules for GRACE. 383-395 - Andy Schürr, Andreas J. Winter:
UML Packages for PROgrammed Graph REwriting Systems. 396-409 - Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann:
Incremental Development of Safety Properties in Petri Net Transformations. 410-425
Software Engineering
- Lukas Faulstich:
Using Graph Transformation Techniques for Integrating Information from the WWW. 426-441 - Curtis E. Hrischuk:
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism. 442-454 - Carl-Arndt Krapp, Sven Krüppel, Ansgar Schleicher, Bernhard Westfechtel:
Graph-Based Models for Managing Development Processes, Resources, and Products. 455-474 - Dorina C. Petriu, Xin Wang:
Deriving Software Performance Models from Architectural Patterns by Graph Transformations. 475-488
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-12-27 21:13 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: