Ekkart Kindler

Cited by

	All	Since 2019
Citations	5426	829
h-index	36	13
i10-index	71	16

340

170

255

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 41 59 57 76 97 101 104 195 245 310 328 297 311 268 292 271 282 286 287 190 166 214 189 148 142 145 140 61

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eVerified email at pads.rwth-aachen.de
Wolfgang ReisigHumboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
Boudewijn van DongenProfessor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Wilhelm SchaeferProfessor für Informatik Universität PaderbornVerified email at upb.de
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Joel GreenyerFHDW HannoverVerified email at jgreen.de
Kees van HeeEmeritus Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Eric VerbeekScientific Engineer, Eindhoven University of TechnologyVerified email at tue.nl
Soren ChristensenAarhus UniversityVerified email at cs.au.dk
Olaf KummerCoreMedia GmbHVerified email at coremedia.com
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
Barbara WeberProfessor at University of St. GallenVerified email at unisg.ch
Lom HillahLaboratoire d'informatique de Paris 6Verified email at lip6.fr
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
Daniele VaraccaMaitre de conférences en informatique, Université Paris DiderotVerified email at pps.univ-paris-diderot.fr
Kent Inge Fagerland SimonsenVerified email at fribyte.uib.no
Andrea BurattinTechnical University of DenmarkVerified email at dtu.dk
Tijs SlaatsAssociate Professor at Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Amine Abbad-AndaloussiSt. Gallen UniversityVerified email at unisg.ch
Ella RoubtsovaOpen University of the NetherlandsVerified email at ou.nl

Ekkart Kindler

Technical University of Denmark, DTU Compute

Verified email at dtu.dk - Homepage

Model-based Software Engineering Formal Methods Business Process Management #dtusse


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
3D-visualization of Petri net models: A concept E Kindler, C Páles Workshop Algorithmen und Werkzeuge für Petrinetze, 69-78, 2003	5	2003
3D-visualization of Petri net models: Concept and realization E Kindler, C Páles Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004	41	2004
A classification of consistency models E Kindler Freie Univ., Fachbereich Mathematik und Informatik, 1999	5	1999
A compositional partial order semantics for Petri net components E Kindler Application and Theory of Petri Nets 1997: 18th International Conference …, 1997	141	1997
A framework for the definition of variants of high-level Petri nets E Kindler, L Petrucci Proceedings of the Tenth Workshop and Tutorial on Practical Use of Coloured …, 2009	7	2009
A game of tokens: A proof contest J Desel, E Kindler, R Walter Petri Net Newsletter 47, 3-4, 1994	5	1994
A primer on the Petri Net Markup Language and ISO/IEC 15909-2 LM Hillah, E Kindler, F Kordon, L Petrucci, N Treves Petri Net Newsletter 76, 9-28, 2009	104	2009
A simplified proof for a self-stabilizing protocol: A game of cards J Desel, E Kindler, T Vesper, R Walter Information Processing Letters 54 (6), 327-328, 1995	25	1995
A simulator for high-level Petri nets: An ePNK application E Kindler, M Laganeckas Petri Net Newsletter 82, 2013		2013
A Specification and Verification Method for Caching Protocols E Kindler Formal Methods for Concurrency, 1996		1996
A specification method for transaction models with data replication E Kindler, A Listl, R Walter Professoren des Inst. für Informatik, 1996	7	1996
A temporal logic for events and states in Petri nets E Kindler, T Vesper Petri Nets in System Engineering, 101-110, 1997	3	1997
A universal module concept for Petri nets – an implementation-oriented approach E Kindler, M Weber, MFK Eichsttt	44*	2001
A weakly coherent virtually shared memory scheme: Formal specification and analysis D Gomm, E Kindler TUM, Inst. für Informatik, 1991	3	1991
Activity mining for discovering software process models E Kindler, V Rubin, W Schäfer Gesellschaft für Informatik eV, 2006	42	2006
Algebraic nets with flexible arcs E Kindler, H Völzer Theoretical Computer Science 262 (1-2), 285-310, 2001	11	2001
Algebraic system nets for modelling distributed algorithms E Kindler, W Reisig Petri Net Newsletter 51 (16-31), 443, 1996	51	1996
Algebraic System Nets for Modelling Distributed Algorithms W Reisig, E Kindler Humboldt-Universität zu Berlin, 1996		1996
Algorithmen und Werkzeuge für Petri Netze (AWPN) Algorithms and Tools for Petri Nets, Proceedings of the 11th AWPN Workshop E Kindler		2004
Algorithms and Tools for Petri Nets-Proceedings of the Workshop AWPN 2017 E Kindler, R Bergenthum Algorithms and Tools for Petri nets 2017, 2017		2017

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