The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ekkart Kindler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  45. Towards a Standard for Modular Petri Nets: A Formalisation. [Citation Graph (, )][DBLP]


  46. Incremental Workflow Mining for Process Flexibility. [Citation Graph (, )][DBLP]


  47. AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects. [Citation Graph (, )][DBLP]


  48. On the semantics of EPCs: Efficient calculation and simulation. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002