Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

16th ICGT 2023: Leicester, UK

> 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/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/2023
Maribel Fernández, Christopher M. Poskitt:
Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings. Lecture Notes in Computer Science 13961, Springer 2023, ISBN 978-3-031-36708-3

Theoretical Advances

- view
  authority control:
- export record
  dblp key:
  - conf/gg/BaldanEKMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/BaldanEKMP23
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan:
A Monoidal View on Fixpoint Checks. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/gg/GadducciLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/GadducciLT23
Fabio Gadducci, Andrea Laretto, Davide Trotta:
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. 22-42
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KosiolSTZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KosiolSTZ23
Jens Kosiol, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler:
Finding the Right Way to Rome: Effect-Oriented Graph Transformation. 43-63
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KreowskiKLW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KreowskiKLW23
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst:
Moving a Derivation Along a Derivation Preserves the Spine. 64-80
- view
  authority control:
- export record
  dblp key:
  - conf/gg/OverbeekE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/OverbeekE23
Roy Overbeek, Jörg Endrullis:
Termination of Graph Transformation Systems Using Weighted Subgraph Counting. 81-101
- view
  authority control:
- export record
  dblp key:
  - conf/gg/RossetOE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/RossetOE23
Aloïs Rosset, Roy Overbeek, Jörg Endrullis:
Fuzzy Presheaves are Quasitoposes. 102-122
- view
  authority control:
- export record
  dblp key:
  - conf/gg/SoldnerP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/SoldnerP23
Robert Söldner, Detlef Plump:
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem. 123-142

Application Domains

- view
  authority control:
- export record
  dblp key:
  - conf/gg/BanachB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/BanachB23
Richard Banach, John W. Baugh Jr.:
Formalisation, Abstraction and Refinement of Bond Graphs. 145-162
- view
  authority control:
- export record
  dblp key:
  - conf/gg/DuvalEP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/DuvalEP23
Dominique Duval, Rachid Echahed, Frédéric Prost:
A Rule-Based Procedure for Graph Query Solving. 163-183
- view
  authority control:
- export record
  dblp key:
  - conf/gg/FritscheKMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/FritscheKMS23
Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr:
Advanced Consistency Restoration with Higher-Order Short-Cut Rules. 184-203
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KrauterRKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KrauterRKL23
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo:
Formalization and Analysis of BPMN Using Graph Transformation Systems. 204-222
- view
  authority control:
- export record
  dblp key:
  - conf/gg/RauRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/RauRS23
Jannik Rau, David Richerby, Ansgar Scherp:
Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis. 223-242
- view
  authority control:
- export record
  dblp key:
  - conf/gg/YangXT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/YangXT23
Kaiyuan Yang, Li Xia, Y. C. Tay:
Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection. 243-260

Tool Presentation

- view
  authority control:
- export record
  dblp key:
  - conf/gg/SanoU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/SanoU23
Jin Sano, Kazunori Ueda:
Implementing the λ _GT Language: A Functional Language with Graphs as First-Class Data. 263-277

Blue Skies

- view
  authority control:
- export record
  dblp key:
  - conf/gg/BehrH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/BehrH23
Nicolas Behr, Russ Harmer:
A Living Monograph for Graph Transformation. 281-291
- view
  authority control:
- export record
  dblp key:
  - conf/gg/MachowczykH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/MachowczykH23
Adam Machowczyk, Reiko Heckel:
Graph Rewriting for Graph Neural Networks. 292-301

a service of

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.