Skip to main content
SpringerLink
Log in

Graph Transformation

12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Esther Guerra

    1. Universidad Autónoma de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fernando Orejas

    1. Universitat Politècnica de Catalunya, Barcelona, Spain

    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 11629)

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

Included in the following conference series:

Conference proceedings info: ICGT 2019.

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 (13 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Theory

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introducing Symmetry to Graph Rewriting Systems with Process Abstraction

      • Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda
      Pages 3-20

    3. Double-Pushout Rewriting in Context

      • Michael Löwe
      Pages 21-37

    4. Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs

      • Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer
      Pages 38-54

    5. Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars

      • Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 55-72

  3. Analysis and Verification

    1. Front Matter

      Pages 73-73
      Download chapter PDF

    2. Exploring Conflict Reasons for Graph Transformation Systems

      • Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer
      Pages 75-92

    3. Unfolding Graph Grammars with Negative Application Conditions

      • Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
      Pages 93-110

    4. Two-Level Reasoning About Graph Transformation Programs

      • Amani Makhlouf, Christian Percebois, Hanh Nhi Tran
      Pages 111-127

  4. Tools and Applications

    1. Front Matter

      Pages 129-129
      Download chapter PDF

    2. Incremental (Unidirectional) Model Transformation with eMoflon::IBeX

      • Nils Weidmann, Anthony Anjorin, Patrick Robrecht, Gergely Varró
      Pages 131-140

    3. Knowledge Representation and Update in Hierarchies of Graphs

      • Russ Harmer, Eugenia Oshurko
      Pages 141-158

    4. Relating DNA Computing and Splitting/Fusion Grammars

      • Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
      Pages 159-174

  5. Transformation Rules Construction and Matching

    1. Front Matter

      Pages 175-175
      Download chapter PDF

    2. Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules

      • Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer
      Pages 177-194

    3. From Pattern Invocation Networks to Rule Preconditions

      • Nils Weidmann, Anthony Anjorin, Florian Stolte, Florian Kraus
      Pages 195-211

    4. Hybrid Search Plan Generation for Generalized Graph Pattern Matching

      • Matthias Barkowsky, Holger Giese
      Pages 212-229

  6. Back Matter

    Pages 231-231
    Download chapter PDF
Back to top

Other volumes

  1. Graph Transformation

Keywords

About this book

This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.
The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and Applications, and Transformation Rules Construction and Matching.

Editors and Affiliations

  • Universidad Autónoma de Madrid, Madrid, Spain

    Esther Guerra

  • Universitat Politècnica de Catalunya, Barcelona, Spain

    Fernando Orejas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation