Mingzhang Huang

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 8

Top Topics

Exptime Complete

Generative Model

Top Venues

Proc. ACM Program. Lang.

Publications

Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations. CoRR (2020)
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Modular verification for almost-sure termination of probabilistic programs. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Inf. Comput. 268 (2019)
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
Compositional Analysis for Almost-Sure Termination of Probabilistic Programs. CoRR (2019)
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee
New Approaches for Almost-Sure Termination of Probabilistic Programs. CoRR (2018)
Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee
New Approaches for Almost-Sure Termination of Probabilistic Programs. APLAS (2018)
Qiang Yin, Mingzhang Huang, Chaodong He
Two Lower Bounds for BPA. CoRR (2017)
Mingzhang Huang, Qiang Yin
Two Lower Bounds for BPA. CONCUR (2017)
Chaodong He, Mingzhang Huang
Branching Bisimilarity on Normed BPA Is EXPTIME-Complete. LICS (2015)
Chaodong He, Mingzhang Huang
Branching Bisimilarity on Normed BPA Is EXPTIME-complete. CoRR (2015)
Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao
Branching Bisimilarity Checking for PRS. CoRR (2014)
Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao
Branching Bisimilarity Checking for PRS. ICALP (2) (2014)