Mingzhang Huang

According to our database, Mingzhang Huang authored at least 9 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations.

Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee

CoRR, 2020

2019

Modular verification for almost-sure termination of probabilistic programs.

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

Proc. ACM Program. Lang., 2019

Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems.

Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen

Inf. Comput., 2019

Compositional Analysis for Almost-Sure Termination of Probabilistic Programs.

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

CoRR, 2019

2018

New Approaches for Almost-Sure Termination of Probabilistic Programs.

Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Two Lower Bounds for BPA.

Qiang Yin, Mingzhang Huang, Chaodong He

CoRR, 2017

Two Lower Bounds for BPA.

Mingzhang Huang, Qiang Yin

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2015

Branching Bisimilarity on Normed BPA Is EXPTIME-Complete.

Chaodong He, Mingzhang Huang

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Branching Bisimilarity Checking for PRS.

Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014