Concepedia

Marc Voorhoeve

MV

23

Publications

925

Citations

15

H-Index

1975

Active since

Affiliations

Eindhoven University of Technology(Current)

Queensland University of Technology

UNSW Sydney

Marc Voorhoeve is an author at Eindhoven University of Technology specializing in engineering, computer science, and formal methods.

Top concepts

Publications per year

1975–2010

23

Publications

23

Soundness of workflow nets: classification, decidability, and analysis

Wil M. P. van der Aalst, K.M. van Hee, Arthur H. M. ter Hofstede et al. · Formal Aspects of Computing · 2010 · 357 citations · Full text

Adaptive Workflow-On the Interplay between Flexibility and Support.

Wil M. P. van der Aalst, Twan Basten, H. M. W. Verbeek et al. · 1999 · 64 citations

Ad-hoc workflow: problems and solutions

Marc Voorhoeve, Wil M. P. van der Aalst · 2002 · 61 citations

, , +18

A lower bound for the permanents of certain (0,1)-matrices

Marc Voorhoeve · Indagationes Mathematicae (Proceedings) · 1979 · 58 citations

, , +1

Executable specifications for distributed information systems

K.M. van Hee, Lou Somers, Marc Voorhoeve · General Hospital Psychiatry · 1989 · 56 citations

Rows per page

1–5 of 23