Items where authors include "Plump, Detlef"

Article

Poskitt, Chris and Plump, Detlef orcid.org/0000-0002-1148-822X (2023) Monadic second-order incorrectness logic for GP 2. Journal of Logical and Algebraic Methods in Programming. 100825. ISSN 2352-2216

Campbell, Graham, Courtehoute, Brian and Plump, Detlef orcid.org/0000-0002-1148-822X (2022) Fast Rule-Based Graph Programs. Science of Computer Programming. 102727. ISSN 0167-6423

Campbell, Graham and Plump, Detlef orcid.org/0000-0002-1148-822X (2021) Confluence up to garbage in graph transformation. Theoretical Computer Science. pp. 1-22. ISSN 0304-3975

Plump, Detlef orcid.org/0000-0002-1148-822X, Atkinson, Timothy and Stepney, Susan orcid.org/0000-0003-3146-5401 (2021) Evolving Graphs with Semantic Neutral Drift. Natural Computing. pp. 127-143. ISSN 1567-7818

Plump, Detlef orcid.org/0000-0002-1148-822X, Atkinson, Timothy and Stepney, Susan orcid.org/0000-0003-3146-5401 (2020) Horizontal Gene Transfer for Recombining Graphs. Genetic programming and evolvable machines. 321–347. ISSN 1389-2576

Plump, Detlef orcid.org/0000-0002-1148-822X (2017) From Imperative to Rule-based Graph Programs. Journal of Logical and Algebraic Methods in Programming. pp. 154-173. ISSN 2352-2216

Hristakiev, Ivaylo and Plump, Detlef orcid.org/0000-0002-1148-822X (2015) A Unification Algorithm for GP 2. Electronic Communications of the EASST. ISSN 1863-2122

Plump, Detlef orcid.org/0000-0002-1148-822X and Poskitt, Christopher (2013) Verifying Total Correctness of Graph Programs. Electronic Communications of the EASST. ISSN 1863-2122

Singh, Amritesh, Plump, Detlef orcid.org/0000-0002-1148-822X and Suri, Robin (2011) Minimizing Finite Automata with Graph Programs. Electronic Communications of the EASST. ISSN 1863-2122

Plump, Detlef orcid.org/0000-0002-1148-822X and Dodds, Michael orcid.org/0000-0002-4439-0130 (2009) From Hyperedge Replacement to Separation Logic and Back. Electronic Communications of the EASST. ISSN 1863-2122

Book Section

Plump, Detlef orcid.org/0000-0002-1148-822X (2018) Modular Termination of Graph Transformation. In: Heckel, Reiko and Taentzer, Gabriele, (eds.) Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Lecture Notes in Computer Science . Springer , DEU , pp. 231-244.

Plump, Detlef orcid.org/0000-0002-1148-822X (2010) Checking Graph-Transformation Systems for Confluence. In: Drewes, Frank, Habel, Annegret, Hoffmann, Berthold and Plump, Detlef, (eds.) Manipulation of Graphs, Algebras and Pictures. Electronic Communications of the EASST . Technische Universität Berlin .

Proceedings Paper

Soeldner, Robert and Plump, Detlef orcid.org/0000-0002-1148-822X (2023) Mechanised DPO Theory : Uniqueness of Derivations and Church-Rosser Theorem. In: Fernandez, Maribel and Poskitt, Chris, (eds.) Proceedings 16th International Conference on Graph Transformation (ICGT 2023). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 123-142.

Courtehoute, Brian and Plump, Detlef orcid.org/0000-0002-1148-822X (2022) Time and Space Measures for a Complete Graph Computation Model. In: Proceedings of the Thirteenth International Workshop on Graph Computation Models. International Workshop on Graph Computation Models, 06 Jul 2022, France. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , Nantes , pp. 23-44.

Soeldner, Robert and Plump, Detlef orcid.org/0000-0002-1148-822X (2022) Towards Mechanised Proofs in Double-Pushout Graph Transformation. In: Proceedings of the Thirteenth International Workshop on Graph Computation Models. International Workshop on Graph Computation Models, 06 Jul 2022. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , FRA , pp. 59-75.

Courtehoute, Brian and Plump, Detlef orcid.org/0000-0002-1148-822X (2021) A Small-Step Operational Semantics for GP 2. In: Hofmann, Berthold and Minas, Mark, (eds.) Graph Computation Models (GCM 2021), Revised Selected Papers. UNSPECIFIED. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , 89–110.

