Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Rachid Echahed

    1. Laboratoire LIG, Université Grenoble Alpes, Grenoble, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mark Minas

    1. Universität der Bundeswehr München, Neubiberg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9761)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICGT 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  3. Foundations

    1. Front Matter

      Pages 19-19
      Download chapter PDF

    2. Sesqui-Pushout Rewriting with Type Refinements

      • Michael Löwe
      Pages 21-36

    3. Parallelism in AGREE Transformations

      • Andrea Corradini, Dominique Duval, Frederic Prost, Leila Ribeiro
      Pages 37-53

    4. Model Checking Reconfigurable Petri Nets with Maude

      • Julia Padberg, Alexander Schulz
      Pages 54-70

  4. Tools and Algorithms

    1. Front Matter

      Pages 71-71
      Download chapter PDF

    2. A Software Package for Chemically Inspired Graph Transformation

      • Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler
      Pages 73-88

    3. A Tool Environment for Managing Families of Model Transformation Rules

      • Daniel Strüber, Stefan Schulz
      Pages 89-101

    4. Compiling Graph Programs to C

      • Christopher Bak, Detlef Plump
      Pages 102-117

    5. An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations

      • Kristopher Born, Gabriele Taentzer
      Pages 118-134

  5. Queries

    1. Front Matter

      Pages 135-135
      Download chapter PDF

    2. Rete Network Slicing for Model Queries

      • Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró
      Pages 137-152

    3. An SQL-Based Query Language and Engine for Graph Pattern Matching

      • Christian Krause, Daniel Johannsen, Radwan Deeb, Kai-Uwe Sattler, David Knacker, Anton Niadzelka
      Pages 153-169

    4. On the Operationalization of Graph Queries with Generalized Discrimination Networks

      • Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers
      Pages 170-186

  6. Applications

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework

      • Roland Kluge, Anthony Anjorin
      Pages 189-205

    3. Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions

      • Christoph Flamm, Daniel Merkle, Peter F. Stadler, Uffe Thorsen
      Pages 206-222

    4. Using Graph Transformation for Puzzle Game Level Generation and Validation

      • David Priemer, Tobias George, Marcel Hahn, Lennert Raesch, Albert Zündorf
      Pages 223-235
Back to top

Other volumes

  1. Graph Transformation

Keywords

About this book

This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. 
The 14 papers presented in this were carefully reviewed and selected from 33 submissions. They were organized in topical sections named: foundations, tools and algorithms, queries, and applications. 
The book also contains one keynote paper in full paper length. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016. An obituary is included in the front matter of the volume. 

Editors and Affiliations

  • Laboratoire LIG, Université Grenoble Alpes, Grenoble, France

    Rachid Echahed

  • Universität der Bundeswehr München, Neubiberg, Germany

    Mark Minas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation