Invariants, compositionality and substitution - Ekkart Kindler (Forschungsberichte, TU Munich, 1992)

Compositional Liveness Properties of EN-Systems. - Dominik Gomm; Ekkart Kindler; Barbara Paech; Rolf Walter (Application and Theory of Petri Nets, 1993)

Causality Based Proof of a Distributed Shared Memory System. - Dominik Gomm; Ekkart Kindler (Parallel Computer Architectures, 1993)

Message passing mutex. - Ekkart Kindler; Rolf Walter (STRICT, 1995)

Invariants, Composition, and Substitution. - Ekkart Kindler (Acta Informatica, 1995)

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. - Jörg Desel; Ekkart Kindler; Tobias Vesper; Rolf Walter (Inf. Process. Lett., 1995)

Modularer Entwurf verteilter Systeme mit Petrinetzen. - Ekkart Kindler (Bertz, 1995)

Distributed Algorithms for Networks of Agents. - Wolfgang Reisig; Ekkart Kindler; Tobias Vesper; Hagen Völzer; Rolf Walter (Petri Nets (2), 1996)

Arc-Typed Petri Nets. - Ekkart Kindler; Rolf Walter (Application and Theory of Petri Nets, 1996)

A Compositional Partial Order Semantics for Petri Net Components. - Ekkart Kindler (ICATPN, 1997)

