Ti Zhou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SOSP | AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations. | Zihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury, Shuai Mu |
| 2014 | IGARSS | Estimation of evapotranspiration over heterogeneous surface based on HJ-1B satellite. | Jingjun Jiao, Xiaozhou Xin, Jing Zhao, Li Li, Ti Zhou, Zhiqing Peng |
| 2008 | CCS | Local abstract verification and refinement of security protocols. | Ti Zhou, Mengjun Li, Zhoujun Li |
| 2008 | FAW | Constraint Abstraction in Verification of Security Protocols. | Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen |
| 2008 | SEKE | Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic. | Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li |
| 2007 | FAW | Constraints Solution for Time Sensitive Security Protocols. | Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen |