| 2006 | ||
|---|---|---|
| 4 | Kun Wei, James Heather: A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. Formal Aspects in Security and Trust 2006: 202-219 | |
| 2005 | ||
| 3 | Kun Wei, James Heather: Towards Verification of Timed Non-repudiation Protocols. Formal Aspects in Security and Trust 2005: 244-257 | |
| 2 | Kun Wei, James Heather: Embedding the Stable Failures Model of CSP in PVS. IFM 2005: 246-265 | |
| 2003 | ||
| 1 | Harvey B. Newman, Philippe Galvez, Gregory Denis, David Collados, Kun Wei, David Adamczyk: Global Platform for Rich Media Conferencing and Collaboration CoRR cs.MM/0306116: (2003) | |
| 1 | David Adamczyk | [1] |
| 2 | David Collados | [1] |
| 3 | Gregory Denis | [1] |
| 4 | Philippe Galvez | [1] |
| 5 | James Heather | [2] [3] [4] |
| 6 | Harvey B. Newman | [1] |