| 2007 | CIDR | Isolation Support for Service-based Applications: A Position Paper. | Paul Greenfield, Alan D. Fekete, Julian Jang, Dean Kuo, Surya Nepal |
| 2006 | ICWS | Expressing and Reasoning about Service Contracts in Service-Oriented Computing. | Dean Kuo, Alan D. Fekete, Paul Greenfield, Surya Nepal, John Zic, Savas Parastatidis, Jim Webber |
| 2005 | VLDB | Consistency for Web Services Applications. | Paul Greenfield, Dean Kuo, Surya Nepal, Alan D. Fekete |
| 2003 | ADC | Transactions in Loosely Coupled Distributed Systems. | Alan D. Fekete, Paul Greenfield, Dean Kuo, Julian Jang |
| 2003 | COMPSAC | Just What Could Possibly Go Wrong In B2B Integration? | Dean Kuo, Alan D. Fekete, Paul Greenfield, Julian Jang, Doug Palmer |
| 2003 | EDOC | Compensation is Not Enough. | Paul Greenfield, Alan D. Fekete, Julian Jang, Dean Kuo |
| 2003 | ICWS | Expressiveness of Workflow Description Languages. | Julian Jang, Alan D. Fekete, Paul Greenfield, Dean Kuo |
| 2001 | Middleware | Automated Analysis of Java Message Service Providers. | Dean Kuo, Doug Palmer |
| 1998 | CoopIS | Using Constraints to Manage Long Duration Transactions in Spatial Information Systems. | Dean Kuo, Volker Gaede, Kerry L. Taylor |
| 1996 | ADC | A Model for Transactional Workflows. | Dean Kuo, Michael Lawley, Chengfei Liu, Maria E. Orlowska |
| 1993 | ADC | Verification of a Two Pass Restart Algorithm for ARIES. | Dean Kuo |
| 1992 | ICDT | Model and Verification of a Data Manager Based on ARIES. | Dean Kuo |