| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aloïs Rosset, Roy Overbeek, Jörg Endrullis |
Fuzzy Presheaves are Quasitoposes.  |
ICGT  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Söldner, Detlef Plump |
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Richard Eggert, Barbara König 0001, Timo Matt, Tommaso Padoan |
A Monoidal View on Fixpoint Checks. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Sano, Kazunori Ueda |
Implementing the λ GT Language: A Functional Language with Graphs as First-Class Data. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyuan Yang 0005, Li Xia, Y. C. Tay |
Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Behr, Russ Harmer |
A Living Monograph for Graph Transformation. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Andrea Laretto, Davide Trotta |
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Duval, Rachid Echahed, Frédéric Prost |
A Rule-Based Procedure for Graph Query Solving. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Overbeek, Jörg Endrullis |
Termination of Graph Transformation Systems Using Weighted Subgraph Counting. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jannik Rau, David Richerby, Ansgar Scherp |
Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis. |
ICGT |
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. |
ICGT |
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 |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Machowczyk, Reiko Heckel |
Graph Rewriting for Graph Neural Networks. |
ICGT |
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. |
ICGT |
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. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach, John W. Baugh Jr. |
Formalisation, Abstraction and Refinement of Bond Graphs. |
ICGT |
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. |
ICGT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristopher Brown, Evan Patterson, Tyler Hanks, James P. Fairbanks |
Computational Category-Theoretic Rewriting. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul |
Visual Smart Contracts for DAML. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schneider 0001, Maria Maximova, Holger Giese |
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens H. Weber |
Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Okan Özkan |
Decidability of Resilience for Well-Structured Graph Transformation Systems. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Taentzer, Stefan John 0001, Jens Kosiol |
A Generic Construction for Crossovers of Graph-Like Structures. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schneider 0001, Maria Maximova, Holger Giese |
Probabilistic Metric Temporal Graph Logic. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Andrea Corradini 0001, Fabio Gadducci |
Graph Rewriting Components. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Barkowsky, Holger Giese |
Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul W. Wilson 0002, Fabio Zanasi |
Categories of Differentiable Polynomial Circuits for Machine Learning. |
ICGT |
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 |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power. |
ICGT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher M. Poskitt |
Incorrectness Logic for Graph Programs. |
ICGT |
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. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Kosiol, Gabriele Taentzer |
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Maximova, Sven Schneider 0001, Holger Giese |
Interval Probabilistic Timed Graph Transformation Systems. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Aaron Lye |
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. |
ICGT |
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. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Behr, Russ Harmer, Jean Krivine |
Concurrency Theorems for Non-linear Rewriting Theories. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens H. Weber |
GrapePress - A Computational Notebook for Graph Transformations. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gia Septiana Wulandari, Detlef Plump |
Verifying Graph Programs with Monadic Second-Order Logic. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Barkowsky, Holger Giese |
Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching. |
ICGT |
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 |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Lye |
Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tikhon Pshenitsyn |
Powerful and NP-Complete: Hypergraph Lambek Grammars. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi |
Nets with Mana: A Framework for Chemical Reaction Modelling. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schneider 0001, Leen Lambers |
Evaluation Diversity for Graph Conditions. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Overbeek, Jörg Endrullis, Aloïs Rosset |
Graph Rewriting and Relabeling with PBPO+. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Winfried Kurth |
Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids. |
ICGT |
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. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Chiapperini, Marino Miculan, Marco Peressotti |
Computing Embeddings of Directed Bigraphs. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Campbell 0001, Detlef Plump |
Confluence up to Garbage. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas |
Unfolding Symbolic Attributed Graph Grammars. |
ICGT |
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. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Genovese, David I. Spivak |
A Categorical Semantics for Guarded Petri Nets. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Behr, Jean Krivine |
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ugo Montanari, Matteo Sammartino |
Algebras for Tree Decomposable Graphs. |
ICGT |
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. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald König, Patrick Stünkel |
Single Pushout Rewriting in Comprehensive Systems. |
ICGT |
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 |
ICGT |
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. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter, Fernando Macías, Adrian Rutle |
Multilevel Typed Graph Transformations. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Overbeek, Jörg Endrullis |
Patch Graph Rewriting. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Fernando Orejas |
Initial Conflicts for Transformation Rules with Nested Application Conditions. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Blair Archibald, Muffy Calder, Michele Sevegnani |
Conditional Bigraphs. |
ICGT |
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. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tikhon Pshenitsyn |
Hypergraph Basic Categorial Grammars. |
ICGT |
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. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Barkowsky, Holger Giese |
Hybrid Search Plan Generation for Generalized Graph Pattern Matching. |
ICGT |
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 |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Weidmann, Anthony Anjorin, Patrick Robrecht, Gergely Varró |
Incremental (Unidirectional) Model Transformation with eMoflon: : IBeX. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda |
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer |
Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules. |
ICGT |
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. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Russ Harmer, Eugenia Oshurko |
Knowledge Representation and Update in Hierarchies of Graphs. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Löwe |
Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Relating DNA Computing and Splitting/Fusion Grammars. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Lambers, Jens Kosiol, Daniel Strüber 0001, Gabriele Taentzer |
Exploring Conflict Reasons for Graph Transformation Systems. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Weidmann, Anthony Anjorin, Florian Stolte, Florian Kraus |
From Pattern Invocation Networks to Rule Preconditions. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amani Makhlouf, Christian Percebois, Hanh Nhi Tran |
Two-Level Reasoning About Graph Transformation Programs. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Maryam Ghaffari Saadat, Reiko Heckel |
Unfolding Graph Grammars with Negative Application Conditions. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
Verifying Graph Transformation Systems with Description Logics. |
ICGT |
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. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Atkinson 0001, Detlef Plump, Susan Stepney |
Probabilistic Graph Programs for Randomised and Evolutionary Algorithms. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Géza Kulcsár, Andrea Corradini 0001, Malte Lochau |
Equivalence and Independence in Controlled Graph-Rewriting Processes. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Grochau Azzi, Andrea Corradini 0001, Leila Ribeiro 0001 |
On the Essence and Initiality of Conflicts. |
ICGT |
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 |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Corey Pennycuff, Satyaki Sikdar, Catalina Vajiac, David Chiang 0001, Tim Weninger |
Synchronous Hyperedge Replacement Graph Grammars. |
ICGT |
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. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Löwe |
Characterisation of Parallel Independence in AGREE-Rewriting. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Grzegorz Rozenberg |
Graph Surfing by Reaction Systems. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Géza Kulcsár, Malte Lochau, Andy Schürr |
Graph-Rewriting Petri Nets. |
ICGT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Dyck, Holger Giese |
k-Inductive Invariant Checking for Graph Transformation Systems. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Barbara König 0001, Dennis Nolte |
Specifying Graph Languages with Type Graphs. |
ICGT |
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. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens H. Weber |
GRAPE - A Graph Rewriting and Persistence Engine. |
ICGT |
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. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler |
Chemical Graph Transformation with Stereo-Information. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license