Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Aloïs Rosset, Roy Overbeek, Jörg Endrullis |
Fuzzy Presheaves are Quasitoposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 102-122, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert Söldner, Detlef Plump |
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 123-142, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Richard Eggert, Barbara König 0001, Timo Matt, Tommaso Padoan |
A Monoidal View on Fixpoint Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 3-21, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jin Sano, Kazunori Ueda |
Implementing the λ GT Language: A Functional Language with Graphs as First-Class Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 263-277, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kaiyuan Yang 0005, Li Xia, Y. C. Tay |
Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 243-260, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr, Russ Harmer |
A Living Monograph for Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 281-291, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Andrea Laretto, Davide Trotta |
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 22-42, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Duval, Rachid Echahed, Frédéric Prost |
A Rule-Based Procedure for Graph Query Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 163-183, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roy Overbeek, Jörg Endrullis |
Termination of Graph Transformation Systems Using Weighted Subgraph Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 81-101, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Rau, David Richerby, Ansgar Scherp |
Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 223-242, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr |
Advanced Consistency Restoration with Higher-Order Short-Cut Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 184-203, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Christopher M. Poskitt (eds.) |
Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-031-36708-3 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adam Machowczyk, Reiko Heckel |
Graph Rewriting for Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 292-301, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jens Kosiol, Daniel Strüber 0001, Gabriele Taentzer, Steffen Zschaler |
Finding the Right Way to Rome: Effect-Oriented Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 43-63, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo |
Formalization and Analysis of BPMN Using Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 204-222, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, John W. Baugh Jr. |
Formalisation, Abstraction and Refinement of Bond Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 145-162, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst |
Moving a Derivation Along a Derivation Preserves the Spine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 64-80, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kristopher Brown, Evan Patterson, Tyler Hanks, James P. Fairbanks |
Computational Category-Theoretic Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 155-172, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul |
Visual Smart Contracts for DAML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 137-154, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schneider 0001, Maria Maximova, Holger Giese |
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 173-192, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jens H. Weber |
Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 195-206, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Okan Özkan |
Decidability of Resilience for Well-Structured Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 38-57, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Stefan John 0001, Jens Kosiol |
A Generic Construction for Crossovers of Graph-Like Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 97-117, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schneider 0001, Maria Maximova, Holger Giese |
Probabilistic Metric Temporal Graph Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 58-76, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Andrea Corradini 0001, Fabio Gadducci |
Graph Rewriting Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 20-37, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Barkowsky, Holger Giese |
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 118-136, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paul W. Wilson 0002, Fabio Zanasi |
Categories of Differentiable Polynomial Circuits for Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 77-93, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr, Daniel Strüber 0001 (eds.) |
Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-031-09842-0 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings, pp. 3-19, 2022, Springer, 978-3-031-09842-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christopher M. Poskitt |
Incorrectness Logic for Graph Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 81-101, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ira Fesefeldt, Christoph Matheja, Thomas Noll 0001, Johannes Schulte |
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 283-293, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jens Kosiol, Gabriele Taentzer |
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 22-39, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maria Maximova, Sven Schneider 0001, Holger Giese |
Interval Probabilistic Timed Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 221-239, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Aaron Lye |
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 203-220, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christian Zöllner 0002, Matthias Barkowsky, Maria Maximova, Holger Giese |
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 262-279, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr, Russ Harmer, Jean Krivine |
Concurrency Theorems for Non-linear Rewriting Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 3-21, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jens H. Weber |
GrapePress - A Computational Notebook for Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 294-302, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gia Septiana Wulandari, Detlef Plump |
Verifying Graph Programs with Monadic Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 240-261, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Barkowsky, Holger Giese |
Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 145-163, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Timo Kehrer (eds.) |
Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-030-78945-9 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Lye |
Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 40-59, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tikhon Pshenitsyn |
Powerful and NP-Complete: Hypergraph Lambek Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 102-121, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi |
Nets with Mana: A Framework for Chemical Reaction Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 185-202, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 164-184, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schneider 0001, Leen Lambers |
Evaluation Diversity for Graph Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 122-141, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Roy Overbeek, Jörg Endrullis, Aloïs Rosset |
Graph Rewriting and Relabeling with PBPO+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 60-80, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Winfried Kurth |
Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 307-315, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schneider 0001, Lucas Sakizloglou, Maria Maximova, Holger Giese |
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 276-294, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Chiapperini, Marino Miculan, Marco Peressotti |
Computing Embeddings of Directed Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 38-56, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Graham Campbell 0001, Detlef Plump |
Confluence up to Garbage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 20-37, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 221-238, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas |
Unfolding Symbolic Attributed Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 75-90, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schneider 0001, Johannes Dyck, Holger Giese |
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 257-275, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Genovese, David I. Spivak |
A Categorical Semantics for Guarded Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 57-74, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr, Jean Krivine |
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 185-202, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Ugo Montanari, Matteo Sammartino |
Algebras for Tree Decomposable Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 203-220, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jens Kosiol, Daniel Strüber 0001, Gabriele Taentzer, Steffen Zschaler |
Graph Consistency as a Graduated Property - Consistency-Sustaining and -Improving Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 239-256, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Harald König, Patrick Stünkel |
Single Pushout Rewriting in Comprehensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 91-108, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Timo Kehrer (eds.) |
Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-030-51371-9 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, Patrick Prosser, James Trimble 0001 |
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 316-324, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Wolter, Fernando Macías, Adrian Rutle |
Multilevel Typed Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 163-182, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Roy Overbeek, Jörg Endrullis |
Patch Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 128-145, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Leen Lambers, Fernando Orejas |
Initial Conflicts for Transformation Rules with Nested Application Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 109-127, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Blair Archibald, Muffy Calder, Michele Sevegnani |
Conditional Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 3-19, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christian Zöllner 0002, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese |
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 325-334, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tikhon Pshenitsyn |
Hypergraph Basic Categorial Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 146-162, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | H. J. Sander Bruggink, Barbara König 0001, Marleen Matjeka, Dennis Nolte, Lara Stoltenow |
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 297-306, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Barkowsky, Holger Giese |
Hybrid Search Plan Generation for Generalized Graph Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 212-229, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Esther Guerra, Fernando Orejas (eds.) |
Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-030-23610-6 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nils Weidmann, Anthony Anjorin, Patrick Robrecht, Gergely Varró |
Incremental (Unidirectional) Model Transformation with eMoflon: : IBeX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 131-140, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda |
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 3-20, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer |
Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 177-194, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer |
Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 38-54, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Russ Harmer, Eugenia Oshurko |
Knowledge Representation and Update in Hierarchies of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 141-158, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe |
Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 21-37, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Relating DNA Computing and Splitting/Fusion Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 159-174, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Leen Lambers, Jens Kosiol, Daniel Strüber 0001, Gabriele Taentzer |
Exploring Conflict Reasons for Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 75-92, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nils Weidmann, Anthony Anjorin, Florian Stolte, Florian Kraus |
From Pattern Invocation Networks to Rule Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 195-211, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amani Makhlouf, Christian Percebois, Hanh Nhi Tran |
Two-Level Reasoning About Graph Transformation Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 111-127, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 55-72, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Maryam Ghaffari Saadat, Reiko Heckel |
Unfolding Graph Grammars with Negative Application Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 93-110, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
Verifying Graph Transformation Systems with Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 155-170, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Barbara König 0001, Maxime Nederkorn, Dennis Nolte |
CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 37-42, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Atkinson 0001, Detlef Plump, Susan Stepney |
Probabilistic Graph Programs for Randomised and Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 63-78, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Géza Kulcsár, Andrea Corradini 0001, Malte Lochau |
Equivalence and Independence in Controlled Graph-Rewriting Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 134-151, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Grochau Azzi, Andrea Corradini 0001, Leila Ribeiro 0001 |
On the Essence and Initiality of Conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 99-117, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Leen Lambers, Jens H. Weber (eds.) |
Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![Springer, 978-3-319-92990-3 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Corey Pennycuff, Satyaki Sikdar, Catalina Vajiac, David Chiang 0001, Tim Weninger |
Synchronous Hyperedge Replacement Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 20-36, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer |
OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 171-177, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 3-19, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe |
Characterisation of Parallel Independence in AGREE-Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 118-133, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Grzegorz Rozenberg |
Graph Surfing by Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 45-62, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Géza Kulcsár, Malte Lochau, Andy Schürr |
Graph-Rewriting Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, pp. 79-96, 2018, Springer, 978-3-319-92990-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Dyck, Holger Giese |
k-Inductive Invariant Checking for 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. 142-158, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Barbara König 0001, Dennis Nolte |
Specifying Graph Languages with Type 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. 73-89, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Strüber 0001, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, Matthias Tichy |
Henshin: A Usability-Focused Framework for EMF Model Transformation Development. ![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. 196-208, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. ![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. 106-122, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jens H. Weber |
GRAPE - A Graph Rewriting and Persistence Engine. ![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. 209-220, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall |
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. ![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. 36-53, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler |
Chemical Graph Transformation with Stereo-Information. ![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. 54-69, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|