Ti Zhou

According to our database, Ti Zhou authored at least 19 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

CPU frequency scheduling of real-time applications on embedded devices with temporal encoding-based deep reinforcement learning.

Ti Zhou, Man Lin

J. Syst. Archit., September, 2023

A Novel Pipeline Corrosion Monitoring Method Based on Piezoelectric Active Sensing and CNN.

Dan Yang, Xinyi Zhang, Ti Zhou, Tao Wang, Jiahui Li

Sensors, January, 2023

Energy-Efficient Computation Offloading With DVFS Using Deep Reinforcement Learning for Time-Critical IoT Applications in Edge Computing.

Saroj Kumar Panda, Man Lin, Ti Zhou

IEEE Internet Things J., 2023

2022

Deadline-Aware Deep-Recurrent-Q-Network Governor for Smart Energy Saving.

Ti Zhou, Man Lin

IEEE Trans. Netw. Sci. Eng., 2022

2021

Multi-scale visualization based on sketch interaction for massive surveillance video data.

Zhengming Zhang, Ran Zuo, Rui Guo, Yanfeng Li, Ti Zhou, Han Xue, Cuixia Ma, Hongan Wang

Pers. Ubiquitous Comput., 2021

2020

A Formal Method for Safety Time Series Simulation of Aerospace.

Ti Zhou, Jinying Wang, Yi Miao

Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

2019

Impact of Managerial Commitment on Risk Taking with Dynamic Fund Flows.

Ron Kaniel, Stathis Tompaidis, Ti Zhou

Manag. Sci., 2019

2018

Anomaly Detection of Target Dynamics Based on Clustering.

Jian Zhang, Qing Ye, Ti Zhou

Proceedings of the 15th International Symposium on Pervasive Systems, 2018

2017

Efficient Anonymous Authenticated Key Agreement Scheme for Wireless Body Area Networks.

Tong Li, Yuhui Zheng, Ti Zhou

Secur. Commun. Networks, 2017

2016

Interactive Animation Editing Based on Sketch Interaction.

Yan Huang, Ti Zhou, Yanfeng Li, Yan Zhang, CuiXia Ma

Proceedings of the Challenges and Opportunity with Big Data, 2016

2014

Estimation of evapotranspiration over heterogeneous surface based on HJ-1B satellite.

Jingjun Jiao, Xiaozhou Xin, Jing Zhao, Li Li, Ti Zhou, Zhiqing Peng

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

2008

Modeling and Verifying Time Sensitive Security Protocols with Constraints.

Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen

Proceedings of the First International Conference on Foundations of Informatics, 2008

A Novel Derivation Framework For Definite Logic Program.

Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou

Proceedings of the First International Conference on Foundations of Informatics, 2008

Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic.

Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Constraint Abstraction in Verification of Security Protocols.

Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen

Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008

SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming.

Mengjun Li, Ti Zhou, Zhoujun Li

Proceedings of the Information Security and Cryptology, 4th International Conference, 2008

Local abstract verification and refinement of security protocols.

Ti Zhou, Mengjun Li, Zhoujun Li

Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, 2008

2007

Constraints Solution for Time Sensitive Security Protocols.

Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen

Proceedings of the Frontiers in Algorithmics, First Annual International Workshop, 2007

An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.

Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen

Proceedings of the Advances in Computer Science, 2007