| 2025 | RC | Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $. | Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida |
| 2024 | ECOOP | Fearless Asynchronous Communications with Timed Multiparty Session Protocols. | Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida |
| 2023 | ECOOP | Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. | Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou |
| 2020 | SmartComp | A Deep Learning Model for Detecting Dust in Earth's Atmosphere from Satellite Remote Sensing Data. | Ping Hou, Pei Guo, Peng Wu, Jianwu Wang, Aryya Gangopadhyay, Zhibo Zhang |
| 2017 | IJCAI | New Metrics and Algorithms for Stochastic Goal Recognition Design Problems. | Christabel Wayllace, Ping Hou, William Yeoh |
| 2016 | AAAI | Proactive Dynamic DCOPs. | Khoi D. Hoang, Ferdinando Fioretto, Ping Hou, Makoto Yokoo, William Yeoh, Roie Zivan |
| 2016 | AAAI | Solving Risk-Sensitive POMDPs With and Without Cost Observations. | Ping Hou, William Yeoh, Pradeep Varakantham |
| 2016 | IJCAI | Probabilistic Planning with Risk-Sensitive Criterion. | Ping Hou |
| 2016 | IJCAI | Goal Recognition Design with Stochastic Agent Action Outcomes. | Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son |
| 2015 | AAAI | Probabilistic Planning with Risk-Sensitive Criterion. | Ping Hou |
| 2014 | AAAI | Solving Uncertain MDPs by Reusing State Information and Plans. | Ping Hou, William Yeoh, Tran Cao Son |
| 2014 | CADE | A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems. | Ping Hou, Yifei Chen |
| 2013 | LFCS | Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. | Ping Hou, Hao Zheng |
| 2009 | LPNMR | A Deductive System for FO(ID) Based on Least Fixpoint Logic. | Ping Hou, Marc Denecker |
| 2007 | LPNMR | A Deductive System for PC(ID). | Ping Hou, Johan Wittocx, Marc Denecker |
| 2006 | GRC | The research of a web-based network blocking prototype for next generation network. | Wenchuan Yang, Qiong Wu, Ping Hou, Yang Zhang |