Chaodong He

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Exptime Complete

Top Venues

Publications

Qiang Yin, Mingzhang Huang, Chaodong He
Two Lower Bounds for BPA. CoRR (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)
Chaodong He
A Polynomial Time Algorithm for Deciding Branching Bisimilarity on Totally Normed BPA. CoRR (2014)
Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao
Branching Bisimilarity Checking for PRS. ICALP (2) (2014)
Chaodong He, Yuxi Fu, Hongfei Fu
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. FSEN (2011)
Chaodong He
The Decidability of the Reachability Problem for CCS! CONCUR (2011)
Chaodong He
Model Independent Order Relations for Processes. APLAS (2010)