Verification of Distributed Algorithms with Algebraic Petri Nets. - Ekkart Kindler; Wolfgang Reisig (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

Petri Net Based Verification of Distributed Algorithms: An Example. - Ekkart Kindler; Wolfgang Reisig; Hagen Völzer; Rolf Walter (Formal Aspects Comput., 1997)

Mutex Needs Fairness. - Ekkart Kindler; Rolf Walter (Inf. Process. Lett., 1997)

Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. - Jörg Desel; Ekkart Kindler (ACSD, 1998)

Flexibility in Algebraic Nets. - Ekkart Kindler; Hagen Völzer (ICATPN, 1998)

ESTL: A Temporal Logic for Events and States. - Ekkart Kindler; Tobias Vesper (ICATPN, 1998)

The Interplay of Transaction Models and Memory Models. - Ekkart Kindler (IADT, 1998)

The Dimensions of Petri Nets: The Petri Net Cube. - Ekkart Kindler; Michael Weber 003 (Bull. EATCS, 1998)

Verifying Intuition - ILF Checks DAWN Proofs. - Thomas Baar; Ekkart Kindler; Hagen Völzer (ICATPN, 1999)

Szenarios: Lokale Kriterien für globale Korrektheit. - Ekkart Kindler; Axel Martens (FBT, 1999)

Serializability, Concurrency Control, and Replication Control. - Ekkart Kindler (FMLDO, 1999)

ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool. - Thomas Baar; Ekkart Kindler (Fundam. Informaticae, 1999)

Integrating Distributed Algorithms into Distributed Systems. - Ekkart Kindler; Sibylle Peuker (Fundam. Informaticae, 1999)

Liveness, Fairness, and Recurrence in Petri Nets. - Ekkart Kindler; Wil M. P. van der Aalst (Inf. Process. Lett., 1999)

Inter-operability of Workflow Applications: Local Criteria for Global Soundness. - Ekkart Kindler; Axel Martens; Wolfgang Reisig (Business Process Management, 2000)

The Petri Net Kernel - An infrastructure for building Petri net tools. - Ekkart Kindler; Michael Weber 003 (Int. J. Softw. Tools Technol. Transf., 2001)

Algebraic nets with flexible arcs. - Ekkart Kindler; Hagen Völzer (Theor. Comput. Sci., 2001)

Petri Nets, Situations, and Automata. - Ekkart Kindler (ICATPN, 2002)

DAWN for component based systems - just a different perspective. - Ekkart Kindler (Promise, 2002)

On the semantics of EPCs: A vicious circle. - Wil M. P. van der Aalst; Jörg Desel; Ekkart Kindler (EPK, 2002)

The Petri Net Markup Language: Concepts, Technology, and Tools. - Jonathan Billington; Søren Christensen; Kees M. van Hee; Ekkart Kindler; Olaf Kummer; Laure Petrucci; Reinier Post; Christian Stehno; Michael Weber 003 (ICATPN, 2003)

The Petri Net Kernel. - Michael Weber 003; Ekkart Kindler (Petri Net Technology for Communication-Based Systems, 2003)

The Petri Net Markup Language. - Michael Weber 003; Ekkart Kindler (Petri Net Technology for Communication-Based Systems, 2003)

On the semantics of EPCs: A framework for resolving the vicious circle. - Ekkart Kindler (EPK, 2003)

3D-Visualization of Petri Net Models: Concept and Realization. - Ekkart Kindler; Csaba Páles (ICATPN, 2004)

Preface (BPRM 2005). - Ekkart Kindler; Markus Nüttgens (Business Process Management Workshops, 2005)

Defining Fairness. - Hagen Völzer; Daniele Varacca; Ekkart Kindler (CONCUR, 2005)

On the semantics of EPCs: Faster calculation for EPCs with small state spaces. - Nicolas Cuntz; Jörn Freiheit; Ekkart Kindler (EPK, 2005)

Incremental Workflow Mining Based on Document Versioning Information. - Ekkart Kindler; Vladimir A. Rubin; Wilhelm Schäfer (ISPW, 2005)

On the Semantics of EPCs - Efficient Calculation and Simulation. - Nicolas Cuntz; Ekkart Kindler (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2005)

Reconciling scenario-centered controller design with state-based system models. - Holger Giese; Ekkart Kindler; Florian Klein 001; Robert Wagner 002 (ACM SIGSOFT Softw. Eng. Notes, 2005)

Component Tools: Integrating Petri Nets with Other Formal Methods. - Ekkart Kindler; Vladimir A. Rubin; Robert Wagner 002 (ICATPN, 2006)

Process Mining and Petri Net Synthesis. - Ekkart Kindler; Vladimir A. Rubin; Wilhelm Schäfer (Business Process Management Workshops, 2006)

Incremental Workflow Mining for Process Flexibility. - Ekkart Kindler; Vladimir A. Rubin; Wilhelm Schäfer (BPMDS, 2006)

AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects. - Ekkart Kindler; Björn Axenath; Vladimir A. Rubin (The Role of Business Processes in Service Oriented Architectures, 2006)

Activity Mining for Discovering Software Process Models. - Ekkart Kindler; Vladimir A. Rubin; Wilhelm Schäfer (Software Engineering, 2006)

On the semantics of EPCs: Resolving the vicious circle. - Ekkart Kindler (Data Knowl. Eng., 2006)

Process Mining Framework for Software Processes. - Vladimir A. Rubin; Christian W. Günther; Wil M. P. van der Aalst; Ekkart Kindler; Boudewijn F. van Dongen; Wilhelm Schäfer (ICSP, 2007)

Reconciling TGGs with QVT. - Joel Greenyer; Ekkart Kindler (MoDELS, 2007)

AMFIBIA: a meta-model for integrating business process modelling aspects. - Björn Axenath; Ekkart Kindler; Vladimir A. Rubin (Int. J. Bus. Process. Integr. Manag., 2007)

Aspect-oriented modelling from a different angle: modelling domains with aspects. - Ekkart Kindler; David Schmelter (AOM@AOSD, 2008)

Modelling Constructs. - Ekkart Kindler (Handbook of Research on Business Process Modeling, 2009)

Towards a Standard for Modular Petri Nets: A Formalisation. - Ekkart Kindler; Laure Petrucci (Petri Nets, 2009)

Model-Based Software Engineering and Process-Aware Information Systems. - Ekkart Kindler (Trans. Petri Nets Other Model. Concurr., 2009)

Model-based software engineering: the challenges of modelling behaviour. - Ekkart Kindler (BM-FA, 2010)

Process mining: a two-step approach to balance between underfitting and overfitting. - Wil M. P. van der Aalst; Vladimir A. Rubin; H. M. W. Verbeek; Boudewijn F. van Dongen; Ekkart Kindler; Christian W. Günther (Softw. Syst. Model., 2010)

Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. - Joel Greenyer; Ekkart Kindler (Softw. Syst. Model., 2010)

The ePNK: An Extensible Petri Net Tool for PNML. - Ekkart Kindler (Petri Nets, 2011)

Integrating behaviour in software models: an event coordination notation - concepts and prototype. - Ekkart Kindler (BM-FA, 2011)

The Third Workshop on Behaviour Modelling - Foundations and Applications. - Ella E. Roubtsova; Ashley T. McNeile; Ekkart Kindler; Mehmet Aksit (ECMFA, 2011)

The event coordination notation: execution engine and programming framework. - Ekkart Kindler (BM-FA, 2012)

Modelling Local and Global Behaviour: Petri Nets and Event Coordination. - Ekkart Kindler (Trans. Petri Nets Other Model. Concurr., 2012)

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. - Joel Greenyer; Ekkart Kindler (MoDELS, 2013)

Generating Protocol Software from CPN Models Annotated with Pragmatics. - Kent Inge Fagerland Simonsen; Lars Michael Kristensen; Ekkart Kindler (SBMF, 2013)

The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse. - Jesper Jepsen; Ekkart Kindler (BM-FA (Revised Selected Papers), 2014)

Special issue: Selected papers of BPM 2012. - Alistair Barros; Avigdor Gal; Ekkart Kindler (Inf. Syst., 2015)

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. - Kent Inge Fagerland Simonsen; Lars Michael Kristensen; Ekkart Kindler (Trans. Petri Nets Other Model. Concurr., 2016)

Bidirectional Transformations (BX 2015) Editorial. - Alcino Cunha; Ekkart Kindler (J. Object Technol., 2017)

ePNK Applications and Annotations: A Simulator for YAWL Nets. - Ekkart Kindler (Petri Nets, 2018)

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). - Anthony Cleve; Ekkart Kindler; Perdita Stevens; Vadim Zaytsev (Dagstuhl Reports, 2018)

