| 2026 | AAAI | Few-Shot Precise Event Spotting via Unified Multi-Entity Graph and Distillation. | Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong |
| 2026 | COLT | Recovery thresholds for hidden weighted sparse graphs (extended abstract). | Zhe Hou, Jingcheng Liu |
| 2025 | CSCWD | SwiftGuard: Enhanced Privacy and Efficiency in Blockchain-Based Fine-Grained Access Control for Cross-Domain Healthcare Collaboration. | Mengke Zhang, Xiaohong Li, Jie Zhang, Zhe Hou, Guangdong Bai, Ruitao Feng |
| 2025 | ICECCS | Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol. | Yisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong |
| 2025 | ICLR | F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos. | Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong |
| 2025 | ICML | Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. | Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong |
| 2024 | ICECCS | Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review. | Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu |
| 2024 | ICFEM | Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. | Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong |
| 2024 | IROS | On a Magnetically Driven Array System with Autonomous Motion and Object Delivery for Biomedical Microrobots. | Yueyue Liu, Zhe Hou, Qigao Fan |
| 2024 | TACAS | A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. | Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sann, Yon Shin Teo |
| 2023 | ACISP | Encrypted Network Traffic Classification with Higher Order Graph Neural Network. | Zulu Okonkwo, Ernest Foo, Zhe Hou, Qinyi Li, Zahra Jadidi |
| 2023 | ICDM | Insight Analysis for Tennis Strategy and Tactics. | Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong |
| 2023 | ICECCS | Sports Analytics Using Probabilistic Model Checking and Deep Learning. | Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin |
| 2023 | ICFEM | A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning. | Ayodeji James Akande, Zhe Hou, Ernest Foo, Qinyi Li |
| 2021 | LCN | A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL. | Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang |
| 2021 | SEKE | Tree Ensemble Property Verification from A Testing Perspective. | Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang |
| 2021 | TASE | A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. | Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin |
| 2017 | ICECCS | Towards Solving Decision Making Problems Using Probabilistic Model Checking. | Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong |
| 2017 | ITP | Proof Tactics for Assertions in Separation Logic. | Zhe Hou, David Sann, Alwen Tiu, Yang Liu |
| 2017 | TACAS | CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. | David Sann, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu |
| 2016 | APLAS | Completeness for a First-Order Abstract Separation Logic. | Zhe Hou, Alwen Tiu |
| 2016 | FM | An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor. | Zhe Hou, David Sann, Alwen Tiu, Yang Liu, Koh Chuen Hoa |
| 2015 | CADE | Automated Theorem Proving for Assertions in Separation Logic with All Connectives. | Zhe Hou, Rajeev Gor, Alwen Tiu |
| 2014 | POPL | Proof search for propositional abstract separation logics via labelled sequents. | Zhe Hou, Ranald Clouston, Rajeev Gor, Alwen Tiu |
| 2013 | TABLEAUX | A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. | Zhe Hou, Alwen Tiu, Rajeev Gor |