LEADER 04453nam  22007815  450 
001 996664548103316
005 20250613132432.0
010   $a3-031-94706-1
024 7 $a10.1007/978-3-031-94706-3
035   $a(CKB)39412233300041
035   $a(DE-He213)978-3-031-94706-3
035   $a(MiAaPQ)EBC32207847
035   $a(Au-PeEL)EBL32207847
035   $a(OCoLC)1530384766
035   $a(EXLCZ)9939412233300041
100   $a20250613d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aGraph Transformation $e18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11?12, 2025, Proceedings /$fedited by Jörg Endrullis, Matthias Tichy
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (X, 247 p. 76 illus., 30 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15720
311 08$a3-031-94705-3 
327   $aGraph 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15720
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aData structures (Computer science)
606   $aInformation theory
606   $aComputer programming
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aAlgorithms
606   $aDiscrete Mathematics in Computer Science
606   $aData Structures and Information Theory
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aDesign and Analysis of Algorithms
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aData structures (Computer science)
615  0$aInformation theory.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs)
615  0$aAlgorithms.
615 14$aDiscrete Mathematics in Computer Science.
615 24$aData Structures and Information Theory.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aDesign and Analysis of Algorithms.
676   $a004.0151
702   $aEndrullis$b Jörg$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTichy$b Matthias$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996664548103316
996   $aGraph Transformation$92896451
997   $aUNISA