dblp.uni-trier.dewww.uni-trier.de

Ekkart Kindler Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
51EEEkkart Kindler, Laure Petrucci: Towards a Standard for Modular Petri Nets: A Formalisation. Petri Nets 2009: 43-62
50EEEkkart Kindler: Model-Based Software Engineering and Process-Aware Information Systems. T. Petri Nets and Other Models of Concurrency 2: 27-45 (2009)
2007
49EEVladimir 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
48EEJoel Greenyer, Ekkart Kindler: Reconciling TGGs with QVT. MoDELS 2007: 16-30
2006
47EEEkkart Kindler, Vladimir Rubin, Wilhelm Schäfer: Incremental Workflow Mining for Process Flexibility. BPMDS 2006
46EEEkkart Kindler, Vladimir Rubin, Wilhelm Schäfer: Process Mining and Petri Net Synthesis. Business Process Management Workshops 2006: 105-116
45EEEkkart Kindler, Vladimir Rubin, Robert Wagner: Component Tools: Integrating Petri Nets with Other Formal Methods. ICATPN 2006: 37-56
44 Ekkart Kindler, Vladimir Rubin, Wilhelm Schäfer: Activity Mining for Discovering Software Process Models. Software Engineering 2006: 175-180
43EEEkkart 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
42EEEkkart Kindler: On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng. 56(1): 23-40 (2006)
2005
41EENicolas Cuntz, Ekkart Kindler: On the Semantics of EPCs: Efficient Calculation and Simulation. Business Process Management 2005: 398-403
40EEEkkart Kindler, Markus Nüttgens: Preface (BPRM 2005). Business Process Management Workshops 2005: 467-468
39EEHagen Völzer, Daniele Varacca, Ekkart Kindler: Defining Fairness. CONCUR 2005: 458-472
38EEEkkart Kindler, Vladimir Rubin, Wilhelm Schäfer: Incremental Workflow Mining Based on Document Versioning Information. ISPW 2005: 287-301
37EEHolger 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)
36EENicolas Cuntz, Ekkart Kindler: On the Semantics of EPCs - Efficient Calculation and Simulation. Enterprise Modelling and Information Systems Architectures 1(1): 14-24 (2005)
2004
35EEEkkart Kindler: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. Business Process Management 2004: 82-97
34EENicolas Cuntz, Ekkart Kindler: On the semantics of EPCs: Efficient calculation and simulation. EPK 2004: 7-26
33EEEkkart Kindler, Csaba Páles: 3D-Visualization of Petri Net Models: Concept and Realization. ICATPN 2004: 464-473
2003
32EEEkkart Kindler: On the semantics of EPCs: A framework for resolving the vicious circle. EPK 2003: 7-18
31EEJonathan 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
30EEMichael Weber, Ekkart Kindler: The Petri Net Kernel. Petri Net Technology for Communication-Based Systems 2003: 109-124
29EEMichael Weber, Ekkart Kindler: The Petri Net Markup Language. Petri Net Technology for Communication-Based Systems 2003: 124-144
2002
28EEWil M. P. van der Aalst, Jörg Desel, Ekkart Kindler: On the semantics of EPCs: A vicious circle. EPK 2002: 71-79
27EEEkkart 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
25EEEkkart Kindler, Michael Weber: The Petri Net Kernel - An infrastructure for building Petri net tools. STTT 3(4): 486-497 (2001)
24EEEkkart Kindler, Hagen Völzer: Algebraic nets with flexible arcs. Theor. Comput. Sci. 262(1): 285-310 (2001)
2000
23EEEkkart 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
20EEEkkart Kindler: Serializability, Concurrency Control, and Replication Control. FMLDO - Selected Papers 1999: 26-44
19EEThomas 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)
16EEEkkart Kindler, Wil M. P. van der Aalst: Liveness, Fairness, and Recurrence in Petri Nets. Inf. Process. Lett. 70(6): 269-27 (1999)
1998
15EEJö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
13EEEkkart Kindler, Hagen Völzer: Flexibility in Algebraic Nets. ICATPN 1998: 345-364
12EEEkkart 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
10EEEkkart Kindler, Wolfgang Reisig: Verification of Distributed Algorithms with Algebraic Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 261-270
9EEEkkart 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)
7EEEkkart Kindler, Rolf Walter: Mutex Needs Fairness. Inf. Process. Lett. 62(1): 31-39 (1997)
1996
6EEEkkart 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)
3EEJö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
2EEDominik 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

Coauthor Index

1Wil M. P. van der Aalst [16] [28] [49]
2Björn Axenath [43]
3Thomas Baar [18] [19]
4Jonathan Billington [31]
5Søren Christensen [31]
6Nicolas Cuntz [34] [36] [41]
7Jörg Desel [3] [15] [28]
8Boudewijn F. van Dongen [49]
9Holger Giese [37]
10Dominik Gomm [1] [2]
11Joel Greenyer [48]
12Christian W. Günther [49]
13Kees M. van Hee [31]
14Florian Klein [37]
15Olaf Kummer [31]
16Axel Martens [22] [23]
17Markus Nüttgens [40]
18Barbara Paech [2]
19Csaba Páles [33]
20Laure Petrucci (Laure Petrucci-Dauchy) [31] [51]
21Sibylle Peuker [17]
22Reinier Post (R. D. J. Post) [31]
23Wolfgang Reisig [5] [8] [10] [23]
24Vladimir Rubin [38] [43] [44] [45] [46] [47] [49]
25Wilhelm Schäfer [38] [44] [46] [47] [49]
26Christian Stehno [31]
27Daniele Varacca [39]
28Tobias Vesper [3] [5] [12]
29Hagen Völzer [5] [8] [13] [19] [24] [39]
30Robert Wagner [37] [45]
31Rolf Walter [2] [3] [5] [6] [7] [8]
32Michael Weber [11] [25] [29] [30] [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)