| 2009 |
|---|
| 9 | EE | Stephen McIlvenna,
Marlon Dumas,
Moe Thandar Wynn:
Synthesis of Orchestrators from Service Choreographies.
APCCM 2009: 129-138 |
| 8 | EE | Moe Thandar Wynn,
H. M. W. Verbeek,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
David Edmond:
Soundness-preserving reduction rules for reset workflow nets.
Inf. Sci. 179(6): 769-790 (2009) |
| 7 | EE | Moe Thandar Wynn,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
David Edmond:
Synchronization and Cancelation in Workflows Based on Reset Nets.
Int. J. Cooperative Inf. Syst. 18(1): 63-114 (2009) |
| 2008 |
|---|
| 6 | EE | Moe Thandar Wynn,
Colin J. Fidge,
Arthur H. M. ter Hofstede,
Marlon Dumas:
Product flow analysis in distribution networks with a fixed time horizon.
ACSC 2008: 73-81 |
| 5 | EE | Anne Rozinat,
Moe Thandar Wynn,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
Colin J. Fidge:
Workflow Simulation for Operational Decision Support Using Design, Historic and State Information.
BPM 2008: 196-211 |
| 2007 |
|---|
| 4 | EE | Moe Thandar Wynn,
Marlon Dumas,
Colin J. Fidge,
Arthur H. M. ter Hofstede,
Wil M. P. van der Aalst:
Business Process Simulation for Operational Decision Support.
Business Process Management Workshops 2007: 66-77 |
| 3 | EE | Marlon Dumas,
Alexander Großkopf,
Thomas Hettel,
Moe Thandar Wynn:
Semantics of Standard Process Models with OR-Joins.
OTM Conferences (1) 2007: 41-58 |
| 2006 |
|---|
| 2 | EE | Moe Thandar Wynn,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
David Edmond:
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis.
Business Process Management 2006: 389-394 |
| 2005 |
|---|
| 1 | EE | Moe Thandar Wynn,
David Edmond,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede:
Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.
ICATPN 2005: 423-443 |
