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