default search action

combined dblp search
author search
venue search
publication search

ask others

8th ICGT 2015: L'Aquila, Italy

> Home > Conferences and Workshops > ICGT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/gg/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/2015
Francesco Parisi-Presicce, Bernhard Westfechtel:
Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. Lecture Notes in Computer Science 9151, Springer 2015, ISBN 978-3-319-21144-2

Foundations

- view
  authority control:
- export record
  dblp key:
  - conf/gg/Lowe15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Lowe15
Michael Löwe:
Polymorphic Sesqui-Pushout Graph Rewriting. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/gg/DrewesHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/DrewesHM15
Frank Drewes, Berthold Hoffmann, Mark Minas:
Predictive Top-Down Parsing for Hyperedge Replacement Grammars. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/gg/CorradiniDEPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/CorradiniDEPR15
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding. 35-51
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Bruggink0NZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Bruggink0NZ15
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema:
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings. 52-68
- view
  authority control:
- export record
  dblp key:
  - conf/gg/TaentzerG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/TaentzerG15
Gabriele Taentzer, Ulrike Golas:
Towards Local Confluence Analysis for Amalgamated Graph Transformation. 69-86
- view
  authority control:
- export record
  dblp key:
  - conf/gg/LeblebiciAST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/LeblebiciAST15
Erhan Leblebici, Anthony Anjorin, Andy Schürr, Gabriele Taentzer:
Multi-amalgamated Triple Graph Grammars. 87-103
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Padberg15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Padberg15
Julia Padberg:
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs. 104-120
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Oliveira15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Oliveira15
Mateus de Oliveira Oliveira:
Reachability in Graph Transformation Systems and Slice Languages. 121-137
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KissingerZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KissingerZ15
Aleks Kissinger, Vladimir Zamdzhiev:
Equational Reasoning with Context-Free Families of String Diagrams. 138-154
- view
  authority control:
- export record
  dblp key:
  - conf/gg/RadkeABHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/RadkeABHT15
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer:
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. 155-170
- view
  authority control:
- export record
  dblp key:
  - conf/gg/MachadoRH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/MachadoRH15
Rodrigo Machado, Leila Ribeiro, Reiko Heckel:
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. 171-186

Applications: Technical Papers

- view
  authority control:
- export record
  dblp key:
  - conf/gg/Horn15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Horn15
Tassilo Horn:
Graph Pattern Matching as an Embedded Clojure DSL. 189-204
- view
  authority control:
- export record
  dblp key:
  - conf/gg/WeberDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/WeberDP15
Jens H. Weber, Simon Diemert, Morgan Price:
Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence. 205-220
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KwantesGKR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KwantesGKR15
Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink:
Towards Compliance Verification Between Global and Local Process Models. 221-236
- view
  authority control:
- export record
  dblp key:
  - conf/gg/DyckG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/DyckG15
Johannes Dyck, Holger Giese:
Inductive Invariant Checking with Partial Negative Application Conditions. 237-253

Applications: Tool Presentations

- view
  authority control:
- export record
  dblp key:
  - conf/gg/LeblebiciAS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/LeblebiciAS15
Erhan Leblebici, Anthony Anjorin, Andy Schürr:
Tool Support for Multi-amalgamated Triple Graph Grammars. 257-265
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Stuckrath15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Stuckrath15
Jan Stückrath:
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems. 266-274
- view
  authority control:
- export record
  dblp key:
  - conf/gg/BurUHV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/BurUHV15
Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró:
Local Search-Based Pattern Matching Features in EMF-IncQuery. 275-282

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.