Skip to main content
Springer Nature Link
Log in

Graph Transformation

15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Nicolas Behr

    1. Université Paris Cité, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Daniel Strüber

    1. Computer Science and Engineering, Chalmers | Gothenburg University, Gothenburg, Sweden

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

Included in the following conference series:

Conference proceedings info: ICGT 2022.

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 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.

The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.

Similar content being viewed by others

Keywords

Table of contents (11 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Theoretical Advances

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power

      • Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 3-19

    3. Graph Rewriting Components

      • Reiko Heckel, Andrea Corradini, Fabio Gadducci
      Pages 20-37

    4. Decidability of Resilience for Well-Structured Graph Transformation Systems

      • Okan Özkan
      Pages 38-57

    5. Probabilistic Metric Temporal Graph Logic

      • Sven Schneider, Maria Maximova, Holger Giese
      Pages 58-76

    6. Categories of Differentiable Polynomial Circuits for Machine Learning

      • Paul Wilson, Fabio Zanasi
      Pages 77-93Open Access

  3. Application Domains

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. A Generic Construction for Crossovers of Graph-Like Structures

      • Gabriele Taentzer, Stefan John, Jens Kosiol
      Pages 97-117

    3. Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness

      • Matthias Barkowsky, Holger Giese
      Pages 118-136

    4. Visual Smart Contracts for DAML

      • Reiko Heckel, Zobia Erum, Nitia Rahmi, Albert Pul
      Pages 137-154

    5. Computational Category-Theoretic Rewriting

      • Kristopher Brown, Evan Patterson, Tyler Hanks, James Fairbanks
      Pages 155-172

    6. Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction

      • Sven Schneider, Maria Maximova, Holger Giese
      Pages 173-192

  4. Tool Presentation

    1. Front Matter

      Pages 193-193
      Download chapter PDF

    2. Tool Support for Functional Graph Rewriting with Persistent Data Structures - GrapeVine

      • Jens H. Weber
      Pages 195-206

  5. Back Matter

    Pages 207-207
    Download chapter PDF
Back to top

Other volumes

  1. Graph Transformation

Editors and Affiliations

  • Université Paris Cité, Paris, France

    Nicolas Behr

  • Computer Science and Engineering, Chalmers | Gothenburg University, Gothenburg, Sweden

    Daniel Strüber

Bibliographic Information

Publish with us

Policies and ethics

Back to top