Wulandari, Gia and Plump, Detlef orcid.org/0000-0002-1148-822X (2021) Verifying Graph Programs with Monadic Second-Order Logic. In: Gadducci, Fabio and Kehrer, Timo, (eds.) Proceedings 14th International Conference on Graph Transformation (ICGT 2021). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 240-261.

Courtehoute, Brian and Plump, Detlef orcid.org/0000-0002-1148-822X (2020) A Fast Graph Program for Computing Minimum Spanning Trees. In: Graph Computation Models (GCM 2020), Revised Selected Papers. UNSPECIFIED. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , pp. 163-180.

Wulandari, Gia and Plump, Detlef orcid.org/0000-0002-1148-822X (2020) Verifying Graph Programs with First-Order Logic. In: Graph Computation Models (GCM 2020), Revised Selected Papers. UNSPECIFIED. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , pp. 181-200.

Plump, Detlef orcid.org/0000-0002-1148-822X and Campbell, Graham (2020) Confluence up to Garbage. In: Gadducci, Fabio and Kehrer, Timo, (eds.) Proceedings 13th International Conference on Graph Transformation (ICGT 2020). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 20-37.

Campbell, Graham, Romo, Jack and Plump, Detlef orcid.org/0000-0002-1148-822X (2020) The Improved GP 2 Compiler. In: Hoffmann, Berthold and Minas, Mark, (eds.) GCM 2020 Graph Computation Models:11th International Workshop pre-proceedings. UNSPECIFIED. GCM , pp. 206-217.

Campbell, Graham, Courtehoute, Brian and Plump, Detlef orcid.org/0000-0002-1148-822X (2019) Linear-Time Graph Algorithms in GP 2. In: Proceedings 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). UNSPECIFIED. Leibniz International Proceedings in Informatics (LIPICS) . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik , 16:1-16:23.

Plump, Detlef orcid.org/0000-0002-1148-822X, Atkinson, Timothy and Stepney, Susan orcid.org/0000-0003-3146-5401 (2019) Evolving Graphs with Horizontal Gene Transfer. In: Proceedings Genetic and Evolutionary Computation Conference (GECCO 2019). UNSPECIFIED. ACM , pp. 968-976.

Plump, Detlef orcid.org/0000-0002-1148-822X and Wulandari, Gia (2018) Verifying a Copying Garbage Collector in GP 2. In: Mazzara, Manuel, Salaün, Gwen and Ober, Iulian, (eds.) Software Technologies:Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. 9th International Workshop on Graph Computation Models (GCM 2018), 27 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , FRA , pp. 479-494.

Atkinson, Timothy, Plump, Detlef orcid.org/0000-0002-1148-822X and Stepney, Susan orcid.org/0000-0003-3146-5401 (2018) Probabilistic Graph Programs for Randomised and Evolutionary Algorithms. In: Weber, Jens and Lambers, Leen, (eds.) Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 63-78.

Plump, Detlef orcid.org/0000-0002-1148-822X and Hristakiev, Ivaylo (2018) Checking Graph Programs for Confluence. In: Seidl, Martina and Zschaler, Steffen, (eds.) Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 92-108.

Atkinson, Timothy, Plump, Detlef orcid.org/0000-0002-1148-822X and Stepney, Susan orcid.org/0000-0003-3146-5401 (2018) Evolving Graphs by Graph Programming. In: Cagnoni, Stefano, Zhang, Mengjie, Garcia-Sanchez, Pablo, Castelli, Mauro and Sekanina, Lukas, (eds.) Genetic Programming - 21st European Conference, EuroGP 2018, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 35-51.

Plump, Detlef orcid.org/0000-0002-1148-822X and Hristakiev, Ivaylo (2017) Towards Critical Pair Analysis for the Graph Programming Language GP 2. In: James, Phillip and Roggenbach, Markus, (eds.) Recent Trends in Algebraic Development Techniques (WADT 2016), Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 153-169.

Plump, Detlef orcid.org/0000-0002-1148-822X, Atkinson, Timothy and Stepney, Susan orcid.org/0000-0003-3146-5401 (2017) Probabilistic Graph Programming. In: Corradini, Andrea, (ed.) Proceedings 8th International Workshop on Graph Computation Models (GCM 2017). UNSPECIFIED. , pp. 1-16.

