We stand with Ukraine  

Han Zhu

Affiliations:
  • Shanghai Jiao Tong University, Basics Lab, Department of Computer Science, China


According to our database1, Han Zhu authored at least 6 papers between 2005 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
The Name-Passing Calculus.
[BibTeX]
[DOI]
Yuxi Fu
,
Han Zhu
CoRR, 2015

2009
Axiomatic Systems for the Bisimilarity on Finite Fair Ambient Processes.
[BibTeX]
[DOI]
Han Zhu
J. Comput., 2009

Applying a testing approach to the Calculus of Fair Ambients.
[BibTeX]
[DOI]
Xiaojuan Cai
,
Han Zhu
Int. J. Comput. Math., 2009

Knowledge Aware Bisimulation and Anonymity.
[BibTeX]
[DOI]
Han Zhu
,
Yonggen Gu
,
Xiaojuan Cai
Proceedings of the Computational Science, 2009

2008
An Open Approach for the Applied Pi Calculus.
[BibTeX]
[DOI]
Han Zhu
,
Yonggen Gu
,
Xiaohong Wu
J. Softw., 2008

2005
A Generic Model for Analyzing Security Protocols.
[BibTeX]
[DOI]
Yonggen Gu
,
Yuxi Fu
,
Farong Zhong
,
Han Zhu
Proceedings of the Computer Network Security, 2005


  Loading...