Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andrea Corradini 0001, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001 |
The Pullback-Pushout Approach to Algebraic Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 3-19, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Detlef Plump (eds.) |
Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-319-61469-4 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kristopher Born, Leen Lambers, Daniel Strüber 0001, Gabriele Taentzer |
Granularity of Conflicts and Dependencies in Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 125-141, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maria Maximova, Holger Giese, Christian Krause 0001 |
Probabilistic Timed Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 159-175, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Fusion Grammars: A Novel Approach to the Generation of Graph Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 90-105, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julia Padberg |
Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 20-35, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Erhan Leblebici, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr |
Leveraging Incremental Pattern Matching Techniques for Model Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 179-195, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Albert Zündorf, Daniel Gebauer, Clemens Reichmann |
Table Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 221-230, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler |
A Software Package for Chemically Inspired Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 73-88, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró |
Rete Network Slicing for Model Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 137-152, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Juergen Dingel |
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 3-18, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Dominique Duval, Frédéric Prost, Leila Ribeiro 0001 |
Parallelism in AGREE Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 37-53, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth |
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 236-251, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers |
On the Operationalization of Graph Queries with Generalized Discrimination Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 170-186, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe |
Sesqui-Pushout Rewriting with Type Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 21-36, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kristopher Born, Gabriele Taentzer |
An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 118-134, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christian Krause 0001, Daniel Johannsen, Radwan Deeb, Kai-Uwe Sattler, David Knacker, Anton Niadzelka |
An SQL-Based Query Language and Engine for Graph Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 153-169, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roland Kluge, Anthony Anjorin |
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 189-205, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Flamm, Daniel Merkle, Peter F. Stadler, Uffe Thorsen |
Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 206-222, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Bak, Detlef Plump |
Compiling Graph Programs to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 102-117, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Priemer, Tobias George, Marcel Hahn, Lennert Raesch, Albert Zündorf |
Using Graph Transformation for Puzzle Game Level Generation and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 223-235, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed, Mark Minas (eds.) |
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-319-40529-2 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Julia Padberg, Alexander Schulz 0003 |
Model Checking Reconfigurable Petri Nets with Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 54-70, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Strüber 0001, Stefan Schulz 0006 |
A Tool Environment for Managing Families of Model Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 89-101, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Stückrath |
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 266-274, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe |
Polymorphic Sesqui-Pushout Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 3-18, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Dyck, Holger Giese |
Inductive Invariant Checking with Partial Negative Application Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 237-253, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erhan Leblebici, Anthony Anjorin, Andy Schürr, Gabriele Taentzer |
Multi-amalgamated Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 87-103, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Ulrike Golas |
Towards Local Confluence Analysis for Amalgamated Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 69-86, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001 |
AGREE - Algebraic Graph Rewriting with Controlled Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 35-51, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mateus de Oliveira Oliveira |
Reachability in Graph Transformation Systems and Slice Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 121-137, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parisi-Presicce, Bernhard Westfechtel (eds.) |
Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-319-21144-2 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink |
Towards Compliance Verification Between Global and Local Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 221-236, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer |
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 155-170, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Machado, Leila Ribeiro 0001, Reiko Heckel |
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 171-186, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Predictive Top-Down Parsing for Hyperedge Replacement Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 19-34, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Julia Padberg |
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 104-120, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | H. J. Sander Bruggink, Barbara König 0001, Dennis Nolte, Hans Zantema |
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 52-68, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erhan Leblebici, Anthony Anjorin, Andy Schürr |
Tool Support for Multi-amalgamated Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 257-265, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aleks Kissinger, Vladimir Zamdzhiev |
Equational Reasoning with Context-Free Families of String Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 138-154, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tassilo Horn |
Graph Pattern Matching as an Embedded Clojure DSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 189-204, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Márton Búr, Zoltán Ujhelyi, Ákos Horváth 0001, Dániel Varró |
Local Search-Based Pattern Matching Features in EMF-IncQuery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 275-282, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jens H. Weber, Simon Diemert, Morgan Price |
Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 205-220, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
Reversible Sesqui-Pushout Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 161-176, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Hayman, Tobias Heindel |
On Pushouts of Partial Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 177-191, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Reiko Heckel |
Canonical Derivations with Negative Application Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 207-221, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | H. J. Sander Bruggink |
Towards Process Mining with Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 253-268, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer |
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 237-252, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Reiko Heckel, Pawel Sobocinski 0001 |
Transformation and Refinement of Rigid Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 146-160, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno |
Parameterized Verification and Model Checking for Distributed Broadcast Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 1-16, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christina Jansen, Florian Göbe, Thomas Noll 0001 |
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 65-80, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Harald König, Michael Löwe, Christoph Schulz 0002, Uwe Wolter |
Van Kampen Squares for Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 222-236, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Holger Giese, Barbara König 0001 (eds.) |
Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-319-09107-5 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes |
Specification and Verification of Graph-Based Model Transformation Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 113-129, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | H. N. de Ridder, Natalia de Ridder |
The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 192-206, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet |
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 269-284, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer |
From Core OCL Invariants to Nested Graph Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 97-112, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Leen Lambers, Fernando Orejas |
Tableau-Based Reasoning for Graph Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 17-32, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Anjorin, Erhan Leblebici, Andy Schürr, Gabriele Taentzer |
A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 130-145, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frederik Deckwerth, Gergely Varró |
Attribute Handling for Generating Preconditions from Graph Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 81-96, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christina Jansen, Thomas Noll 0001 |
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 49-64, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christopher M. Poskitt, Detlef Plump |
Verifying Monadic Second-Order Properties of Graph Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 33-48, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Florian Mantz, Yngve Lamo |
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 326-340, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Westfechtel, Manfred Nagl |
Graph Transformations for Evolving Domain Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 341-355, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel |
DPO Transformation with Open Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 203-217, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró |
Incremental Pattern Matching for the Efficient Computation of Transitive Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 386-400, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe |
Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 111-125, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Anjorin, Andy Schürr, Gabriele Taentzer |
Construction of Integrity Preserving Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 356-370, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001, Jeroen Ketema |
Rational Term Rewriting Revisited: Decidability and Confluence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 172-186, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Duval, Rachid Echahed, Frédéric Prost |
Graph Transformation with Focus on Incident Edges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 156-171, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann 0001 |
Parallelism and Concurrency of Stochastic Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 96-110, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Golas |
A General Attribution Concept for Models in ℳ-Adhesive Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 187-202, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arend Rensink, Eduardo Zambon |
Pattern-Based Graph Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 66-80, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le 0001, Julia Seiter 0002, Mathias Soeken, Robert Wille |
Completeness-Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 38-50, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Gabriele Taentzer |
ICGT 2012 Doctoral Symposium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 416, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tamim Ahmed Khan, Olga Runge, Reiko Heckel |
Testing against Visual Contracts: Model-Based Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 279-293, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yongzhi Ong |
Multi-scale Rule-Based Graph Transformation Using the Programming Language XL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 417-419, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Vandin |
Specification and Verification of Modal Properties for Structured Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 423-425, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio |
Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 20-37, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Holger Giese, Leen Lambers |
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 249-263, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Traian-Florin Serbanuta, Grigore Rosu |
A Truly Concurrent Semantics for the K Framework Based on Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 294-310, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Krause 0001, Holger Giese |
Probabilistic Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 311-325, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese |
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 141-155, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König 0001 |
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 264-278, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Artur Boronat, Nikos Mylonakis |
Borrowed Contexts for Attributed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 126-140, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Annegret Habel, Detlef Plump |
$\mathcal M, \mathcal N$ -Adhesive Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 218-233, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.) |
Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-642-33653-9 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Barbara König 0001, Jan Stückrath |
Well-Structured Graph Transformation Systems with Negative Application Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 81-95, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr |
Efficient Model Synchronization with Precedence Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 401-415, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 51-65, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Bergmann, Dóra Horváth, Ákos Horváth 0001 |
Applying Incremental Graph Transformation to Existing Models in Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 371-385, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hossein Ghamarian, Arend Rensink |
Generalised Compositionality in Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 234-248, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christopher M. Poskitt |
Verification of Graph Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 420-422, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antónia Lopes, José Luiz Fiadeiro |
A Graph-Based Design Framework for Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings, pp. 1-19, 2012, Springer, 978-3-642-33653-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Leen Lambers |
Delaying Constraint Solving in Symbolic Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 43-58, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas |
Finitary ℳ-Adhesive Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 234-249, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Blume |
Recognizable Graph Languages for the Verification of Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 384-387, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Åsa Hagström, Francesco Parisi-Presicce |
A Model for Distribution and Revocation of Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 314-329, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fawad Qayum |
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 407-409, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Robert Wille |
Graph Transformation Units Guided by a SAT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 27-42, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|