Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Mingzhang Huang
Map detail
Mingzhang Huang4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipMingzhang HuangAMingzhang HuangResearcherBranching Bisimilarity on Normed BPA Is EXPTIME-completeWBranching Bisimilarity ...preprint / 2015Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence RelationsWConcentration-Bound Ana...preprint / 2020Branching Bisimilarity Checking for PRSWBranching Bisimilarity ...preprint / 2014
Person3 links

Mingzhang Huang

Researcher