| 2026 | AAAI | Good-for-MDP State Reduction for Stochastic LTL Planning. | Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang |
| 2026 | CONCUR | Word Automata with Limited Nondeterminism (Invited Talk). | Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang |
| 2026 | FOSSACS | The Complexity of Games with Randomised Control. | Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu |
| 2025 | CAV | Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. | Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang |
| 2025 | CONCUR | Resolving Nondeterminism by Chance. | Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen |
| 2025 | ECAI | Efficient Learning of Weak Deterministic Bchi Automata. | Mona Alluwaym, Yong Li, Sven Schewe, Qiyi Tang |
| 2025 | ICSE | Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements. | Huaijin Wang, Zhibo Liu, Yanbo Dai, Shuai Wang, Qiyi Tang, Sen Nie, Shi Wu |
| 2024 | CONCUR | Minimising the Probabilistic Bisimilarity Distance. | Stefan Kiefer, Qiyi Tang |
| 2024 | IJCAI | Angluin-Style Learning of Deterministic Bchi and Co-Bchi Automata. | Yong Li, Sven Schewe, Qiyi Tang |
| 2024 | ICSE | BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching. | Ling Jiang, Junwen An, Huihui Huang, Qiyi Tang, Sen Nie, Shi Wu, Yuqun Zhang |
| 2023 | ATVA | A Novel Family of Finite Automata for Recognizing and Learning mega-Regular Languages. | Yong Li, Sven Schewe, Qiyi Tang |
| 2023 | CONCUR | Deciding What Is Good-For-MDPs. | Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova |
| 2023 | ISSTA | Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We? | Ling Jiang, Hengchen Yuan, Qiyi Tang, Sen Nie, Shi Wu, Yuqun Zhang |
| 2022 | CONCUR | Strategies for MDP Bisimilarity Equivalence and Inequivalence. | Stefan Kiefer, Qiyi Tang |
| 2022 | ICFEM | Bridging Formal Methods and Machine Learning with Global Optimisation. | Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao |
| 2022 | ICSE | Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings. | Zongjie Li, Pingchuan Ma, Huaijin Wang, Shuai Wang, Qiyi Tang, Sen Nie, Shi Wu |
| 2020 | AAAI | Order Matters: Semantic-Aware Neural Networks for Binary Code Similarity Detection. | Zeping Yu, Rui Cao, Qiyi Tang, Sen Nie, Junzhou Huang, Shi Wu |
| 2019 | CONCUR | Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel |
| 2018 | CAV | Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains. | Qiyi Tang, Franck van Breugel |
| 2018 | CONCUR | Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata. | Qiyi Tang, Franck van Breugel |
| 2017 | CONCUR | Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains. | Qiyi Tang, Franck van Breugel |
| 2016 | CONCUR | Computing Probabilistic Bisimilarity Distances via Policy Iteration. | Qiyi Tang, Franck van Breugel |