|
Search the dblp DataBase
Han Zhu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu
A Generic Model for Analyzing Security Protocols. [Citation Graph (0, 0)][DBLP] MMM-ACNS, 2005, pp:119-128 [Conf]
- Brian J. Ross, Han Zhu
Procedural Texture Evolution Using Multi-objective Optimization. [Citation Graph (0, 0)][DBLP] New Generation Comput., 2004, v:22, n:3, pp:- [Journal]
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. [Citation Graph (, )][DBLP]
Knowledge Aware Bisimulation and Anonymity. [Citation Graph (, )][DBLP]
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|