Detlef Plump - RankMe

107 papers A 1B 21Journal 39Unranked 40

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Space-Efficient Hierholzer: Eulerian Cycles in O(m) Time and O(n) Space. SOSA Ziad Ismaili Alaoui, Detlef Plump, Sebastian Wild
2025	—	`conf`	Implementing Binary Search Trees in GP 2 (Extended Abstract). GCM@STAF Ziad Ismaili Alaoui, Detlef Plump
2025	J	`jnl`	Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms. CoRR Ziad Ismaili Alaoui, Detlef Plump
2025	J	`jnl`	Space-Efficient Hierholzer: Eulerian Cycles in O(m) Time and O(n) Space. CoRR Ziad Ismaili Alaoui, Detlef Plump, Sebastian Wild
2024	J	`jnl`	Formalising the Double-Pushout Approach to Graph Transformation. Log. Methods Comput. Sci. Robert Söldner, Detlef Plump
2024	B	`conf`	Linear-Time Graph Programs for Unbounded-Degree Graphs. ICGT Ziad Ismaili Alaoui, Detlef Plump
2024	—	`conf`	Linear-Time Graph Programs without Preconditions. GCM Ziad Ismaili Alaoui, Detlef Plump
2023	J	`jnl`	Formalising the Double-Pushout Approach to Graph Transformation. CoRR Robert Söldner, Detlef Plump
2023	B	`conf`	Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem. ICGT Robert Söldner, Detlef Plump
2023	J	`jnl`	Monadic second-order incorrectness logic for GP 2. J. Log. Algebraic Methods Program. Christopher M. Poskitt, Detlef Plump
2023	—	`conf`	Random Graph Generation in Context-Free Graph Languages. DCM Federico Vastarini, Detlef Plump
2022	J	`jnl`	Fast rule-based graph programs. Sci. Comput. Program. Graham Campbell, Brian Courtehoute, Detlef Plump
2022	—	`conf`	Time and Space Measures for a Complete Graph Computation Model. GCM@STAF Brian Courtehoute, Detlef Plump
2022	—	`conf`	Towards Mechanised Proofs in Double-Pushout Graph Transformation. GCM@STAF Robert Söldner, Detlef Plump
2021	—	`conf`	A Small-Step Operational Semantics for GP 2. GCM@STAF Brian Courtehoute, Detlef Plump
2021	J	`jnl`	Confluence up to Garbage in Graph Transformation. CoRR Graham Campbell, Detlef Plump
2021	J	`jnl`	Confluence up to garbage in graph transformation. Theor. Comput. Sci. Graham Campbell, Detlef Plump
2021	J	`jnl`	Evolving graphs with semantic neutral drift. Nat. Comput. Timothy Atkinson, Detlef Plump, Susan Stepney
2021	B	`conf`	Verifying Graph Programs with Monadic Second-Order Logic. ICGT Gia Septiana Wulandari, Detlef Plump
2020	—	`conf`	A Fast Graph Program for Computing Minimum Spanning Trees. GCM@STAF Brian Courtehoute, Detlef Plump
2020	B	`conf`	Confluence up to Garbage. ICGT Graham Campbell, Detlef Plump
2020	J	`jnl`	Fast Rule-Based Graph Programs. CoRR Graham Campbell, Brian Courtehoute, Detlef Plump
2020	J	`jnl`	Horizontal gene transfer for recombining graphs. Genet. Program. Evolvable Mach. Timothy Atkinson, Detlef Plump, Susan Stepney
2020	J	`jnl`	Improving the GP 2 Compiler. CoRR Graham Campbell, Jack Romo, Detlef Plump
2020	J	`jnl`	The Improved GP 2 Compiler. CoRR Graham Campbell, Jack Romo, Detlef Plump
2020	J	`jnl`	Verifying Graph Programs with First-Order Logic (Extended Version). CoRR Gia Septiana Wulandari, Detlef Plump
2020	—	`conf`	Verifying Graph Programs with First-Order Logic. GCM@STAF Gia Septiana Wulandari, Detlef Plump
2019	J	`jnl`	Efficient Recognition of Graph Languages. CoRR Graham Campbell, Detlef Plump
2019	A	`conf`	Evolving graphs with horizontal gene transfer. GECCO Timothy Atkinson, Detlef Plump, Susan Stepney
2019	B	`conf`	Linear-Time Graph Algorithms in GP 2. CALCO Graham Campbell, Brian Courtehoute, Detlef Plump
2019	J	`jnl`	Preface to the special issue on the 10th International Conference on Graph Transformation. J. Log. Algebraic Methods Program. Detlef Plump, Juan de Lara
2019	—	`ed.`	Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019. GCM@STAF Rachid Echahed, Detlef Plump
2018	B	`conf`	Evolving Graphs by Graph Programming. EuroGP Timothy Atkinson, Detlef Plump, Susan Stepney
2018	—	`conf`	Modular Termination of Graph Transformation. Graph Transformation, Specifications, and Nets Detlef Plump
2018	B	`conf`	Probabilistic Graph Programs for Randomised and Evolutionary Algorithms. ICGT Timothy Atkinson, Detlef Plump, Susan Stepney
2018	J	`jnl`	Semantic Neutral Drift. CoRR Timothy Atkinson, Detlef Plump, Susan Stepney
2018	—	`conf`	Verifying a Copying Garbage Collector in GP 2. STAF Workshops Gia Septiana Wulandari, Detlef Plump
2017	J	`jnl`	A Unification Algorithm for GP 2 (Long Version). CoRR Ivaylo Hristakiev, Detlef Plump
2017	—	`conf`	Checking Graph Programs for Confluence. STAF Workshops Ivaylo Hristakiev, Detlef Plump
2017	J	`jnl`	From imperative to rule-based graph programs. J. Log. Algebraic Methods Program. Detlef Plump
2017	B	`ed.`	Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings ICGT Juan de Lara, Detlef Plump
2016	—	`conf`	Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem. STAF Workshops Ivaylo Hristakiev, Detlef Plump
2016	B	`conf`	Compiling Graph Programs to C. ICGT Christopher Bak, Detlef Plump
2016	—	`conf`	Reasoning about Graph Programs. TERMGRAPH Detlef Plump
2016	—	`conf`	Towards Critical Pair Analysis for the Graph Programming Language GP 2. WADT Ivaylo Hristakiev, Detlef Plump
2015	—	`conf`	A Reference Interpreter for the Graph Programming Language GP 2. GaM Christopher Bak, Glyn Faulkner, Detlef Plump, Colin Runciman
2015	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Detlef Plump
2015	—	`ed.`	Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 20, 2015. GCM@ICGT Detlef Plump
2014	J	`jnl`	A Unification Algorithm for GP 2. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ivaylo Hristakiev, Detlef Plump
2014	B	`conf`	Verifying Monadic Second-Order Properties of Graph Programs. ICGT Christopher M. Poskitt, Detlef Plump
2014	J	`jnl`	Verifying Monadic Second-Order Properties of Graph Programs. CoRR Christopher M. Poskitt, Detlef Plump
2013	—	`ed.`	Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013. TERMGRAPH Rachid Echahed, Detlef Plump
2013	J	`jnl`	Verifying Total Correctness of Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christopher M. Poskitt, Detlef Plump
2012	B	`conf`	$\mathcal M, \mathcal N$ -Adhesive Transformation Systems. ICGT Annegret Habel, Detlef Plump
2012	J	`jnl`	Hoare-Style Verification of Graph Programs. Fundam. Informaticae Christopher M. Poskitt, Detlef Plump
2012	J	`jnl`	Rooted Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Detlef Plump, Christopher Bak
2011	J	`jnl`	Minimizing Finite Automata with Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Detlef Plump, Robin Suri, Ambuj Singh
2011	—	`conf`	The Design of GP 2 WRS Detlef Plump
2010	B	`conf`	A Hoare Calculus for Graph Programs. ICGT Christopher M. Poskitt, Detlef Plump
2010	J	`jnl`	Checking Graph-Transformation Systems for Confluence. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Detlef Plump
2010	J	`jnl`	Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump
2009	J	`jnl`	From Hyperedge Replacement to Separation Logic and Back. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mike Dodds, Detlef Plump
2009	—	`conf`	The Graph Programming Language GP. CAI Detlef Plump
2009	—	`conf`	The Semantics of Graph Programs RULE Detlef Plump, Sandra Steinert
2008	—	`ed.`	Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2007, Braga, Portugal, March 31, 2007 TERMGRAPH@ETAPS Ian Mackie, Detlef Plump
2008	J	`jnl`	The GP Programming System. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Greg Manning, Detlef Plump
2007	—	`conf`	Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. AGTIVE Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk
2007	—	`conf`	Preface. TERMGRAPH@ETAPS Ian Mackie, Detlef Plump
2007	—	`ed.`	Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002 TERMGRAPH Ian Mackie, Detlef Plump
2007	J	`jnl`	Theory and applications of term graph rewriting: introduction. Math. Struct. Comput. Sci. Ian Mackie, Detlef Plump
2006	B	`conf`	Graph Transformation in Constant Time. ICGT Mike Dodds, Detlef Plump
2006	—	`conf`	The York Abstract Machine. GT-VMT@ETAPS Greg Manning, Detlef Plump
2005	—	`conf`	Confluence of Graph Transformation Revisited. Processes, Terms and Cycles Detlef Plump
2005	—	`conf`	Extending C for Checking Shape Safety. GT-VC@CONCUR Mike Dodds, Detlef Plump
2004	B	`conf`	Towards Graph Programs for Graph Algorithms. ICGT Detlef Plump, Sandra Steinert
2003	—	`conf`	Checking the Shape Safety of Pointer Manipulations. RelMiCS Adam Bakewell, Detlef Plump, Colin Runciman
2003	—	`conf`	Diagrams for Meaning Preservation. RTA J. B. Wells, Detlef Plump, Fairouz Kamareddine
2003	—	`conf`	Specifying Pointer Structures by Graph Reduction. AGTIVE Adam Bakewell, Detlef Plump, Colin Runciman
2002	J	`jnl`	Hierarchical Graph Transformation. J. Comput. Syst. Sci. Frank Drewes, Berthold Hoffmann, Detlef Plump
2002	—	`conf`	Preface. TERMGRAPH Ian Mackie, Detlef Plump
2002	B	`conf`	Relabelling in Graph Transformation. ICGT Annegret Habel, Detlef Plump
2002	B	`conf`	TERMGRAPH 2002 - Workshop Survey. ICGT Detlef Plump
2001	B	`conf`	Computational Completeness of Programming Languages Based on Graph Transformation. FoSSaCS Annegret Habel, Detlef Plump
2001	J	`jnl`	Double-pushout graph transformation revisited. Math. Struct. Comput. Sci. Annegret Habel, Jürgen Müller, Detlef Plump
2001	—	`conf`	Essentials of Term Graph Rewriting. GETGRATS Closing Workshop Detlef Plump
2001	—	`conf`	Solving Equations by Graph Transformation. GETGRATS Closing Workshop Annegret Habel, Detlef Plump
2000	J	`jnl`	Bisimilarity in Term Graph Rewriting. Inf. Comput. Zena M. Ariola, Jan Willem Klop, Detlef Plump
2000	B	`conf`	Hierarchical Graph Transformation. FoSSaCS Frank Drewes, Berthold Hoffmann, Detlef Plump
1999	J	`jnl`	Graph Transformation for Specification and Programming. Sci. Comput. Program. Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer
1998	—	`conf`	Complete Strategies for Term Graph Narrowing. WADT Annegret Habel, Detlef Plump
1998	—	`conf`	Double-Pushout Approach with Injective Matching. TAGT Annegret Habel, Jürgen Müller, Detlef Plump
1998	J	`jnl`	Termination of Graph Rewriting is Undecidable. Fundam. Informaticae Detlef Plump
1997	—	`conf`	Confluent rewriting of bisimilar term graphs. EXPRESS Zena M. Ariola, Jan Willem Klop, Detlef Plump
1997	B	`conf`	Simplification Orders for Term Graph Rewriting. MFCS Detlef Plump
1996	J	`jnl`	Term Graph Narrowing. Math. Struct. Comput. Sci. Annegret Habel, Detlef Plump
1995	B	`conf`	On Termination of Graph Rewriting. WG Detlef Plump
1995	—	`conf`	Unification, rewriting, and narrowing on term graphs. SEGRAGRA Annegret Habel, Detlef Plump
1994	B	`conf`	Critical Pairs in Term Graph Rewriting. MFCS Detlef Plump
1994	—	`conf`	Graph Unification and Matching. TAGT Detlef Plump, Annegret Habel
1993	—	`—`	Evaluation of functional expressions by hypergraph rewriting. Detlef Plump
1992	—	`conf`	Collapsed Tree Rewriting: Completeness, Confluence, and Modularity. CTRS Detlef Plump
1991	J	`jnl`	Implementing term rewriting by jungle evaluation. RAIRO Theor. Informatics Appl. Berthold Hoffmann, Detlef Plump
1991	J	`jnl`	Jungle evaluation. Fundam. Informaticae Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
1990	—	`conf`	Graph-Reducible Term Rewriting Systems. Graph-Grammars and Their Application to Computer Science Detlef Plump
1990	—	`conf`	Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems. CTRS Detlef Plump
1988	—	`conf`	Jungle Evaluation for Efficient Term Rewriting. ALP Berthold Hoffmann, Detlef Plump
1987	—	`conf`	Jungle Evaluation. ADT Annegret Habel, Hans-Jörg Kreowski, Detlef Plump