Skip to main content
Springer Nature Link
Log in

Graph Transformation

16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Maribel Fernández

    1. King's College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christopher M. Poskitt

    1. Singapore Management University, Singapore, Singapore

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

Included in the following conference series:

Conference proceedings info: ICGT 2023.

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 54.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 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023. 
The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 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.


Keywords

Table of contents (16 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Theoretical Advances

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Monoidal View on Fixpoint Checks

      • Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
      Pages 3-21

    3. Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation

      • Fabio Gadducci, Andrea Laretto, Davide Trotta
      Pages 22-42

    4. Finding the Right Way to Rome: Effect-Oriented Graph Transformation

      • Jens Kosiol, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler
      Pages 43-63

    5. Moving a Derivation Along a Derivation Preserves the Spine

      • Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
      Pages 64-80

    6. Termination of Graph Transformation Systems Using Weighted Subgraph Counting

      • Roy Overbeek, Jörg Endrullis
      Pages 81-101

    7. Fuzzy Presheaves are Quasitoposes

      • Aloïs Rosset, Roy Overbeek, Jörg Endrullis
      Pages 102-122

    8. Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem

      • Robert Söldner, Detlef Plump
      Pages 123-142

  3. Application Domains

    1. Front Matter

      Pages 143-143
      Download chapter PDF

    2. Formalisation, Abstraction and Refinement of Bond Graphs

      • Richard Banach, John Baugh
      Pages 145-162

    3. A Rule-Based Procedure for Graph Query Solving

      • Dominique Duval, Rachid Echahed, Frédéric Prost
      Pages 163-183

    4. Advanced Consistency Restoration with Higher-Order Short-Cut Rules

      • Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr
      Pages 184-203

    5. Formalization and Analysis of BPMN Using Graph Transformation Systems

      • Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
      Pages 204-222

    6. Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis

      • Jannik Rau, David Richerby, Ansgar Scherp
      Pages 223-242

    7. Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection

      • Kaiyuan Yang, Li Xia, Y. C. Tay
      Pages 243-260

  4. Tool Presentation

    1. Front Matter

      Pages 261-261
      Download chapter PDF

    2. Implementing the \(\lambda _{GT}\) Language: A Functional Language with Graphs as First-Class Data

      • Jin Sano, Kazunori Ueda
      Pages 263-277

  5. Blue Skies

    1. Front Matter

      Pages 279-279
      Download chapter PDF

    2. A Living Monograph for Graph Transformation

      • Nicolas Behr, Russ Harmer
      Pages 281-291
Back to top

Other volumes

  1. Graph Transformation

Editors and Affiliations

  • King's College London, London, UK

    Maribel Fernández

  • Singapore Management University, Singapore, Singapore

    Christopher M. Poskitt

Bibliographic Information

Publish with us

Policies and ethics

Back to top