Selected Publications

Journal

• D. Kuo. Model and verification of a data manager based on ARIES. ACM Transactions on Database Systems, 21(4):427-479, December, 1996. A preliminary version was published in the Proceedings of the International Conference on Database Theory.
• S. Parastatidis, J. Webber, S. Woodman, D. Kuo, P Greenfield. Using SSDL to Describe and Reason about Asynchronous and Multi-Message Interactions between Web Services. IEEE Internet Computing 10(1): 26-39 (2006)

Conference and Workshop Papers

• Paul Greenfield, Alan Fekete, Julian Jang, Dean Kuo, Surya Nepal. Isolation Support for Service-based Applications: A Position Paper. CIDR 2007: 314-323
• Dean Kuo, Alan Fekete, Paul Greenfield, Surya Nepal, John Zic, Savas Parastatidis, Jim Webber. Expressing and Reasoning about Service Contracts in Service-Oriented Computing. ICWS 2006: 915-918.
• Marco Fargetta, Donal Fellows, Dean Kuo. Extending a Resource Broker for Advance Reservation and Charging. 2nd IEEE International Conference on e-Science and Grid Computing 2006.
  
• Michael Parkin, Dean Kuo, John Brooke, A Framework & Negotiation Protocol for Service Contracts. IEEE SCC 2006: 253-256
• Dean Kuo, Michael Parkin, John Brooke. Negotiating Contracts on the Grid. eChallenges 2006.
  
• Dean Kuo and Mark Mckeown.  Advance Reservation and Co-Allocation Protocol For Grid Computing. To appear: Proceeding of 1st International Conference on eScience and Grid Computing 2005.
• Dean Kuo. Relationship between endpoint contracts and consistency in Service-Oriented Systems (extended abstract). High Performance Transaction Systems workshop 2005.
• Paul Greenfied, Dean Kuo, Surya Nepal and Alan Fekete. Consistency for Web Services Applications. Proceedings of Very Large Databases 2005. Invited Industry Paper.
• Surya Nepal, Alan Fekete, Paul Greenfield, Julian Jang, Dean Kuo and Tony Shi. A Service-oriented Workflow Language for Robust Interacting Applications. Proceedings of Conference on Cooperative Information Systems (CoopIS) 2005.
• D. Kuo, A. Fekete, P. Greenfield, J. Jang and D. Palmer. Just What Could Possibly Go Wrong In B2B Integration? Proceedings of the Workshop on Architectures for Complex Application Integration (WACAI2003) within COMPSAC 2003.
• P. Greenfield, A. Fekete, J. Jang and D. Kuo. Compensation is Not Enough. Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC)2003.
• J. Jang, A. Fekete, P. Greenfield and D. Kuo. Expressiveness of Workflow Description Languages. Proceedings of the The First International Conference on Web Services 2003
• A. Fekete, P. Greenfield, D. Kuo and J. Jang. Transactions in Loosely Coupled Distributed Systems (Invited Paper). Proceedings of The Fourteenth Australiasian Database Conference 2003
• D. Kuo, A. Fekete, P. Greenfield and J. Jang. Towards a Framework for Capturing Transactional Requirements of Real Workflows. Proceedings of the Second International Workshop on Cooperative Internet Computing (CIC) 2002.
• D. Kuo and D. Palmer. Automated Analysis of Java Message Service Providers. Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms - Middleware 2001.
• D. Kuo, D.Smith, C. Gokey. Morphing Towards Interoperable Catalogues. Proceedings of the IEEE Advances in Digital Libraries 2000 (ADL 2000).
• D. Kuo, V. Gaede, K. Taylor. Using Constraints to Manage Long Duration Transactions in Spatial Information Systems. Proceedings of the Third IFCIS Conference on Cooperative Information Systems (CoopIS’98).
• D. Abel, K. Taylor, D. Kuo. Integrating Modelling Systems for Environmental Management Information Systems, SIGMOD Records, 26(1), March, 1997.
• D. Kuo, M. Lawley, C. Liu, M. Orlowska. A General Model for Nested Transactional Workflows. Proceedings of the International Workshop on Advanced Transaction Models and Architectures, pp 19 - 35, Goa, India, 1996.
• D. Kuo, M. Lawley, C. Liu, and M. Orlowska, A Model for Transactional Workflows. Proceedings of the Seventh Australasian Database Conference, pp 139 - 146, Melbourne, Australia, 1996.
• D. Kuo. Model and verification of a data manager based on ARIES. In Proceedings of the 4th International Conference on Database Theory, pp 231-245, Berlin, Germany, October, 1992. (This paper was awarded the Best Student Paper Award at the conference.)
• D. Kuo, Verification of a two pass restart recovery algorithm for ARIES. In Proceedings of the 4th Australian Database Conference, pp 289-300, Brisbane, Queensland, Australia, February, 1993.