The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marc Voorhoeve: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Twan Basten, Marc Voorhoeve
    An Algebraic Semantics for Hierarchical P/T Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:45-65 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Marc Voorhoeve
    Compositional Modeling and Verification of Workflow Processes. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2000, pp:184-200 [Conf]
  10. Rob J. van Glabbeek, Marc Voorhoeve
    Liveness, Fairness and Impossible Futures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:126-141 [Conf]
  11. Marc Voorhoeve, Wil M. P. van der Aalst
    Ad-hoc Workflow: Problems and Solutions. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1997, pp:36-40 [Conf]
  12. 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]
  13. 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]
  14. Wil M. P. van der Aalst, Twan Basten, H. M. W. (Eric) Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve
    Adaptive Workflow-On the Interplay between Flexibility and Support. [Citation Graph (0, 0)][DBLP]
    ICEIS, 1999, pp:353-360 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Marc Voorhoeve, Sjouke Mauw
    Impossible futures and determinism. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:51-58 [Journal]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Jan Friso Groote, Marc Voorhoeve
    Operational semantics for Petri net components. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:379, n:1-2, pp:1-19 [Journal]

  25. Trading Off Concurrency to Generate Behavioral Adapters. [Citation Graph (, )][DBLP]


  26. Formal Modeling and Scheduling of Datapaths of Digital Document Printers. [Citation Graph (, )][DBLP]


  27. Proof Techniques for Adapter Generation. [Citation Graph (, )][DBLP]


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


Search in 0.021secs, Finished in 0.022secs
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