This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1–2, 2026.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the understanding of conflict analysis and parallel transformations, verification of graph transformation and of programs using graphs, and advancements in graphs for neural applications and stochastic rewriting.

Produktinformation

Utgivningsdatum2026-06-28
Mått155 x 235 x 16 mm
Vikt384 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor235
FörlagSpringer Nature Switzerland AG
ISBN9783032297297

Tillhör följande kategorier

.- Technical Papers..- LR-Based Parsing of Hypergraph Languages: a Positional Grammar Approach..- Conditional Borrowing Hyperedge Replacement..- Higher-order Graph Transformation Utilizing Diagram Categories..- Parallel Transformations as Colimits..- Conflict Essences for Transformation Rules with Nested Application Conditions..- Formalising and Verifying Graph Programs with Higher-Order Logic..- Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars..- CGACell: A Cellular Automata-Based Graph Transformation Framework for Neural Pooling..- From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stochastic and Probabilistic Systems..- Tool and Vision Papers..- GHL: An Extensible Library for Flexible and Performant Graph Pattern Matching and Rewriting..- EvolveGDB: Model-Driven Graph Schema Transformation..- User-defined Operations in GROOVE..- Benchmark First: Defining Tasks for Graph Transformation Learning.

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

969 kr

Du kanske också är intresserad av

Del 12741

Graph Transformation

Fabio Gadducci, Timo Kehrer

Häftad, 2021

729 kr

Del 14774

Graph Transformation

Russ Harmer, Jens Kosiol

Häftad, 2024

939 kr

Graph Transformation

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg

Häftad, 2012

729 kr

Del 11629

Graph Transformation

Esther Guerra, Fernando Orejas

Häftad, 2019

729 kr

Graph Transformation

Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg

Häftad, 2002

729 kr

Del 10373

Graph Transformation

Juan de Lara, Detlef Plump

Häftad, 2017

729 kr

Del 13961

Graph Transformation

Maribel Fernández, Christopher M. Poskitt

Häftad, 2023

939 kr

Del 9151

Graph Transformation

Francesco Parisi-Presicce, Bernhard Westfechtel

Häftad, 2015

699 kr

Del 8571

Graph Transformation

Holger Giese, Barbara König

Häftad, 2014

699 kr

Del 13349

Graph Transformation

Nicolas Behr, Daniel Strüber

Häftad, 2022

799 kr

Del 16624 i serien Lecture Notes in Computer Science

Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1–2, 2026, Proceedings

Häftad, Engelska, 2026

AvBlair Archibald,Oszkár Semeráth

869 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

729 kr

Skickas inom 10-15 vardagar

Häftad

729 kr

Skickas inom 10-15 vardagar

Häftad

729 kr

Skickas inom 10-15 vardagar

Häftad

799 kr

Skickas inom 10-15 vardagar

Häftad

939 kr

Skickas inom 10-15 vardagar

Häftad

939 kr

Skickas inom 10-15 vardagar

Häftad

939 kr

Skickas inom 10-15 vardagar

Häftad

699 kr

Skickas inom 10-15 vardagar

Häftad

699 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2026-06-28
Mått155 x 235 x 16 mm
Vikt384 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor235
FörlagSpringer Nature Switzerland AG
ISBN9783032297297

Tillhör följande kategorier

.- Technical Papers..- LR-Based Parsing of Hypergraph Languages: a Positional Grammar Approach..- Conditional Borrowing Hyperedge Replacement..- Higher-order Graph Transformation Utilizing Diagram Categories..- Parallel Transformations as Colimits..- Conflict Essences for Transformation Rules with Nested Application Conditions..- Formalising and Verifying Graph Programs with Higher-Order Logic..- Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars..- CGACell: A Cellular Automata-Based Graph Transformation Framework for Neural Pooling..- From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stochastic and Probabilistic Systems..- Tool and Vision Papers..- GHL: An Extensible Library for Flexible and Performant Graph Pattern Matching and Rewriting..- EvolveGDB: Model-Driven Graph Schema Transformation..- User-defined Operations in GROOVE..- Benchmark First: Defining Tasks for Graph Transformation Learning.