The following pages link to Marc Voorhoeve (Q974132):
Displayed 32 items.
- (Q539432) (redirect page) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- Correction to: On the diophantine equation \(1^ k+2^ k+\dots +x^ k+R(x)=y^ z\) (Q1095176) (← links)
- On the Diophantine equation \(1^k+2^k+\dots +x^k+R(x)=y^2\) (Q1135874) (← links)
- On the oscillation of exponential polynomials (Q1224193) (← links)
- Impossible futures and determinism (Q1607117) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- A Generalization of Descartes' Rule (Q3049094) (← links)
- (Q3207254) (← links)
- Verifying Generalized Soundness of Workflow Nets (Q3401950) (← links)
- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (Q3550623) (← links)
- Nested Nets for Adaptive Systems (Q3618708) (← links)
- Soundness of Workflow Nets with Reset Arcs (Q3651240) (← links)
- (Q3859870) (← links)
- (Q3879252) (← links)
- (Q3932864) (← links)
- (Q3943237) (← links)
- (Q4075721) (← links)
- (Q4075722) (← links)
- (Q4118069) (← links)
- On the equation $1^k + 2^k + ... + x^k = y^z$ (Q4141303) (← links)
- (Q4184837) (← links)
- (Q4745877) (← links)
- An algebraic semantics for hierarchical P/T nets (Q5096359) (← links)
- (Q5192932) (← links)
- (Q5203678) (← links)
- (Q5422282) (← links)
- (Q5480657) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712330) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713505) (← links)
- Liveness, Fairness and Impossible Futures (Q5756606) (← links)