Marc Voorhoeve

Q: What Schools Are Affiliated With Marc Voorhoeve

Marc Voorhoeve is affiliated with the following schools: University of Amsterdam, Eindhoven University of Technology, Leiden University

Marc Voorhoeve's AcademicInfluence.com Rankings

Marc Voorhoeve

Mathematics

#7430

World Rank

#10105

Historical Rank

Measure Theory

#5070

World Rank

#5993

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Marc Voorhoeve's Degrees

PhD Mathematics University of Amsterdam
Masters Mathematics University of Amsterdam

Why Is Marc Voorhoeve Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Marc Voorhoeve was a Dutch mathematician who introduced the Voorhoeve index of a complex function in 1976. Career Marc studied at the University of Leiden where he wrote a thesis on exponential polynomials. The Voorhoeve index is a result from this work.

(See a Problem?)

Marc Voorhoeve's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Soundness of workflow nets: classification, decidability, and analysis (2011) (391)
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003) (135)
Adaptive Workflow-On the Interplay between Flexibility and Support (1999) (111)
Executable Specifications for Distributed Information Systems (1989) (95)
Generalised Soundness of Workflow Nets Is Decidable (2004) (89)
Ad-hoc workflow: problems and solutions (1997) (79)
Structural Petri net equivalence (1996) (65)
Nested Nets for Adaptive Systems (2006) (61)
Conservative adaption of workflow (1996) (54)
Soundness of Resource-Constrained Workflow Nets (2005) (49)
Resource-Constrained Workflow Nets (2006) (42)
Consistency in model integration (2004) (38)
Impossible Futures and Determinism (2001) (31)
Simulating and analyzing railway interlockings in ExSpect (1995) (31)
Generation of Database Transactions with Petri Nets (2009) (25)
Checking Properties of Adaptive Workflow Nets (2007) (21)
Relating fair testing and accordance for service replaceability (2010) (21)
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers (2010) (20)
Verifying Generalized Soundness of Workflow Nets (2006) (19)
History-based joins: Semantics, soundness and implementation (2006) (19)
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (2012) (18)
Compositional Modeling and Verification of Workflow Processes (2000) (18)
Proof Techniques for Adapter Generation (2009) (18)
Formal Modeling and Scheduling of Datapaths of Digital Document Printers (2008) (17)
Z and High Level Petri Nets (1991) (16)
A modeling environment for decision support systems (1991) (16)
An Algebraic Semantics for Hierarchical P/T Nets (1995) (16)
Executable specifications for discrete event systems (1988) (15)
Adaptive workflow (2000) (15)
Liveness, Fairness and Impossible Futures (2006) (14)
Operational semantics for Petri net components (2007) (13)
Scheduling-free resource management (2007) (12)
A Formal Framework for Dynamic modelling of Information Systems (1990) (10)
Soundness of Workflow Nets with Reset Arcs (2009) (10)
The EXSPECT Tool (1991) (8)
Conservative adaptation of workflow (1996) (8)
Trading Off Concurrency to Generate Behavioral Adapters (2009) (7)
LogLogics: A logic for history-dependent business processes (2007) (7)
State-event net equivalance (1998) (6)
Modelling History-Dependent Business Processes (2006) (5)
Parameterized timed partial orders with resources: formal definition and semantics (2010) (5)
Specification and Generation of Adapters for System Integration (2013) (5)
A Formal Framework for Simulation of Discrete Event Systems (1989) (5)
EXSPECT, the functional part (1988) (4)
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets (2011) (4)
Modeling and verification of workflow nets (1998) (4)
Business Process Simulation Lecture notes 2 II 75 (2008) (4)
Modelling with History-Dependent Petri Nets (2007) (3)
Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers (2008) (3)
State 1 Event Net Equivalence (1998) (3)
A formal model for system specification (1988) (3)
Improving software design quality with ExSpect: An application of CASE-based prototyping in real-world situations (1993) (3)
Executable specifications for information systems (1988) (2)
The DONS rail scheduling system (2005) (2)
Process algebra with autonomous actions (1996) (2)
The Price of Coordination in Resource Management (2005) (2)
Modelling systems with exspect (1992) (1)
A calculus of Petri net components (2001) (1)
Datapath architecture simulation (2009) (1)
Soundness of workflow nets with reset arcs is undecidable (2008) (1)
Co2eX, Vertaler. Voor vertalingen van workflow scrips uit COSA en PROTOS naar ExSpect (1997) (0)
Generalised Soundness of Work ow Nets is (2003) (0)
Table of contents (2014) (0)
Formal M odeling and Scheduling of D atapaths of D igita l D ocum ent Printers* (2017) (0)
Executable specification for information systems (1988) (0)
ELISA : a language for formal specifications of information systems (1986) (0)
Architecture of Information Systems using the theory of Petri nets lecture notes for Systeemmodelleren 1 ( 2 M 310 ) (2002) (0)
Resource-Constrained Workflow nets ( extended abstract ) (2004) (0)
Verification of RoseRT models using Petri nets (2008) (0)

This paper list is powered by the following services:

Other Resources About Marc Voorhoeve

en.wikipedia.org

What Schools Are Affiliated With Marc Voorhoeve?

Marc Voorhoeve is affiliated with the following schools:

Marc Voorhoeve's Academic­Influence.com Rankings