Detlef Plump

Cytowane przez

	Wszystkie	Od 2020
Cytowania	3493	725
h-indeks	31	14
i10-indeks	64	32

220

110

165

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202530 21 14 19 32 25 36 36 66 63 43 109 39 68 107 130 122 171 96 212 103 185 96 119 162 140 122 155 176 179 131 105 151 132 25

Dostęp publiczny

Wyświetl wszystko

18 artykułów

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

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

Obserwuj

Detlef Plump

Department of Computer Science, University of York

Zweryfikowany adres z york.ac.uk - Strona główna

Graph Transformation Graph-based Programming Models


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	306	1999
Term graph rewriting D Plump Handbook of Graph Grammars and Computing by Graph Transformation 2, 3-61, 1999	249	1999
Hierarchical graph transformation F Drewes, B Hoffmann, D Plump Journal of Computer and System Sciences 64 (2), 249-283, 2002	205	2002
Double-pushout graph transformation revisited A Habel, J Müller, D Plump Mathematical Structures in Computer Science 11 (5), 637-688, 2001	183	2001
Hypergraph rewriting: Critical pairs and undecidability of confluence D Plump Term graph rewriting: theory and practice, 201-213, 1993	145	1993
Termination of graph rewriting is undecidable D Plump Fundamenta Informaticae 33 (2), 201-209, 1998	130	1998
Computational completeness of programming languages based on graph transformation A Habel, D Plump Foundations of Software Science and Computation Structures (FOSSACS 2001 …, 2001	128	2001
The graph programming language GP D Plump Conference on Algebraic Informatics (CAI 2009), 99-122, 2009	116	2009
Confluence of graph transformation revisited D Plump Processes, Terms and Cycles: Steps on the Road to Infinity. Essays Dedicated …, 2005	112	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	100*	2012
The Design of GP 2 D Plump Workshop on Reduction Strategies in Rewriting and Programming (WRS2011), 1-16, 2012	89	2012
Towards graph programs for graph algorithms D Plump, S Steinert International Conference on Graph Transformation (ICGT 2004), 128-143, 2004	78	2004
Jungle evaluation A Habel, HJ Kreowski, D Plump Fundamenta Informaticae 15 (1), 37-60, 1991	76	1991
Implementing term rewriting by jungle evaluation B Hoffmann, D Plump RAIRO Theoretical Informatics and Applications 25 (5), 445-472, 1991	72	1991
Specifying pointer structures by graph reduction A Bakewell, D Plump, C Runciman Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003 …, 2004	63	2004
On termination of graph rewriting D Plump Graph-Theoretic Concepts in Computer Science (WG '95), 88-100, 1995	56	1995
Verifying monadic second-order properties of graph programs CM Poskitt, D Plump International Conference on Graph Transformation, 33-48, 2014	54	2014
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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy