- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j1 |      | Fazle Rabbi, Hao Wang, Wendy MacCaull, Adrian Rutle: A Model Slicing Method for Workflow Verification. Electr. Notes Theor. Comput. Sci. 295: 79-93 (2013) |
| 2012 | ||
| c6 | | Fazle Rabbi, Wendy MacCaull: Model Driven Workflow Development with T □. CAiSE Workshops 2012: 265-279 |
| c5 | | Fazle Rabbi, Wendy MacCaull: T □: A Domain Specific Language for Rapid Workflow Development. MoDELS 2012: 36-52 |
| 2011 | ||
| c4 | | Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull: Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. FMICS 2011: 244-259 |
| 2010 | ||
| c3 | | Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull: An Automated Translator for Model Checking Time Constrained Workflow Systems. FMICS 2010: 99-114 |
| c2 | | |
| c1 | | Fazle Rabbi, Hao Wang, Wendy MacCaull: YAWL2DVE: An Automated Translator for Workflow Verification. SSIRI 2010: 53-59 |
| 1 | Wendy MacCaull | |
| 2 | Ahmed Shah Mashiyat | |
| 3 | Adrian Rutle | |
| 4 | Hao Wang |
Data released under the ODC-BY 1.0 license — See also our legal information page