| 2009 |
|---|
| 49 | EE | Ekkart Kindler:
Model-Based Software Engineering and Process-Aware Information Systems.
T. Petri Nets and Other Models of Concurrency 2: 27-45 (2009) |
| 2007 |
|---|
| 48 | EE | Vladimir Rubin,
Christian W. Günther,
Wil M. P. van der Aalst,
Ekkart Kindler,
Boudewijn F. van Dongen,
Wilhelm Schäfer:
Process Mining Framework for Software Processes.
ICSP 2007: 169-181 |
| 47 | EE | Joel Greenyer,
Ekkart Kindler:
Reconciling TGGs with QVT.
MoDELS 2007: 16-30 |
| 2006 |
|---|
| 46 | EE | Ekkart Kindler,
Vladimir Rubin,
Wilhelm Schäfer:
Incremental Workflow Mining for Process Flexibility.
BPMDS 2006 |
| 45 | EE | Ekkart Kindler,
Vladimir Rubin,
Wilhelm Schäfer:
Process Mining and Petri Net Synthesis.
Business Process Management Workshops 2006: 105-116 |
| 44 | EE | Ekkart Kindler,
Vladimir Rubin,
Robert Wagner:
Component Tools: Integrating Petri Nets with Other Formal Methods.
ICATPN 2006: 37-56 |
| 43 | | Ekkart Kindler,
Vladimir Rubin,
Wilhelm Schäfer:
Activity Mining for Discovering Software Process Models.
Software Engineering 2006: 175-180 |
| 42 | EE | Ekkart Kindler,
Björn Axenath,
Vladimir Rubin:
AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects.
The Role of Business Processes in Service Oriented Architectures 2006 |
| 41 | EE | Ekkart Kindler:
On the semantics of EPCs: Resolving the vicious circle.
Data Knowl. Eng. 56(1): 23-40 (2006) |
| 2005 |
|---|
| 40 | EE | Nicolas Cuntz,
Ekkart Kindler:
On the Semantics of EPCs: Efficient Calculation and Simulation.
Business Process Management 2005: 398-403 |
| 39 | EE | Ekkart Kindler,
Markus Nüttgens:
Preface (BPRM 2005).
Business Process Management Workshops 2005: 467-468 |
| 38 | EE | Hagen Völzer,
Daniele Varacca,
Ekkart Kindler:
Defining Fairness.
CONCUR 2005: 458-472 |
| 37 | EE | Ekkart Kindler,
Vladimir Rubin,
Wilhelm Schäfer:
Incremental Workflow Mining Based on Document Versioning Information.
ISPW 2005: 287-301 |
| 36 | EE | Holger Giese,
Ekkart Kindler,
Florian Klein,
Robert Wagner:
Reconciling scenario-centered controller design with state-based system models.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 2004 |
|---|
| 35 | EE | Ekkart Kindler:
On the Semantics of EPCs: A Framework for Resolving the Vicious Circle.
Business Process Management 2004: 82-97 |
| 34 | EE | Nicolas Cuntz,
Ekkart Kindler:
On the semantics of EPCs: Efficient calculation and simulation.
EPK 2004: 7-26 |
| 33 | EE | Ekkart Kindler,
Csaba Páles:
3D-Visualization of Petri Net Models: Concept and Realization.
ICATPN 2004: 464-473 |
| 2003 |
|---|
| 32 | EE | Ekkart Kindler:
On the semantics of EPCs: A framework for resolving the vicious circle.
EPK 2003: 7-18 |
| 31 | EE | Jonathan Billington,
Søren Christensen,
Kees M. van Hee,
Ekkart Kindler,
Olaf Kummer,
Laure Petrucci,
Reinier Post,
Christian Stehno,
Michael Weber:
The Petri Net Markup Language: Concepts, Technology, and Tools.
ICATPN 2003: 483-505 |
| 30 | EE | Michael Weber,
Ekkart Kindler:
The Petri Net Kernel.
Petri Net Technology for Communication-Based Systems 2003: 109-124 |
| 29 | EE | Michael Weber,
Ekkart Kindler:
The Petri Net Markup Language.
Petri Net Technology for Communication-Based Systems 2003: 124-144 |
| 2002 |
|---|
| 28 | EE | Wil M. P. van der Aalst,
Jörg Desel,
Ekkart Kindler:
On the semantics of EPCs: A vicious circle.
EPK 2002: 71-79 |
| 27 | EE | Ekkart Kindler:
Petri Nets, Situations, and Automata.
ICATPN 2002: 217-236 |
| 26 | | Ekkart Kindler:
DAWN for component based systems - just a different perspective.
Promise 2002: 7-13 |
| 2001 |
|---|
| 25 | EE | Ekkart Kindler,
Michael Weber:
The Petri Net Kernel - An infrastructure for building Petri net tools.
STTT 3(4): 486-497 (2001) |
| 24 | EE | Ekkart Kindler,
Hagen Völzer:
Algebraic nets with flexible arcs.
Theor. Comput. Sci. 262(1): 285-310 (2001) |
| 2000 |
|---|
| 23 | EE | Ekkart Kindler,
Axel Martens,
Wolfgang Reisig:
Inter-operability of Workflow Applications: Local Criteria for Global Soundness.
Business Process Management 2000: 235-253 |
| 1999 |
|---|
| 22 | | Ekkart Kindler,
Axel Martens:
Szenarios: Lokale Kriterien für globale Korrektheit.
FBT 1999: 113-122 |
| 21 | | Ekkart Kindler:
Serializability, Concurrency Control, and Replication Control.
FMLDO 1999: 98-114 |
| 20 | EE | Ekkart Kindler:
Serializability, Concurrency Control, and Replication Control.
FMLDO - Selected Papers 1999: 26-44 |
| 19 | EE | Thomas Baar,
Ekkart Kindler,
Hagen Völzer:
Verifying Intuition - ILF Checks DAWN Proofs.
ICATPN 1999: 404-424 |
| 18 | | Thomas Baar,
Ekkart Kindler:
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool.
Fundam. Inform. 37(3): 201-211 (1999) |
| 17 | | Ekkart Kindler,
Sibylle Peuker:
Integrating Distributed Algorithms into Distributed Systems.
Fundam. Inform. 37(3): 291-308 (1999) |
| 16 | EE | Ekkart Kindler,
Wil M. P. van der Aalst:
Liveness, Fairness, and Recurrence in Petri Nets.
Inf. Process. Lett. 70(6): 269-27 (1999) |
| 1998 |
|---|
| 15 | EE | Jörg Desel,
Ekkart Kindler:
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.
ACSD 1998: 177-186 |
| 14 | | Ekkart Kindler:
The Interplay of Transaction Models and Memory Models.
IADT 1998: 39-46 |
| 13 | EE | Ekkart Kindler,
Hagen Völzer:
Flexibility in Algebraic Nets.
ICATPN 1998: 345-364 |
| 12 | EE | Ekkart Kindler,
Tobias Vesper:
ESTL: A Temporal Logic for Events and States.
ICATPN 1998: 365-384 |
| 11 | | Ekkart Kindler,
Michael Weber:
The Dimensions of Petri Nets: The Petri Net Cube.
Bulletin of the EATCS 66: 155-165 (1998) |
| 1997 |
|---|
| 10 | EE | Ekkart Kindler,
Wolfgang Reisig:
Verification of Distributed Algorithms with Algebraic Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 261-270 |
| 9 | | Ekkart Kindler:
A Compositional Partial Order Semantics for Petri Net Components.
ICATPN 1997: 235-252 |
| 8 | | Ekkart Kindler,
Wolfgang Reisig,
Hagen Völzer,
Rolf Walter:
Petri Net Based Verification of Distributed Algorithms: An Example.
Formal Asp. Comput. 9(4): 409-424 (1997) |
| 7 | EE | Ekkart Kindler,
Rolf Walter:
Mutex Needs Fairness.
Inf. Process. Lett. 62(1): 31-39 (1997) |
| 1996 |
|---|
| 6 | | Ekkart Kindler,
Rolf Walter:
Arc-Typed Petri Nets.
Application and Theory of Petri Nets 1996: 289-306 |
| 5 | | Wolfgang Reisig,
Ekkart Kindler,
Tobias Vesper,
Hagen Völzer,
Rolf Walter:
Distributed Algorithms for Networks of Agents.
Petri Nets (2) 1996: 331-385 |
| 1995 |
|---|
| 4 | | Ekkart Kindler:
Invariants, Composition, and Substitution
Acta Inf. 32(4): 299-312 (1995) |
| 3 | EE | Jörg Desel,
Ekkart Kindler,
Tobias Vesper,
Rolf Walter:
A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.
Inf. Process. Lett. 54(6): 327-328 (1995) |
| 1993 |
|---|
| 2 | | Dominik Gomm,
Ekkart Kindler,
Barbara Paech,
Rolf Walter:
Compositional Liveness Properties of EN-Systems.
Application and Theory of Petri Nets 1993: 262-281 |
| 1 | | Dominik Gomm,
Ekkart Kindler:
Causality Based Proof of a Distributed Shared Memory System.
Parallel Computer Architectures 1993: 133-149 |
