A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. - Qunhao Sha; Qizhe Yang; Guoqiang Li 001 (TASE, 2021)

On Probabilistic Extension of the Interaction Theory. - Hongmeng Wang; Huan Long; Hao Wu; Qizhe Yang (ICFEM, 2022)

Counting nondeterministic computations. - Qizhe Yang; Yuxi Fu (Theor. Comput. Sci., 2022)

Reachability in 3-VASS is in Tower. - Qizhe Yang; Yuxi Fu (CoRR, 2023)

Improved Algorithm for Reachability in d-VASS. - Yuxi Fu; Qizhe Yang; Yangluo Zheng (ICALP, 2024)

Improved Algorithm for Reachability in d-VASS. - Yuxi Fu; Qizhe Yang; Yangluo Zheng (CoRR, 2024)

Branching bisimulation semantics for quantum processes. - Hao Wu 095; Qizhe Yang; Huan Long (Inf. Process. Lett., 2024)

Reachability in Geometrically d-Dimensional VASS. - Yuxi Fu; Yangluo Zheng; Qizhe Yang (CoRR, 2025)