default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th ICGT 2016: Vienna, Austria
- Rachid Echahed, Mark Minas:
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. Lecture Notes in Computer Science 9761, Springer 2016, ISBN 978-3-319-40529-2
Keynote
- Juergen Dingel:
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering. 3-18
Foundations
- Michael Löwe:
Sesqui-Pushout Rewriting with Type Refinements. 21-36 - Andrea Corradini
, Dominique Duval, Frédéric Prost, Leila Ribeiro:
Parallelism in AGREE Transformations. 37-53 - Julia Padberg, Alexander Schulz:
Model Checking Reconfigurable Petri Nets with Maude. 54-70
Tools and Algorithms
- Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler:
A Software Package for Chemically Inspired Graph Transformation. 73-88 - Daniel Strüber, Stefan Schulz:
A Tool Environment for Managing Families of Model Transformation Rules. 89-101 - Christopher Bak, Detlef Plump:
Compiling Graph Programs to C. 102-117 - Kristopher Born, Gabriele Taentzer:
An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations. 118-134
Queries
- Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró:
Rete Network Slicing for Model Queries. 137-152 - Christian Krause, Daniel Johannsen, Radwan Deeb, Kai-Uwe Sattler, David Knacker, Anton Niadzelka:
An SQL-Based Query Language and Engine for Graph Pattern Matching. 153-169 - Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers:
On the Operationalization of Graph Queries with Generalized Discrimination Networks. 170-186
Applications
- Roland Kluge, Anthony Anjorin:
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework. 189-205 - Christoph Flamm, Daniel Merkle, Peter F. Stadler, Uffe Thorsen:
Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions. 206-222 - David Priemer, Tobias George, Marcel Hahn, Lennert Raesch, Albert Zündorf:
Using Graph Transformation for Puzzle Game Level Generation and Validation. 223-235 - Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth:
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. 236-251
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 2024-11-15 19:45 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:
