|
|
Conferences in DBLP
- Arend Rensink
Nested Quantification in Graph Transformation Rules. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:1-13 [Conf]
- Daniel Jackson
Idioms of Logical Modelling. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:14- [Conf]
- Rafael Dueire Lins
New Algorithms and Applications of Cyclic Reference Counting. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:15-29 [Conf]
- Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
Sesqui-Pushout Rewriting. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:30-45 [Conf]
- Dietmar Berwanger, David Janin
Automata on Directed Graphs: Edge Versus Vertex Marking. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:46-60 [Conf]
- Leen Lambers, Hartmut Ehrig, Fernando Orejas
Conflict Detection for Graph Transformation with Negative Application Conditions. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:61-76 [Conf]
- Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
Adaptive Star Grammars. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:77-91 [Conf]
- Rachid Echahed, Nicolas Peltier
Narrowing Data-Structures with Pointers. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:92-106 [Conf]
- Karsten Ehrig, Reiko Heckel, Georgios Lajios
Molecular Analysis of Metabolic Pathway with Graph Transformation. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:107-121 [Conf]
- Pedro Pablo Pérez Velasco, Juan de Lara
Matrix Approach to Graph Transformation: Matching and Sequences. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:122-137 [Conf]
- Martin Riedl, Sebastian Seifert, Ingrid Fischer
String Generating Hypergraph Grammars with Word Order Restrictions. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:138-152 [Conf]
- Paolo Baldan, Hartmut Ehrig, Barbara König
Composition and Decomposition of DPO Transformations with Borrowed Context. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:153-167 [Conf]
- Filippo Bonchi, Fabio Gadducci, Barbara König
Process Bisimulation Via a Graphical Encoding. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:168-183 [Conf]
- Stephen Lack, Pawel Sobocinski
Toposes Are Adhesive. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:184-198 [Conf]
- Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
Graph Transactions as Processes. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:199-214 [Conf]
- Hartmut Ehrig, Fernando Orejas, Ulrike Prange
Categorical Foundations of Distributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:215-229 [Conf]
- Roberto Bruni, Hernán C. Melgratti
Dynamic Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:230-244 [Conf]
- Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
Autonomous Units and Their Semantics - The Sequential Case. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:245-259 [Conf]
- Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
Termination Analysis of Model Transformations by Petri Nets. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:260-274 [Conf]
- Odorico Machado Mendizabal, Fernando Luís Dotti
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:275-290 [Conf]
- Tobias Rötschke, Andy Schürr
Temporal Graph Queries to Support Software Evolution. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:291-305 [Conf]
- Luciano Baresi, Paola Spoletini
On the Use of Alloy to Analyze Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:306-320 [Conf]
- Johannes Jakob, Alexander Königs, Andy Schürr
Non-materialized Model View Specification with Triple Graph Grammars. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:321-335 [Conf]
- Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:336-350 [Conf]
- Esther Guerra, Juan de Lara
Model View Management with Triple Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:351-366 [Conf]
- Mike Dodds, Detlef Plump
Graph Transformation in Constant Time. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:367-382 [Conf]
- Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski
GrGen: A Fast SPO-Based Graph Rewriting Tool. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:383-397 [Conf]
- Fabian Büttner, Martin Gogolla
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:398-413 [Conf]
- Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
Heuristic Search for the Analysis of Graph Transition Systems. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:414-429 [Conf]
- Annegret Habel, Karl-Heinz Pennemann
Satisfiability of High-Level Conditions. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:430-444 [Conf]
- Annegret Habel, Karl-Heinz Pennemann, Arend Rensink
Weakest Preconditions for High-Level Programs. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:445-460 [Conf]
- Reiko Heckel
Introductory Tutorial on Foundations and Applications of Graph Transformation. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:461-462 [Conf]
- Yves Métivier, Mohamed Mosbah
Workshop on Graph Computation Models. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:463-464 [Conf]
- Albert Zündorf, Dániel Varró
Workshop on Graph-Based Tools. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:465-466 [Conf]
- Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
Workshop on Petri Nets and Graph Transformations. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:467-469 [Conf]
- Jean-Marie Favre, Reiko Heckel, Tom Mens
3rd International Workshop on Software Evolution Through Transformations: Embracing Change. [Citation Graph (0, 0)][DBLP]
ICGT, 2006, pp:470-472 [Conf]
|
