Marc Voorhoeve Vis

*	2009
28	EE	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf: Generation of Database Transactions with Petri Nets. Fundam. Inform. 93(1-3): 171-184 (2009)
	2008
27	EE	Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers: Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS 2008: 170-187
26	EE	Arjan J. Mooij, Marc Voorhoeve: Proof Techniques for Adapter Generation. WS-FM 2008: 207-223
25	EE	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. 64(1): 24-37 (2008)
	2007
24	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf: Modelling with History-Dependent Petri Nets. BPM 2007: 320-327
23	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal: Scheduling-free resource management. Data Knowl. Eng. 61(1): 59-75 (2007)
22	EE	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova: Checking Properties of Adaptive Workflow Nets. Fundam. Inform. 79(3-4): 347-362 (2007)
21	EE	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. 65(1): 30-40 (2007)
20	EE	Jan Friso Groote, Marc Voorhoeve: Operational semantics for Petri net components. Theor. Comput. Sci. 379(1-2): 1-19 (2007)
	2006
19	EE	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240
18	EE	Rob J. van Glabbeek, Marc Voorhoeve: Liveness, Fairness and Impossible Futures. CONCUR 2006: 126-141
17	EE	Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve: Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247
16	EE	Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Nested Nets for Adaptive Systems. ICATPN 2006: 241-260
15		Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85
14	EE	Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve: Consistency in model integration. Data Knowl. Eng. 56(1): 4-22 (2006)
13	EE	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Resource-Constrained Workflow Nets. Fundam. Inform. 71(2-3): 243-257 (2006)
	2005
12	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal: The Price of Coordination in Resource Management. Business Process Management 2005: 96-108
11	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267
	2004
10	EE	Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve: Consistency in Model Integration. Business Process Management 2004: 1-16
9	EE	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215
	2003
8	EE	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN 2003: 337-356
	2001
7	EE	Marc Voorhoeve, Sjouke Mauw: Impossible futures and determinism. Inf. Process. Lett. 80(1): 51-58 (2001)
	2000
6	EE	Marc Voorhoeve: Compositional Modeling and Verification of Workflow Processes. Business Process Management 2000: 184-200
	1999
5		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. ICEIS 1999: 353-360
	1997
4		Marc Voorhoeve, Wil M. P. van der Aalst: Ad-hoc Workflow: Problems and Solutions. DEXA Workshop 1997: 36-40
	1995
3	EE	Twan Basten, Marc Voorhoeve: An Algebraic Semantics for Hierarchical P/T Nets. Application and Theory of Petri Nets 1995: 45-65
	1991
2	EE	Kees M. van Hee, Lou J. Somers, Marc Voorhoeve: Z and High Level Petri Nets. VDM Europe (1) 1991: 204-219
1	EE	Kees M. van Hee, Lou J. Somers, Marc Voorhoeve: The EXSPECT Tool. VDM Europe (1) 1991: 683-684

Coauthor Index

1	Wil M. P. van der Aalst	[4] [5]
2	Twan Basten	[3] [5] [27]
3	Marc Geilen	[27]
4	Rob J. van Glabbeek	[18]
5	Jan Friso Groote	[20]
6	Kees M. van Hee	[1] [2] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [21] [22] [23] [24] [25] [28]
7	Georgeta Igna	[27]
8	Venkatesh Kannan	[27]
9	Irina A. Lomazova	[16] [22]
10	Sjouke Mauw	[7]
11	Arjan J. Mooij	[26]
12	Olivia Oanea	[15] [16] [17] [19] [21] [22] [25]
13	Alexander Serebrenik	[11] [12] [15] [16] [19] [21] [22] [23] [24] [25]
14	Natalia Sidorova	[8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [21] [22] [23] [24] [25] [28]
15	Sebastian de Smet	[27]
16	Lou J. Somers	[1] [2] [10] [14] [27]
17	Frits W. Vaandrager	[27]
18	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[5]
19	Peter A. C. Verkoulen	[5]
20	Jan van der Wal	[12] [23]
21	Jan Martijn E. M. van der Werf	[24] [28]
22	Yang Yang	[27]