Graph Transformation: 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany,...

— —

Jörg Endrullis Matthias Tichy

Graph Transformation

18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June...

Jörg Endrullis, Matthias Tichy

$147.95 $118.08

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer International Publishing AG
05 July 2025

Information theory; Discrete mathematics; Algorithms & data structures; Software Engineering; Maths for computer scientists

Series: Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025. The 10 full papers and 1 short paper included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum, ranging from advancements in the classical theory of graph transformation to the integration of artificial intelligence approaches with graph transformations, the fuzzing of graph databases, and applications of graph transformation in areas such as dialogue management systems and threat analysis.

Edited by: Jörg Endrullis, Matthias Tichy
Imprint: Springer International Publishing AG
Country of Publication: Switzerland
Volume: 15720
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9783031947056
ISBN 10: 3031947053
Series: Lecture Notes in Computer Science
Pages: 247
Publication Date: 05 July 2025
Audience: Professional and scholarly , College/higher education , Undergraduate , Further / Higher Education
Format: Paperback
Publisher's Status: Active

Graph Transformation Theory: Semantics and Static Analysis: Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting.- Rewriting for Traced Monoidal Closed Categories.- Parallel Rule Application with Doubling Avoidance.- Granular Conflict Analysis for Transformation Rules with Application Conditions. Specifying Graph Properties via Automata and Logic: Specifying and Checking Graph Properties with Alternating Graph Automata.- Graph Formulas and their Translation to Alternating Graph Automata. Applications of Graph Transformation for Program Verification and Testing: Fuzzing Graph Database Applications with Graph Transformations.- Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems.- Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning. Applications of Graph Transformation for Modeling: Graph-transformational Threat Modeling.- Graph Rewriting for User State-Based Dialogue Adaption in Real-Time: An Application in Personalized Interview Training.