Ti Zhou

According to our database1, Ti Zhou authored at least 13 papers between 2007 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A Formal Method for Safety Time Series Simulation of Aerospace.
Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

2019
Impact of Managerial Commitment on Risk Taking with Dynamic Fund Flows.
Manag. Sci., 2019

2017
Efficient Anonymous Authenticated Key Agreement Scheme for Wireless Body Area Networks.
Secur. Commun. Networks, 2017

2016
Interactive Animation Editing Based on Sketch Interaction.
Proceedings of the Challenges and Opportunity with Big Data, 2016

2014
Estimation of evapotranspiration over heterogeneous surface based on HJ-1B satellite.
Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

2008
Modeling and Verifying Time Sensitive Security Protocols with Constraints.
Electron. Notes Theor. Comput. Sci., 2008

A Novel Derivation Framework For Definite Logic Program.
Electron. Notes Theor. Comput. Sci., 2008

Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Constraint Abstraction in Verification of Security Protocols.
Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008

SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming.
Proceedings of the Information Security and Cryptology, 4th International Conference, 2008

Local abstract verification and refinement of security protocols.
Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, 2008

2007
Constraints Solution for Time Sensitive Security Protocols.
Proceedings of the Frontiers in Algorithmics, First Annual International Workshop, 2007

An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.
Proceedings of the Advances in Computer Science, 2007


  Loading...