Marc Voorhoeve
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
1989–2007
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | BPM | Modelling with History-Dependent Petri Nets. | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf |
| 2006 | BPM | History-Based Joins: Semantics, Soundness and Implementation. | Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve |
| 2006 | CONCUR | Liveness, Fairness and Impossible Futures. | Rob J. van Glabbeek, Marc Voorhoeve |
| 2005 | BPM | The Price of Coordination in Resource Management. | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal |
| 2004 | BPM | Consistency in Model Integration. | Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve |
| 2000 | BPM | Compositional Modeling and Verification of Workflow Processes. | Marc Voorhoeve |
| 1991 | FM | Z and High Level Petri Nets. | Kees M. van Hee, Lou J. Somers, Marc Voorhoeve |
| 1991 | FM | The EXSPECT Tool. | Kees M. van Hee, Lou J. Somers, Marc Voorhoeve |
| 1989 | ISCO | Executable Specifications for Distributed Information Systems. | Kees M. van Hee, Lou J. Somers, Marc Voorhoeve |