Compiler fuzzing: How much does it matter? M Marcozzi, Q Tang, AF Donaldson, C Cadar Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 21 | 2019 |

Computing probabilistic bisimilarity distances via policy iteration Q Tang, F van Breugel 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 17 | 2016 |

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata G Bacci, G Bacci, KG Larsen, R Mardare, Q Tang, F van Breugel Logical Methods in Computer Science 17 (1), 9:1–9:36, 2021 | 10 | 2021 |

Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains Q Tang, F van Breugel 28th International Conference on Concurrency Theory (CONCUR 2017), 2017 | 9 | 2017 |

Deciding probabilistic bisimilarity distance one for labelled Markov chains Q Tang, F Breugel International Conference on Computer Aided Verification, 681-699, 2018 | 7 | 2018 |

Deciding probabilistic bisimilarity distance one for probabilistic automata Q Tang, F van Breugel Journal of Computer and System Sciences 111, 57-84, 2020 | 6 | 2020 |

Visual analytics for concurrent Java executions C Artho, M Pande, Q Tang 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 6 | 2019 |

A systematic impact study for fuzzer-found compiler bugs M Marcozzi, Q Tang, AF Donaldson, C Cadar arXiv preprint arXiv:1902.09334, 2019 | 3 | 2019 |

Computing probabilistic bisimilarity distances Q Tang | 2 | 2018 |

Probabilistic model checking of randomized Java code SZ Fatmi, X Chen, Y Dhamija, M Wildes, Q Tang, F Breugel International Symposium on Model Checking Software, 157-174, 2021 | 1 | 2021 |

Approximate bisimulation minimisation S Kiefer, Q Tang arXiv preprint arXiv:2110.00326, 2021 | | 2021 |

Comparing Labelled Markov Decision Processes S Kiefer, Q Tang 40th IARCS Annual Conference on Foundations of Software Technology and …, 2020 | | 2020 |

Comparing labelled markov decision processes S Kiefer, Q Tang arXiv preprint arXiv:2009.11643, 2020 | | 2020 |

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata G Bacci, G Bacci, KG Larsen, R Mardare, Q Tang, F van Breugel 30th International Conference on Concurrency Theory (CONCUR 2019) 140, 9:1--9:17, 2019 | | 2019 |

Deciding probabilistic bisimilarity distance one for probabilistic automata Q Tang, F Van Breugel 29th International Conference on Concurrency Theory (CONCUR 2018) 118, 9:1 …, 2018 | | 2018 |