Executable Specifications for Distributed Information Systems. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (ISCO, 1989)

A Formal Framework for Dynamic modelling of Information Systems. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (DMIS, 1990)

Z and High Level Petri Nets. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (VDM Europe (1), 1991)

The EXSPECT Tool. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (VDM Europe (1), 1991)

A modeling environment for decision support systems. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (Decis. Support Syst., 1991)

An Algebraic Semantics for Hierarchical P/T Nets. - Twan Basten; Marc Voorhoeve (Application and Theory of Petri Nets, 1995)

Simulating and analyzing railway interlockings in ExSpect. - Twan Basten; Roland N. Bol; Marc Voorhoeve (IEEE Parallel Distributed Technol. Syst. Appl., 1995)

Conservative adaption of workflow. - Marc Voorhoeve; Wil M. P. van der Aalst (PAKM, 1996)

Ad-hoc Workflow: Problems and Solutions. - Marc Voorhoeve; Wil M. P. van der Aalst (DEXA Workshop, 1997)

Adaptive Workflow-On the Interplay between Flexibility and Support. - Wil M. P. van der Aalst; Twan Basten; H. M. W. Verbeek; Peter A. C. Verkoulen; Marc Voorhoeve (ICEIS, 1999)

Compositional Modeling and Verification of Workflow Processes. - Marc Voorhoeve (Business Process Management, 2000)

Impossible futures and determinism. - Marc Voorhoeve; Sjouke Mauw (Inf. Process. Lett., 2001)

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2003)

Generalised Soundness of Workflow Nets Is Decidable. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2004)

Soundness of Resource-Constrained Workflow Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2005)

The Price of Coordination in Resource Management. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan van der Wal (Business Process Management, 2005)

Nested Nets for Adaptive Systems. - Kees M. van Hee; Irina A. Lomazova; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2006)

Liveness, Fairness and Impossible Futures. - Rob J. van Glabbeek; Marc Voorhoeve (CONCUR, 2006)

Verifying Generalized Soundness of Workflow Nets. - Kees M. van Hee; Olivia Oanea; Natalia Sidorova; Marc Voorhoeve (Ershov Memorial Conference, 2006)

Modelling History-Dependent Business Processes. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (MSVVEIS, 2006)

Consistency in model integration. - Kees M. van Hee; Natalia Sidorova; Lou J. Somers; Marc Voorhoeve (Data Knowl. Eng., 2006)

Resource-Constrained Workflow Nets. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve (Fundam. Informaticae, 2006)

Modelling with History-Dependent Petri Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan Martijn E. M. van der Werf (BPM, 2007)

Scheduling-free resource management. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan van der Wal (Data Knowl. Eng., 2007)

Checking Properties of Adaptive Workflow Nets. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Irina A. Lomazova (Fundam. Informaticae, 2007)

LogLogics: A logic for history-dependent business processes. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (Sci. Comput. Program., 2007)

Operational semantics for Petri net components. - Jan Friso Groote; Marc Voorhoeve (Theor. Comput. Sci., 2007)

Formal Modeling and Scheduling of Datapaths of Digital Document Printers. - Georgeta Igna; Venkatesh Kannan; Yang Yang; Twan Basten; Marc Geilen; Frits W. Vaandrager; Marc Voorhoeve; Sebastian de Smet; Lou J. Somers (FORMATS, 2008)

Proof Techniques for Adapter Generation. - Arjan J. Mooij; Marc Voorhoeve (WS-FM, 2008)

History-based joins: Semantics, soundness and implementation. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (Data Knowl. Eng., 2008)

Trading Off Concurrency to Generate Behavioral Adapters. - Arjan J. Mooij; Marc Voorhoeve (ACSD, 2009)

Generation of Database Transactions with Petri Nets. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve; Jan Martijn E. M. van der Werf (Fundam. Informaticae, 2009)

Soundness of Workflow Nets with Reset Arcs. - Wil M. P. van der Aalst; Kees M. van Hee; Arthur H. M. ter Hofstede; Natalia Sidorova; H. M. W. Verbeek; Marc Voorhoeve; Moe Thandar Wynn (Trans. Petri Nets Other Model. Concurr., 2009)

Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. - Arjan J. Mooij; Jarungjit Parnjai; Christian Stahl; Marc Voorhoeve (WS-FM, 2010)

Relating fair testing and accordance for service replaceability. - Arjan J. Mooij; Christian Stahl; Marc Voorhoeve (J. Log. Algebraic Methods Program., 2010)

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. - Nikola Trcka; Marc Voorhoeve; Twan Basten (ACSD, 2011)

Soundness of workflow nets: classification, decidability, and analysis. - Wil M. P. van der Aalst; Kees M. van Hee; Arthur H. M. ter Hofstede; Natalia Sidorova; H. M. W. Verbeek; Marc Voorhoeve; Moe Thandar Wynn (Formal Aspects Comput., 2011)

Specification and Generation of Adapters for System Integration. - Arjan J. Mooij; Marc Voorhoeve (Situation Awareness with Systems of Systems, 2013)