Detlef Plump

Cited by

	All	Since 2019
Citations	3436	860
h-index	31	17
i10-index	60	34

220

110

165

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202429 20 15 20 34 26 36 36 66 64 43 108 42 70 107 128 119 174 95 204 100 186 96 118 161 140 115 158 173 171 131 103 175 105

Public access

View all

18 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Christopher M. PoskittSingapore Management University (SMU)Verified email at smu.edu.sg
Susan StepneyProfessor of Computer Science, University of YorkVerified email at york.ac.uk
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
Ivaylo HristakievUniversity of YorkVerified email at york.ac.uk
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
Frank DrewesDepartment of Computing Science, Umeå UniversityVerified email at cs.umu.se
Gregor EngelsProfessor Computer Science, Paderborn University; Head SICP (Software Innovation Campus Paderborn)Verified email at upb.de
Andy SchürrTU DarmstadtVerified email at es.tu-darmstadt.de
Mike DoddsGalois Inc.Verified email at galois.com
Zena AriolaUniversity of OregonVerified email at cs.uoregon.edu
Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
Ákos HorváthCTO @IncQuery Labs, Honorary Associate Professor at the Fault Tolerant Research Group, BudapestVerified email at incquerylabs.com
Tom MensFull Professor in Computing Science, Faculty of Sciences, University of MonsVerified email at umons.ac.be
Tamás VajkBudapest University of Technology and EconomicsVerified email at aut.bme.hu
Bernd BohnetResearch Scientist, Google Deep MindVerified email at google.com
Iovka BonevaAssociate professor in Computer Science, University of LilleVerified email at univ-lille1.fr
Fairouz KamareddineHeriot-Watt UniversityVerified email at hw.ac.uk
Rachid EchahedResearch Fellow CNRS, GrenobleVerified email at imag.fr
Juan de LaraProfessor, Computer Science Department, Universidad Autónoma de MadridVerified email at uam.es

Detlef Plump

Department of Computer Science, University of York

Verified email at york.ac.uk - Homepage

Graph Transformation Graph-based Programming Models


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Graph transformation for specification and programming M Andries, G Engels, A Habel, B Hoffmann, HJ Kreowski, S Kuske, ... Science of Computer programming 34 (1), 1-54, 1999	307	1999
Term graph rewriting D Plump Handbook of Graph Grammars and Computing by Graph Transformation 2, 3-61, 1999	245	1999
Hierarchical graph transformation F Drewes, B Hoffmann, D Plump Journal of Computer and System Sciences 64 (2), 249-283, 2002	204	2002
Double-pushout graph transformation revisited A Habel, J Müller, D Plump Mathematical Structures in Computer Science 11 (5), 637-688, 2001	176	2001
Hypergraph rewriting: Critical pairs and undecidability of confluence D Plump Term graph rewriting: theory and practice, 201-213, 1993	144	1993
Termination of graph rewriting is undecidable D Plump Fundamenta Informaticae 33 (2), 201-209, 1998	127	1998
Computational completeness of programming languages based on graph transformation A Habel, D Plump Foundations of Software Science and Computation Structures (FOSSACS 2001 …, 2001	126	2001
The graph programming language GP D Plump Conference on Algebraic Informatics (CAI 2009), 99-122, 2009	111	2009
Confluence of graph transformation revisited D Plump Processes, Terms and Cycles: Steps on the Road to Infinity. Essays Dedicated …, 2005	110	2005
Relabelling in graph transformation A Habel, D Plump International Conference on Graph Transformation (ICGT 2002), 135-147, 2002	110	2002
Hoare-style verification of graph programs CM Poskitt, D Plump Fundamenta Informaticae 118 (1-2), 135-175, 2012	97*	2012
The Design of GP 2 D Plump Workshop on Reduction Strategies in Rewriting and Programming (WRS2011), 1-16, 2012	85	2012
Jungle evaluation A Habel, HJ Kreowski, D Plump Fundamenta Informaticae 15 (1), 37-60, 1991	79	1991
Towards graph programs for graph algorithms D Plump, S Steinert International Conference on Graph Transformation (ICGT 2004), 128-143, 2004	77	2004
Implementing term rewriting by jungle evaluation B Hoffmann, D Plump RAIRO Theoretical Informatics and Applications 25 (5), 445-472, 1991	71	1991
Specifying pointer structures by graph reduction A Bakewell, D Plump, C Runciman Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003 …, 2004	64	2004
Verifying monadic second-order properties of graph programs CM Poskitt, D Plump International Conference on Graph Transformation, 33-48, 2014	53	2014
On termination of graph rewriting D Plump Graph-Theoretic Concepts in Computer Science (WG '95), 88-100, 1995	53	1995
Evaluation of functional expressions by hypergraph rewriting D Plump ThŁse de Doctorat d’UniversitØ, Universitat Bremen, 1993	53	1993
Jungle evaluation for efficient term rewriting B Hoffmann, D Plump Algebraic and Logic Programming, 191-203, 1988	52	1988

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors