default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICGT 2017: Marburg, Germany
- Juan de Lara, Detlef Plump:
Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings. Lecture Notes in Computer Science 10373, Springer 2017, ISBN 978-3-319-61469-4
Foundations
- Andrea Corradini
, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The Pullback-Pushout Approach to Algebraic Graph Transformation. 3-19 - Julia Padberg:
Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs. 20-35 - Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall:
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. 36-53 - Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler:
Chemical Graph Transformation with Stereo-Information. 54-69
Graph Languages and Parsing
- Andrea Corradini, Barbara König, Dennis Nolte:
Specifying Graph Languages with Type Graphs. 73-89 - Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Fusion Grammars: A Novel Approach to the Generation of Graph Languages. 90-105 - Frank Drewes, Berthold Hoffmann, Mark Minas:
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. 106-122
Analysis and Verification
- Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer:
Granularity of Conflicts and Dependencies in Graph Transformation Systems. 125-141 - Johannes Dyck, Holger Giese:
k-Inductive Invariant Checking for Graph Transformation Systems. 142-158 - Maria Maximova, Holger Giese, Christian Krause:
Probabilistic Timed Graph Transformation Systems. 159-175
Model Transformation and Tools
- Erhan Leblebici, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr:
Leveraging Incremental Pattern Matching Techniques for Model Synchronisation. 179-195 - Daniel Strüber, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, Matthias Tichy:
Henshin: A Usability-Focused Framework for EMF Model Transformation Development. 196-208 - Jens H. Weber:
GRAPE - A Graph Rewriting and Persistence Engine. 209-220 - Albert Zündorf, Daniel Gebauer, Clemens Reichmann:
Table Graphs. 221-230
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-05 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
