Marc Voorhoeve

Available identifiers

zbMath Open voorhoeve.marcWikidataQ6755943 ScholiaQ6755943MaRDI QIDQ974132

List of research outcomes

Publication	Date of Publication	Type
An algebraic semantics for hierarchical P/T nets	2022-08-16	Paper
Soundness of workflow nets: classification, decidability, and analysis	2011-05-30	Paper
Relating fair testing and accordance for service replaceability	2010-05-27	Paper
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach	2010-03-31	Paper
Verifying Generalized Soundness of Workflow Nets	2010-02-02	Paper
Soundness of Workflow Nets with Reset Arcs	2009-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5192932	2009-08-10	Paper
Nested Nets for Adaptive Systems	2009-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q5422282	2007-10-17	Paper
Liveness, Fairness and Impossible Futures	2007-09-04	Paper
Operational semantics for Petri net components	2007-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q5480657	2006-08-03	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
Impossible futures and determinism	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q5203678	1990-01-01	Paper
Correction to: On the diophantine equation \(1^ k+2^ k+\dots +x^ k+R(x)=y^ z\)	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4745877	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3859870	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3943237	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3932864	1980-01-01	Paper
On the equation $1^k + 2^k + ... + x^k = y^z$	1980-01-01	Paper
On the Diophantine equation \(1^k+2^k+\dots +x^k+R(x)=y^2\)	1979-01-01	Paper
A Generalization of Descartes' Rule	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3207254	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3879252	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184837	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4118069	1977-01-01	Paper
On the oscillation of exponential polynomials	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4075721	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4075722	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marc Voorhoeve