| |
| 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] |