2005 | ||
---|---|---|
3 | EE | Xiaochuan Yi, Krys Kochut: JCPNet tool and automated analysis of distributed systems. ACM Southeast Regional Conference (2) 2005: 327-332 |
2004 | ||
2 | EE | Xiaochuan Yi, Krys Kochut: A CP-nets-based Design and Verification Framework for Web Services Composition. ICWS 2004: 756-760 |
1 | Xiaochuan Yi, Krys Kochut: Towards Efficient Integration of Complex Web Services Using a Unified Model for Protocol and Process. International Conference on Internet Computing 2004: 467-474 |
1 | Krys Kochut | [1] [2] [3] |