Towards Efficient Integration of Complex Web Services Using a Unified Model for Protocol and Process. - Xiaochuan Yi; Krys J. Kochut (International Conference on Internet Computing, 2004)

A CP-nets-based Design and Verification Framework for Web Services Composition. - Xiaochuan Yi; Krys J. Kochut (ICWS, 2004)

JCPNet tool and automated analysis of distributed systems. - Xiaochuan Yi; Krys J. Kochut (ACM Southeast Regional Conference (2), 2005)