Plump, Detlef orcid.org/0000-0002-1148-822X and Hristakiev, Ivaylo (2016) Attributed Graph Transformation via Rule Schemata : Church-Rosser Theorem. In: Milazzo, Paolo, Wimmer, Manuel and Varró, Dániel, (eds.) Software Technologies: Applications and Foundations:STAF 2016 Collocated Workshops, Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 145-160.

Bak, Christopher Peter and Plump, Detlef orcid.org/0000-0002-1148-822X (2016) Compiling Graph Programs to C. In: Echahed, Rachid and Minas, Mark, (eds.) Proceedings 9th International Conference on Graph Transformation (ICGT 2016). 9th International Conference on Graph Transformation (ICGT 2016), 05-06 Jul 2016. Lecture Notes in Computer Science . Springer , AUT , pp. 102-117.

Plump, Detlef orcid.org/0000-0002-1148-822X (2016) Reasoning about Graph Programs. In: Corradini, Andrea and Zantema, Hans, (eds.) Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016). UNSPECIFIED. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , pp. 35-44.

Bak, Christopher, Faulkner, Glyn, Plump, Detlef orcid.org/0000-0002-1148-822X et al. (1 more author) (2015) A Reference Interpreter for the Graph Programming Language GP 2. In: Rensink, Arend and Zambon, Eduardo, (eds.) Proceedings 1st Workshop Graphs as Models (GaM 2015). Graphs as Models, 11-12 Apr 2015. Electronic Proceedings in Theoretical Computer Science . Electronic Proceedings in Theoretical Computer Science , GBR , pp. 48-64.

Plump, Detlef orcid.org/0000-0002-1148-822X (2014) From Imperative to Rule-based Graph Programs (Extended Abstract). In: Proceedings 26th Nordic Workshop on Programming Theory (NWPT 2014). 26th Nordic Workshop on Programming Theory, 29-31 Oct 2014. , SWE .

Plump, Detlef orcid.org/0000-0002-1148-822X (2012) The Design of GP 2. In: Escobar, Santiago, (ed.) Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011). 10th International Workshop on Reduction Strategies in Rewriting and Programming, 29 May 2011. Electronic Proceedings in Theoretical Computer Science . , SRB , pp. 1-12.

Plump, Detlef orcid.org/0000-0002-1148-822X and Bak, Christopher (2012) Rooted Graph Programs. In: Krause, Christian and Westfechtel, Bernhard, (eds.) Proceedings 7th International Workshop on Graph Based Tools (GraBaTs 2012). 7th International Workshop on Graph Based Tools (GraBaTs 2012), 24 Sep 2012. Electronic Communications of the EASST . , DEU .

Plump, Detlef orcid.org/0000-0002-1148-822X (2010) Graph Programs. In: Kirchner, Helene and Munoz, Cesar, (eds.) Pre-Proceedings 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010). UNSPECIFIED. , pp. 39-44.

Plump, Detlef orcid.org/0000-0002-1148-822X and Poskitt, Christopher Michael (2010) Hoare Logic for Graph Programs. In: Naumann, David and Yang, Hongseok, (eds.) Proceedings THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010). UNSPECIFIED. .

Plump, Detlef orcid.org/0000-0002-1148-822X and Steinert, Sandra (2010) The Semantics of Graph Programs. In: Mackie, Ian and Martins Moreira, Anamaria, (eds.) Proceedings 10th International Workshop on Rule-Based Programming (RULE 2009). Tenth International Workshop on Rule-Based Programming (RULE 2009), 28 Jun 2009. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , BRA , pp. 27-38.

Plump, Detlef orcid.org/0000-0002-1148-822X, Drewes, Frank and Hoffmann, Berthold (2000) Hierarchical Graph Transformation. In: Proceedings Foundations of Software Science and Computation Structures (FOSSACS 2000). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 98-113.

Plump, Detlef orcid.org/0000-0002-1148-822X (1997) Simplification Orders for Term Graph Rewriting. In: Proceedings Mathematical Foundations of Computer Science (MFCS 1997). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 458-467.

Plump, Detlef orcid.org/0000-0002-1148-822X (1994) Critical Pairs in Term Graph Rewriting. In: Proc. Mathematical Foundations of Computer Science (MFCS 1994). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 556-566.