TY  - BOOK
AU  - Harmer,Russ
AU  - Kosiol,Jens
ED  - SpringerLink (Online service)
TI  - Graph Transformation: 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031642852
AV  - QA76.9.M35 
U1  - 004.0151 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Computer science
KW  - Mathematics
KW  - Discrete mathematics
KW  - Data structures (Computer science)
KW  - Information theory
KW  - Computer programming
KW  - Software engineering
KW  - Compilers (Computer programs)
KW  - Algorithms
KW  - Discrete Mathematics in Computer Science
KW  - Data Structures and Information Theory
KW  - Programming Techniques
KW  - Software Engineering
KW  - Compilers and Interpreters
KW  - Design and Analysis of Algorithms
N1  -  -- Graphs, logics and transformations for effective risk analysis.  -- Theoretical Advances.  -- Linear-Time Graph Programs for Unbounded-Degree Graphs.  -- A Bigraph Paper of Sorts.  -- Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.  -- Extension and Restriction of Derivations in Adhesive Categories.  -- Causal Graph Dynamics and Kan Extensions.  -- Application Domains.  -- The 'Causality' Quagmire for Formalised Bond Graphs.  -- Localized RETE for Incremental Graph Queries.  -- Using application conditions to rank graph transformations for graph repair.  -- Deriving Delay-Robust Timed Graph Transformation System Models.  -- Taint Analysis for Graph APIs Focusing on Broken Access Control.  -- Tool and Blue Skies Presentations.  -- Checking Transaction Isolation Violations with Graph Queries.  -- Can I teach graph rewriting to my chatbot?.  -- A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models
N2  - This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10-11, 2024. The 10 full papers and 3 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: Theoretical Advances; Application Domains; and Tool and Blue Skies Presentations
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-64285-2
ER  -