Coordinating Behaviour. - Ekkart Kindler (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Towards a tool for visualizing pupil dilation linked with source code artifacts. - Constantina Ioannou; Per Bækgaard; Ekkart Kindler; Barbara Weber (VISSOFT, 2020)

On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study. - Amine Abbad Andaloussi; Andrea Burattin; Tijs Slaats; Ekkart Kindler; Barbara Weber (Inf. Syst., 2020)

On the Declarative Paradigm in Hybrid Business Process Representations: A Conceptual Framework and a Systematic Literature Study (Extended Abstract). - Amine Abbad Andaloussi; Andrea Burattin; Tijs Slaats; Ekkart Kindler; Barbara Weber (EMISA Forum, 2021)

Appendix to "A Distributed Architecture for Process Mining: Controlled Sharing of Data and Algorithms". - Andrea Burattin; Ekkart Kindler; Nicholas Dyhre; Sebastian Vestrup; Francesca Zerbato; Barbara Weber (Zenodo, 2023)

Complexity in declarative process models: Metrics and multi-modal assessment of cognitive load. - Amine Abbad Andaloussi; Andrea Burattin; Tijs Slaats; Ekkart Kindler; Barbara Weber (Expert Syst. Appl., 2023)

Process Mining Pipelines with Controlled Sharing of Data and Algorithms. - Andrea Burattin; Ekkart Kindler; Nicholas Dyhre; Sebastian Vestrup; Francesca Zerbato; Barbara Weber (Business Process Management Workshops, 2024)

Appendix to "Process Mining Pipelines with Controlled Sharing of Data and Algorithms". - Andrea Burattin; Ekkart Kindler; Nicholas Dyhre; Sebastian Vestrup; Francesca Zerbato; Barbara Weber (Zenodo, 2024)

Process Model Complexity Metrics, Cognitive Load and Visual Behavior: A Multi-granular Eye-Tracking Analysis. - Thierry Sorg; Amine Abbad Andaloussi; Ekkart Kindler; Barbara Weber (BPMDS/EMMSAD@CAiSE, 2025)

Bringing Machine Learning Models Beyond the Experimental Stage with Explainable AI. - Niels With Mikkelsen; Lasse Steen Pedersen; Mansoor Hussain; Victor Foged; Ekkart Kindler (CAIN, 2025)