| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.) |
Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers  |
TAGT  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercè Llabrés, Francesc Rosselló |
Pushout Complements for Arbitrary Partial Algebras. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Verlinden, Dirk Janssens |
A Framework for NLC and ESM: Local Action Systems. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Busatto, Gregor Engels, Katharina Mehner, Annika Wagner |
A Framework for Adding Packages to Graph Transformation Approaches. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingrid Fischer, Manuel Koch, Gabriele Taentzer |
Local Views on Distributed Systems and Their Communication. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni |
Refinements of Graph Transformation Systems via Rule Expressions. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg |
Complexity Issues in Switching of Graphs. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
Unfolding of Double-Pushout Graph Grammars is a Coreflection. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Sebastian Maneth |
Tree Languages Generated be Context-Free Graph Grammars. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roswitha Bardohl, Hartmut Ehrig |
Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Reiko Heckel, Manuel Koch |
A Fully Abstract Model for Graph-Interpreted Temporal Logic. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl-Arndt Krapp, Sven Krüppel, Ansgar Schleicher, Bernhard Westfechtel |
Graph-Based Models for Managing Development Processes, Resources, and Products. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes |
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Berthold Hoffmann, Peter Knirsch 0001, Sabine Kuske |
Simple Modules for GRACE. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Schuster |
Knowledge Representation and Graph Transformation. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Rudolf 0002 |
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg |
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Kuske |
More About Control Conditions for Transformation Units. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Münch, Andy Schürr, Andreas J. Winter 0001 |
Integrity Constraints in the Multi-paradigm Language PROGRES. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Minas |
Hypergraphs as a Uniform Diagram Representation Model. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni |
From Formulae to Rewriting Systems. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Schürr, Andreas J. Winter 0001 |
UML Packages for PROgrammed Graph REwriting Systems. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Gabriel Valiente |
Redundancy and Subsumption in High-Level Replacement Systems. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer, Michael Goedicke, Torsten Meyer |
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Annegret Habel, Jürgen Müller, Detlef Plump |
Double-Pushout Approach with Injective Matching. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Skodinis, Egon Wanke |
Neighborhood-Preserving Node Replacements. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John L. Pfaltz |
Neighborhood Expansion Grammars. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Godard, Yves Métivier, Anca Muscholl |
The Power of Local Computations in Graphs with Initial Knowledge. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorina C. Petriu, Xin Wang |
Deriving Software Performance Models from Architectural Patterns by Graph Transformations. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann |
Incremental Development of Safety Properties in Petri Net Transformations. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Faulstich |
Using Graph Transformation Techniques for Integrating Information from the WWW. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis E. Hrischuk |
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Jacquet, Renate Klempien-Hinrichs |
Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg (eds.) |
Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers |
TAGT |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Courcelle |
The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Parisi-Presicce |
Transformations of Graph Grammars. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Annegret Habel, Stefan Taubenberger |
Chain-Code Pictures and Collages Generated by Hyperedge Replacement. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | F. David Fracchia |
Integrating Lineage and Interaction for the Visualization of Cellular Stuctures. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorothea Blostein, Hoda Fahmy, Ann Grbavec |
Issues in the Practical Use of Graph Rewriting. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Arnborg, Andrzej Proskurowski |
A Technique for Recognizing Graphs of Bounded Treewidth with Application to Subclasses of Partial 2-Paths. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg |
The Category of Typed Graph Grammars and its Adjunctions with Categories. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Bauderon |
A Category-Theoretical Approach to Vertex Replacement: The Generation of Infinite Graphs. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Renate Klempien-Hinrichs |
Node Replacement in Hypergrahps: Simulation of Hyperedge Replacement, and Decidability of Confluence. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Changwook Kim, Tae Eui Jeong |
HRNCE Grammars - A Hypergraph Generating System with an eNCE Way. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes |
The Use of Tree Transducers to Compute Translations Between Graph Algebras. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Sabine Kuske |
On the Interleaving Sematics of Transformation Units - A Step into GRACE. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Skodinis, Egon Wanke |
The Bounded Degree Problem for Non-Obstructing eNCE Graph Grammars. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz-Josef Brandenburg, Konstantin Skodinis |
Graph Automata for Linear Graph Languages. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg |
Group Based Graph Transformations and Hierarchical Representations of Graphs. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaby Zinßmeister, Carolyn McCreary |
Drawing Graphs with Attribute Graph Grammars. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Francesca Rossi 0001 |
Synchronized Composition of Graph Grammar Productions. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001 |
An Event Structure Semantics for Graph Grammars with Parallel Productions. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Jan Joris Vereijken |
Concatenation of Graphs. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacqueline Lück, Hermann B. Lück |
Cellworks with Cell Rewriting and Cell Packing for Plant Morphogenesis. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | M. D. Derk, L. S. DeBrunner |
Reconfiguration Graph Grammar for Massively Parallel, Fault Tolerant Computers. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Zündorf |
Graph Pattern Matching in PROGRES. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Korff, Leila Ribeiro 0001 |
Formal Relationship between Graph Grammars and Petri Nets. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Courcelle, Géraud Sénizergues |
The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach |
The Contractum in Algebraic Graph Rewriting. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Barthelmann |
Process Specification and Verification. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer |
Hierarchically Distributed Graph Transformation. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Aßmann |
On Edge Addition Rewrite Systems and their Relevance to Program Analysis. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda M. Wills |
Using Attributed Flow Graph Parsing to Recognize Clichés in Programs. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Nagl, Andy Schürr |
Software Integration Problems and Coupling of Graph Grammar Specifications. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Janssens |
The Decomposition of ESM Computations. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Schürr |
Programmed Graph Transformations and Graph Transformation Units in GRACE. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Plump, Annegret Habel |
Graph Unification and Matching. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Gregor Engels |
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Alberich, Peter Burmeister, Francesc Rosselló, Gabriel Valiente, Boleslaw Wojdylo |
A Partial Algebras Approach to Graph Transformation. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Prusinkiewicz, Lila Kari |
Subapical Bracketed L-Systems. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Adriano Peron |
A Graph Rewriting Framework for Statecharts Semantics. |
TAGT |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license