Detlef Plump

Citata da

	Tutte	Dal 2020
Citazioni	3475	720
Indice H	31	14
i10-index	63	30

220

110

165

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202529 21 14 20 34 26 36 36 66 64 43 108 42 70 108 129 122 170 96 203 104 183 96 118 161 140 115 159 174 170 131 103 163 136 15

Accesso pubblico

Visualizza tutto

18 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

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

Segui

Detlef Plump

Department of Computer Science, University of York

Email verificata su york.ac.uk - Home page

Graph Transformation Graph-based Programming Models


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	308	1999
Term graph rewriting D Plump Handbook of Graph Grammars and Computing by Graph Transformation 2, 3-61, 1999	247	1999
Hierarchical graph transformation F Drewes, B Hoffmann, D Plump Journal of Computer and System Sciences 64 (2), 249-283, 2002	207	2002
Double-pushout graph transformation revisited A Habel, J Müller, D Plump Mathematical Structures in Computer Science 11 (5), 637-688, 2001	180	2001
Hypergraph rewriting: Critical pairs and undecidability of confluence D Plump Term graph rewriting: theory and practice, 201-213, 1993	144	1993
Computational completeness of programming languages based on graph transformation A Habel, D Plump Foundations of Software Science and Computation Structures (FOSSACS 2001 …, 2001	127	2001
Termination of graph rewriting is undecidable D Plump Fundamenta Informaticae 33 (2), 201-209, 1998	127	1998
The graph programming language GP D Plump Conference on Algebraic Informatics (CAI 2009), 99-122, 2009	112	2009
Confluence of graph transformation revisited D Plump Processes, Terms and Cycles: Steps on the Road to Infinity. Essays Dedicated …, 2005	111	2005
Relabelling in graph transformation A Habel, D Plump International Conference on Graph Transformation (ICGT 2002), 135-147, 2002	111	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	88	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	78	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
Evaluation of functional expressions by hypergraph rewriting D Plump ThŁse de Doctorat d’UniversitØ, Universitat Bremen, 1993	54	1993
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
Jungle evaluation for efficient term rewriting B Hoffmann, D Plump Algebraic and Logic Programming, 191-203, 1988	52	1988

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori