dblp.uni-trier.dewww.uni-trier.de

Kun Wei

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EEKun Wei, James Heather: A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. Formal Aspects in Security and Trust 2006: 202-219
2005
3EEKun Wei, James Heather: Towards Verification of Timed Non-repudiation Protocols. Formal Aspects in Security and Trust 2005: 244-257
2EEKun Wei, James Heather: Embedding the Stable Failures Model of CSP in PVS. IFM 2005: 246-265
2003
1EEHarvey 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)

Coauthor Index

1David Adamczyk [1]
2David Collados [1]
3Gregory Denis [1]
4Philippe Galvez [1]
5James Heather [2] [3] [4]
6Harvey B. Newman [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)