| 2011 |
|---|
| 10 | Data and process requirements for product recall coordination. Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge. Computers in Industry (62): 776-786 (2011). Web SearchBibTeXDownload |
| 9 | Workflow support for scheduling in surgical care processes. Chun Ouyang, Moe Thandar Wynn, Jan-Christian Kuhr, Michael Adams, Thomas Becker, Arthur H. M. ter Hofstede, Colin J. Fidge. ECIS 2011. Web SearchBibTeXDownload |
| 2010 |
|---|
| 8 | Process Mining and Simulation. Moe Thandar Wynn, Anne Rozinat, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge. Modern Business Process Automation 2010, 437-457. Web SearchBibTeXDownload |
| 2009 |
|---|
| 7 | Workflow simulation for operational decision support. Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge. Data Knowl. Eng. (68): 834-850 (2009). Web SearchBibTeXDownload |
| 2008 |
|---|
| 6 | Product flow analysis in distribution networks with a fixed time horizon. Moe Thandar Wynn, Colin J. Fidge, Arthur H. M. ter Hofstede, Marlon Dumas. ACSC 2008, 73-81. Web SearchBibTeXDownload |
| 5 | Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. Anne Rozinat, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Colin J. Fidge. BPM 2008, 196-211. Web SearchBibTeXDownload |
| 2007 |
|---|
| 4 | Business Process Simulation for Operational Decision Support. Moe Thandar Wynn, Marlon Dumas, Colin J. Fidge, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst. Business Process Management Workshops 2007, 66-77. Web SearchBibTeXDownload |
| 1997 |
|---|
| 3 | A Formal Method for Building Concurrent Real-Time Software. Colin J. Fidge, Peter Kearney, Mark Utting. IEEE Software (14): 99-106 (1997). Web SearchBibTeXDownload |
| 1996 |
|---|
| 2 | Integrating Real-Time Scheduling Theory and Program Refinement. Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes. FME 1996, 327-346. Web SearchBibTeXDownload |
| 1995 |
|---|
| 1 | Interactively Verifying a Simple Real-time Scheduler. Colin J. Fidge, Peter Kearney, Mark Utting. CAV 1995, 395-408. Web SearchBibTeXDownload |
