Search the dblp DataBase
Marc Voorhoeve :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Marc Voorhoeve Compositional Modeling and Verification of Workflow Processes. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2000, pp:184-200 [Conf ] Rob J. van Glabbeek , Marc Voorhoeve Liveness, Fairness and Impossible Futures. [Citation Graph (0, 0)][DBLP ] CONCUR, 2006, pp:126-141 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Trading Off Concurrency to Generate Behavioral Adapters. [Citation Graph (, )][DBLP ] Formal Modeling and Scheduling of Datapaths of Digital Document Printers. [Citation Graph (, )][DBLP ] Proof Techniques for Adapter Generation. [Citation Graph (, )][DBLP ] History-based joins: Semantics, soundness and implementation. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.324secs