Mingzhang Huang

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