Qiyi Tang

According to our database1, Qiyi Tang authored at least 9 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Deciding probabilistic bisimilarity distance one for probabilistic automata.
J. Comput. Syst. Sci., 2020

Comparing Labelled Markov Decision Processes.
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019
Compiler fuzzing: how much does it matter?
Proc. ACM Program. Lang., 2019

A Systematic Impact Study for Fuzzer-Found Compiler Bugs.
CoRR, 2019

Visual Analytics for Concurrent Java Executions.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
Computing Probabilistic Bisimilarity Distances via Policy Iteration.
Proceedings of the 27th International Conference on Concurrency Theory, 2016


  Loading...