According to our database1, Qiyi Tang authored at least 9 papers between 2016 and 2020.
Legend:Book In proceedings Article PhD thesis Other
J. Comput. Syst. Sci., 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains.
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Proceedings of the 27th International Conference on Concurrency Theory, 2016