An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. - Mengjun Li; Ti Zhou; Zhoujun Li 001; Huowang Chen (ASIAN, 2007)

Constraints Solution for Time Sensitive Security Protocols. - Zhoujun Li 001; Ti Zhou; Mengjun Li; Huowang Chen (FAW, 2007)

Local abstract verification and refinement of security protocols. - Ti Zhou; Mengjun Li; Zhoujun Li 001 (FMSE, 2008)

SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. - Mengjun Li; Ti Zhou; Zhoujun Li 001 (Inscrypt, 2008)

Constraint Abstraction in Verification of Security Protocols. - Ti Zhou; Zhoujun Li 001; Mengjun Li; Huowang Chen (FAW, 2008)

Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic. - Feng Liu; Zhoujun Li 001; Ti Zhou; Mengjun Li (SEKE, 2008)

A Novel Derivation Framework For Definite Logic Program. - Mengjun Li; Zhoujun Li 001; Huowang Chen; Ti Zhou (FICS, 2008)

Modeling and Verifying Time Sensitive Security Protocols with Constraints. - Ti Zhou; Mengjun Li; Zhoujun Li 001; Huowang Chen (FICS, 2008)

Estimation of evapotranspiration over heterogeneous surface based on HJ-1B satellite. - Jingjun Jiao; Xiaozhou Xin; Jing Zhao 008; Li Li 061; Ti Zhou; Zhiqing Peng (IGARSS, 2014)

Interactive Animation Editing Based on Sketch Interaction. - Yan Huang; Ti Zhou; Yanfeng Li; Yan Zhang; CuiXia Ma (Monterey Workshop, 2016)

Efficient Anonymous Authenticated Key Agreement Scheme for Wireless Body Area Networks. - Tong Li 021; Yuhui Zheng; Ti Zhou (Secur. Commun. Networks, 2017)

Anomaly Detection of Target Dynamics Based on Clustering. - Jian Zhang; Qing Ye; Ti Zhou (I-SPAN, 2018)

Impact of Managerial Commitment on Risk Taking with Dynamic Fund Flows. - Ron Kaniel; Stathis Tompaidis; Ti Zhou (Manag. Sci., 2019)

A Formal Method for Safety Time Series Simulation of Aerospace. - Ti Zhou; Jinying Wang; Yi Miao (ICAIS (1), 2020)

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)

Deadline-Aware Deep-Recurrent-Q-Network Governor for Smart Energy Saving. - Ti Zhou; Man Lin (IEEE Trans. Netw. Sci. Eng., 2022)

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)

A Novel Pipeline Corrosion Monitoring Method Based on Piezoelectric Active Sensing and CNN. - Dan Yang 007; Xinyi Zhang; Ti Zhou; Tao Wang; Jiahui Li (Sensors, 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., 2023)

Data-driven Software-based Power Estimation for Embedded Devices. - Haoyu Wang; Xinyi Li; Ti Zhou; Man Lin (CoRR, 2024)

Energy-Efficient Computation with DVFS using Deep Reinforcement Learning for Multi-Task Systems in Edge Computing. - Xinyi Li; Ti Zhou; Haoyu Wang; Man Lin (CoRR, 2024)