W. S. Hsieh
  According to our database1,
  W. S. Hsieh
  authored at least 5 papers
  between 1991 and 2006.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2006
    Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006
    
  
  1992
EPVD: An interactive protocol specification and validation environment in Estelle formal specification.
    
  
    Microprocess. Microprogramming, 1992
    
  
  1991
Implementation and design of PVD: An interactive protocol specification and validation environment.
    
  
    Microprocessing and Microprogramming, 1991
    
  
A fast method of protocol validation using reduced stable state exploration technique.
    
  
    Microprocessing and Microprogramming, 1991