@article(Agrawal-Karsai-Neema-Shi-Vizhanyo06a, 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 and System Modeling}, volume = {5}, number = {3}, pages = {261--288}, doi = {10.1007/s10270-006-0027-7}, ) @inproceedings(Arendt-Biermann-Jurack-Krause-Taentzer10a, author = {Thorsten Arendt and Enrico Biermann and Stefan Jurack and Christian Krause and Gabriele Taentzer}, year = {2010}, title = {Henshin: Advanced Concepts and Tools for In-Place {EMF} Model Transformations}, booktitle = {Model Driven Engineering Languages and Systems (MODELS 2010)}, series = {Lecture Notes in Computer Science}, volume = {6394}, publisher = {Springer}, pages = {121--135}, doi = {10.1007/978-3-642-16145-2\_9}, ) @phdthesis(Bak15a, author = {Christopher Bak}, year = {2015}, title = {{GP\tmspace+\thinmuskip{.1667em}2}: Efficient Implementation of a Graph Programming Language}, school = {Department of Computer Science, University of York}, url = {http://etheses.whiterose.ac.uk/12586/}, ) @inproceedings(Bak-Plump12a, author = {Christopher Bak and Detlef Plump}, year = {2012}, title = {Rooted Graph Programs}, booktitle = {Proc.\ International Workshop on Graph Based Tools (GraBaTs 2012)}, series = {Electronic Communications of the EASST}, volume = {54}, doi = {10.14279/tuj.eceasst.54.780}, ) @inproceedings(Bak-Plump16a, author = {Christopher Bak and Detlef Plump}, year = {2016}, title = {Compiling Graph Programs to {C}}, booktitle = {Proc.\ International Conference on Graph Transformation ({ICGT 2016})}, series = {LNCS}, volume = {9761}, publisher = {Springer}, pages = {102--117}, doi = {10.1007/978-3-319-40530-8\_7}, ) @article(Cunyet-Khali-2001, author = {Bazlama\c{c}c{\i}, C{\"u}neyt F. and Khalil S. Hindi}, year = {2001}, title = {Minimum-weight spanning tree algorithms A survey and empirical study}, journal = {Computers \& Operations Research}, volume = {28}, number = {8}, pages = {767--785}, doi = {10.1016/S0305-0548(00)00007-1}, ) @unpublished(CampbellCourtehoutePlump20, author = {Graham Campbell and Brian Courtehoute and Detlef Plump}, title = {Fast Rule-Based Graph Programs}, note = {Work in progress}, ) @inproceedings(Campbell-Courtehoute-Plump-2019, author = {Graham Campbell and Brian Courtehoute and Detlef Plump}, year = {2019}, title = {Linear-Time Graph Algorithms in {GP\tmspace+\thinmuskip{.1667em}2}}, booktitle = {Proceedings 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)}, series = {Leibniz International Proceedings in Informatics (LIPICS)}, publisher = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}, pages = {16:1--16:23}, doi = {10.4230/LIPIcs.CALCO.2019.16}, ) @article(CampbellRomoPlump20, author = {Graham Campbell and Jack Rom\"o and Detlef Plump}, year = {2020}, title = {The Improved {GP\tmspace+\thinmuskip{.1667em}2} Compiler}, journal = {ArXiv e-prints}, volume = {arXiv:2010.03993}, url = {https://arxiv.org/abs/2010.03993}, note = {11 pages}, ) @inproceedings(Courtehoute-Plump-2020, author = {Brian Courtehoute and Detlef Plump}, year = {2020}, title = {A Fast Graph Program for Computing Minimum Spanning Trees}, booktitle = {Proc. 11th International Workshop on Graph Computation Models (GCM 2020)}, pages = {165--183}, url = {http://www.cs.york.ac.uk/plasma/publications/pdf/Courtehoute-Plump.GCM.20.pdf}, note = {Pre-proceedings version of this paper}, ) @inproceedings(Fernandez-Kirchner-Mackie-Pinaud14a, author = {Maribel Fern{\'a}ndez and H{\'e}l{\`e}ne Kirchner and Ian Mackie and Bruno Pinaud}, year = {2014}, title = {Visual Modelling of Complex Systems: Towards an Abstract Machine for {PORGY}}, booktitle = {Proc.\ Computability in Europe (CiE 2014)}, series = {Lecture Notes in Computer Science}, volume = {8493}, publisher = {Springer}, pages = {183--193}, doi = {10.1007/978-3-319-08019-2\_19}, ) @article(Ghamarian-deMol-Rensink-Zambon-Zimakova12a, author = {Amir Hossein Ghamarian and Maarten de Mol and Arend Rensink and Eduardo Zambon and Maria Zimakova}, year = {2012}, title = {Modelling and analysis using {GROOVE}}, journal = {International Journal on Software Tools for Technology Transfer}, volume = {14}, number = {1}, pages = {15--40}, doi = {10.1007/s10009-011-0186-x}, ) @inproceedings(Habel-Plump02c, author = {Annegret Habel and Detlef Plump}, year = {2002}, title = {Relabelling in Graph Transformation}, booktitle = {Proc.\ International Conference on Graph Transformation (ICGT 2002)}, series = {Lecture Notes in Computer Science}, volume = {2505}, publisher = {Springer}, pages = {135--147}, doi = {10.1007/3-540-45832-8\_12}, ) @article(Jakumeit-Buchwald-Kroll10a, author = {Edgar Jakumeit and Sebastian Buchwald and Moritz Kroll}, year = {2010}, title = {{GrGen.NET} - The expressive, convenient and fast graph rewrite system}, journal = {International Journal on Software Tools for Technology Transfer}, volume = {12}, number = {3--4}, pages = {263--271}, doi = {10.1007/s10009-010-0148-8}, ) @inproceedings(Plump12a, author = {Detlef Plump}, year = {2012}, title = {The Design of {GP\tmspace+\thinmuskip{.1667em}2}}, booktitle = {Proc.\ Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011)}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {82}, pages = {1--16}, doi = {10.4204/EPTCS.82.1}, ) @article(Plump17a, author = {Detlef Plump}, year = {2017}, title = {From Imperative to Rule-based Graph Programs}, journal = {Journal of Logical and Algebraic Methods in Programming}, volume = {88}, pages = {154--173}, doi = {10.1016/j.jlamp.2016.12.001}, ) @inproceedings(Runge-Ermel-Taentzer11a, author = {Olga Runge and Claudia Ermel and Gabriele Taentzer}, year = {2012}, title = {{AGG 2.0} --- New Features for Specifying and Analyzing Algebraic Graph Transformations}, booktitle = {Proc.\ Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011)}, series = {Lecture Notes in Computer Science}, volume = {7233}, publisher = {Springer}, pages = {81--88}, doi = {10.1007/978-3-642-34176-2\_8}, ) @book(Sedgewick-1997, author = {Robert Sedgewick}, year = {1997}, title = {Algorithms in C: Parts 1-4, Fundamentals, Data Structures, Sorting, and Searching}, edition = {3rd}, publisher = {Addison-Wesley}, ) @book(Sedgewick-2001, author = {Robert Sedgewick}, year = {2001}, title = {Algorithms in C, Part 5: Graph Algorithms}, edition = {3rd}, publisher = {Addison-Wesley}, ) @book(Skiena-2008, author = {Steven S. Skiena}, year = {2008}, title = {The Algorithm Design Manual}, edition = {2nd}, publisher = {Springer}, doi = {10.1007/978-1-84800-070-4}, ) @inproceedings(Wulandari-Plump-2020, author = {Gia Wulandari and Detlef Plump}, year = {2020}, title = {Verifying Graph Programs with First-Order Logic}, booktitle = {Graph Computation Models (GCM 2020), Revised Selected Papers}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {This volume}, )