The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kees M. van Hee: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kees M. van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, Jan Martijn E. M. van der Werf
    Yasper: a tool for workflow modeling and analysis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:279-282 [Conf]
  2. Jan Hidders, Jan Paredaens, Philippe Thiran, Geert-Jan Houben, Kees M. van Hee
    Non-destructive Integration of Form-Based Views. [Citation Graph (0, 0)][DBLP]
    ADBIS, 2005, pp:74-86 [Conf]
  3. Wil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn
    Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:455-464 [Conf]
  4. 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]
  5. R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf
    Petriweb: A Repository for Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:411-420 [Conf]
  6. Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Nested Nets for Adaptive Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:241-260 [Conf]
  7. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Soundness of Resource-Constrained Workflow Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:250-267 [Conf]
  8. Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
    Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:337-356 [Conf]
  9. Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
    Generalised Soundness of Workflow Nets Is Decidable. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:197-215 [Conf]
  10. Michel R. V. Chaudron, Kees M. van Hee, Lou J. Somers
    Use Cases as Workflows. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2003, pp:88-103 [Conf]
  11. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    History-Based Joins: Semantics, Soundness and Implementation. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2006, pp:225-240 [Conf]
  12. Kees M. van Hee, Hajo A. Reijers
    Using Formal Analysis Techniques in Business Process Redesign. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2000, pp:142-160 [Conf]
  13. Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
    Consistency in Model Integration. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2004, pp:1-16 [Conf]
  14. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
    The Price of Coordination in Resource Management. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2005, pp:96-108 [Conf]
  15. Loucif Zerguini, Kees M. van Hee
    A new reduction method for the analysis of large workflow models. [Citation Graph (0, 0)][DBLP]
    Promise, 2002, pp:188-201 [Conf]
  16. M. J. van Diepen, Kees M. van Hee
    A Formal Semantics for Z and the Link between Z and the Relational Algebra. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:526-551 [Conf]
  17. Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
    Z and High Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:204-219 [Conf]
  18. Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
    The EXSPECT Tool. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:683-684 [Conf]
  19. Kees M. van Hee
    The Policy Iteration Method for the Optimal Stopping of a Markov Chain with an Application. [Citation Graph (0, 0)][DBLP]
    Optimization Techniques, 1975, pp:22-36 [Conf]
  20. Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen
    Specification and Simulation with ExSpect. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:296-327 [Conf]
  21. Kees M. van Hee, Olivia Oanea, Natalia Sidorova
    Colored Petri Nets to Verify Extended Event-Driven Process Chains. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2005, pp:183-201 [Conf]
  22. A. E. Eiben, Emile H. L. Aarts, Kees M. van Hee
    Global Convergence of Genetic Algorithms: A Markov Chain Analysis. [Citation Graph (0, 0)][DBLP]
    PPSN, 1990, pp:4-12 [Conf]
  23. Jan L. G. Dietz, Kees M. van Hee
    A Framework for the Conceptual Modeling of Discrete Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    Temporal Aspects in Information Systems, 1987, pp:61-75 [Conf]
  24. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Modelling History-Dependent Business Processes. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:76-85 [Conf]
  25. Wil M. P. van der Aalst, Kees M. van Hee
    Framework for business process redesign. [Citation Graph (0, 0)][DBLP]
    WETICE, 1995, pp:36-45 [Conf]
  26. Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
    Consistency in model integration. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2006, v:56, n:1, pp:4-22 [Journal]
  27. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
    Scheduling-free resource management. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2007, v:61, n:1, pp:59-75 [Journal]
  28. Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
    Resource-Constrained Workflow Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:71, n:2-3, pp:243-257 [Journal]
  29. Kees M. van Hee, Geert-Jan Houben, Jan L. G. Dietz
    Modeling of discrete dynamic systems-framework and examples. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1989, v:14, n:4, pp:277-289 [Journal]
  30. Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn
    Component-based software architectures: a framework based on inheritance of behavior. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:2-3, pp:129-171 [Journal]
  31. Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn
    "Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:44, n:3, pp:343-344 [Journal]
  32. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    LogLogics: A logic for history-dependent business processes. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:1, pp:30-40 [Journal]
  33. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst
    History-Dependent Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:164-183 [Conf]
  34. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf
    Modelling with History-Dependent Petri Nets. [Citation Graph (0, 0)][DBLP]
    BPM, 2007, pp:320-327 [Conf]
  35. Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve
    Verifying Generalized Soundness of Workflow Nets. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:235-247 [Conf]
  36. Carmen Bratosin, Kees M. van Hee, Natalia Sidorova
    Adaptive Workflow Nets for Grid Computing. [Citation Graph (0, 0)][DBLP]
    PaCT, 2007, pp:15-21 [Conf]
  37. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
    Checking Properties of Adaptive Workflow Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:3-4, pp:347-362 [Journal]

  38. Compositional Service Trees. [Citation Graph (, )][DBLP]


  39. Adaptive Workflows for Healthcare Information Systems. [Citation Graph (, )][DBLP]


  40. A SOA-Based Architecture Framework. [Citation Graph (, )][DBLP]


  41. History-Dependent Stochastic Petri Nets. [Citation Graph (, )][DBLP]


  42. Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! [Citation Graph (, )][DBLP]


  43. Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. [Citation Graph (, )][DBLP]


  44. History-based joins: Semantics, soundness and implementation. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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