| 2026 | LICS | Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions. | Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou |
| 2025 | ISSAC | A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games. | Tianshi Yu, Lihong Zhi |
| 2023 | ICPM | Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. | Zihang Su, Tianshi Yu, Nir Lipovetzky, Alireza Mohammadi, Denny Oetomo, Artem Polyvyanyy, Sebastian Sardia, Ying Tan, Nick van Beest |
| 2023 | ISSAC | A Characterization of Perfect Strategies for Mirror Games. | Sizhuo Yan, Jianting Yang, Tianshi Yu, Lihong Zhi |
| 2021 | SMC | Comparing the Outcomes of Population-averaged and Personalised Input Feature Selection for Transhumeral Prosthetic Interfaces. | Tianshi Yu, Ricardo Garcia-Rosas, Alireza Mohammadi, Ying Tan, Peter Choong, Denny Oetomo |
| 2012 | ICMLC | Image search reranking with Ranking Linear Discriminant Analysis. | Tianshi Yu, Zhong Ji, Peiguang Jing, Yuting Su |