@article(Agrawal_2006, author = {Aditya Agrawal and Gabor Karsai and Sandeep Neema and Feng Shi and Attila Vizhanyo}, year = {2006}, title = {The design of a language for model transformations}, journal = {Software {\&} Systems Modeling}, volume = {5}, number = {3}, pages = {261--288}, doi = {10.1007/s10270-006-0027-7}, ) @incollection(CMR+97-AlgebaricApproaches, author = {A. Corradini and U. Montanari and F. Rossi and H. Ehrig and R. Heckel and M. L{\"o}we}, year = {1997}, title = {Algebraic Approaches to Graph Transformations -- Part I: Basic Concepts and Double Pushout Approach}, editor = {G. Rozenberg}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation}, publisher = {World Scientific}, pages = {163--245}, doi = {10.1142/9789812384720\_0003}, ) @book(FunGT06, author = {H. Ehrig and K. Ehrig and U. Prange and G. Taentzer}, year = {2006}, title = {Fundamentals of Algebraic Graph Transformation}, publisher = {Springer-Verlag}, doi = {10.1007/3-540-31188-2}, ) @article(10.5555/2736754.2736796, author = {Xinbo Gao and Bing Xiao and Dacheng Tao and Xuelong Li}, year = {2010}, title = {A Survey of Graph Edit Distance}, journal = {Pattern Anal. Appl.}, volume = {13}, number = {1}, pages = {113–129}, doi = {10.1007/s10044-008-0141-y}, ) @inproceedings(grgen, author = {Gei{\ss}, Rubino and Gernot Veit Batz and Daniel Grund and Sebastian Hack and Adam Szalkowski}, year = {2006}, title = {GrGen: A Fast SPO-Based Graph Rewriting Tool}, booktitle = {Graph Transformations - Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings}, series = {LNCS}, volume = {4178}, publisher = {Springer, Berlin}, pages = {383--397}, doi = {10.1007/11841883\_27}, ) @inproceedings(HP01:ComputationalCompleteness, author = {Annegret Habel and Detlef Plump}, year = {2001}, title = {Computational Completeness of Programming Languages Based on Graph Transformation}, editor = {Furio Honsell and Marino Miculan}, booktitle = {Foundations of Software Science and Computation Structures}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {230--245}, doi = {10.1007/3-540-45315-6\_15}, ) @incollection(HT20-BeyondIndividual, author = {Reiko Heckel and Gabriele Taentzer}, year = {2020}, title = {Beyond Individual Rules: Usage Scenarios and Control Structures}, booktitle = {Graph Transformation for Software Engineers}, publisher = {Springer International Publishing}, pages = {67--85}, doi = {10.1007/978-3-030-43916-3\_3}, ) @book(GT20-GraphTransformation, author = {Reiko Heckel and Gabriele Taentzer}, year = {2020}, title = {Graph Transformation for Software Engineers}, publisher = {Springer International Publishing}, doi = {10.1007/978-3-030-43916-3}, ) @techreport(Ma22-GraphRewriting, author = {Adam Machowczyk}, year = {2022}, title = {{Graph Rewriting for Graph Neural Networks, CO7201 Individual Project, Department of Informatics, University of Leicester}}, type = {Technical Report}, institution = {University of Leicester}, ) @inproceedings(FUJABA, author = {Ulrich Nickel and J{\"o}rg Niere and Albert Z{\"u}ndorf}, year = {2000}, title = {The {FUJABA} environment}, booktitle = {Proceedings of the 22nd international conference on Software engineering - {ICSE} {\textquotesingle}00}, publisher = {{ACM} Press}, doi = {10.1145/337180.337620}, ) @incollection(OEP08-ALogic, author = {Fernando Orejas and Hartmut Ehrig and Ulrike Prange}, year = {2008}, title = {A Logic of Graph Constraints}, booktitle = {Fundamental Approaches to Software Engineering}, series = {LNCS}, volume = {4961}, publisher = {Springer Berlin Heidelberg}, pages = {179--198}, doi = {10.1007/978-3-540-78743-3\_14}, ) @incollection(Plum09-TheGraph, author = {Detlef Plump}, year = {2009}, title = {The Graph Programming Language {GP}}, booktitle = {Algebraic Informatics}, series = {LNCS}, volume = {5725}, publisher = {Springer Berlin Heidelberg}, pages = {99--122}, doi = {10.1007/978-3-642-03564-7\_6}, ) @article(Plum12-TheDesign, author = {Detlef Plump}, year = {2012}, title = {The Design of GP 2}, journal = {EPTCS 82, 2012, pp. 1-16}, doi = {10.4204/EPTCS.82.1}, eprint = {1204.5541}, ) @inproceedings(Groove03, author = {Arend Rensink}, year = {2004}, title = {The GROOVE Simulator: A Tool for State Space Generation}, editor = {John L. Pfaltz and Manfred Nagl and Boris B{\"o}hlen}, booktitle = {Applications of Graph Transformations with Industrial Relevance}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {479--485}, doi = {10.1007/978-3-540-25959-6\_40}, ) @article(rensink2007isomorphism, author = {Arend Rensink}, year = {2007}, title = {Isomorphism checking in GROOVE}, journal = {Electronic Communications of the EASST}, volume = {1}, doi = {10.14279/tuj.eceasst.1.77}, ) @incollection(AGG2.0, author = {Olga Runge and Claudia Ermel and Gabriele Taentzer}, year = {2012}, title = {{AGG} 2.0 {\textendash} New Features for Specifying and Analyzing Algebraic Graph Transformations}, booktitle = {Applications of Graph Transformations with Industrial Relevance}, series = {LNCS}, volume = {7233}, publisher = {Springer Berlin Heidelberg}, pages = {81--88}, doi = {10.1007/978-3-642-34176-2\_8}, ) @incollection(SWZ99-Progres, author = {Andy Sch{\"u}rr and Andreas J Winter and Albert Z{\"u}ndorf}, year = {1999}, title = {The PROGRES approach: Language and environment}, booktitle = {Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2: Applications, Languages and Tools}, publisher = {World Scientific}, pages = {487--550}, doi = {10.1142/9789812815149\_0013}, ) @incollection(Tae04-AGG, author = {Gabriele Taentzer}, year = {2004}, title = {{AGG}: A~Graph Transformation Environment for Modeling and Validation of Software}, booktitle = {Applications of Graph Transformations with Industrial Relevance}, series = {LNCS}, volume = {3062}, publisher = {Springer Berlin Heidelberg}, pages = {446--453}, doi = {10.1007/978-3-540-25959-6\_35}, ) @incollection(Web17-GrapeA, author = {Jens H. Weber}, year = {2017}, title = {{GRAPE} {\textendash} A Graph Rewriting and Persistence Engine}, booktitle = {Graph Transformation}, series = {LNCS}, volume = {10373}, publisher = {Springer International Publishing}, pages = {209--220}, doi = {10.1007/978-3-319-61470-0\_13}, ) @incollection(Web21-GrapePress, author = {Jens H. Weber}, year = {2021}, title = {{GrapePress} - A Computational Notebook for Graph Transformations}, booktitle = {Graph Transformation}, series = {LNCS}, volume = {12741}, publisher = {Springer International Publishing}, pages = {294--302}, doi = {10.1007/978-3-030-78946-6\_16}, ) @incollection(Web22-ToolSupport, author = {Jens H. Weber}, year = {2022}, title = {Tool support for Fully-Persistent Graph Rewriting - GrapeVine}, booktitle = {Graph Transformation}, series = {LNCS}, volume = {13349}, publisher = {Springer International Publishing}, pages = {195--206}, doi = {10.1007/978-3-031-09843-7\_11}, ) @incollection(ZS91-NondeterministicControl, author = {Albert Z{\"u}ndorf and Andy Sch{\"u}rr}, year = {1992}, title = {Nondeterministic control structures for graph rewriting systems}, booktitle = {Graph-Theoretic Concepts in Computer Science}, series = {LNCS}, volume = {570}, publisher = {Springer Berlin Heidelberg}, pages = {48--62}, doi = {10.1007/3-540-55121-2\_5}, )