Qizhe Yang

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Transitive Closure

Parallel Implementation

Probabilistic Approaches

Top Venues

Theor. Comput. Sci.

Publications

Yuxi Fu, Qizhe Yang, Yangluo Zheng
-VASS. CoRR (2024)
Yuxi Fu, Qizhe Yang, Yangluo Zheng
Improved Algorithm for Reachability in d-VASS. ICALP (2024)
Qizhe Yang, Yuxi Fu
Reachability in 3-VASS is in Tower. CoRR (2023)
Qizhe Yang, Yuxi Fu
Counting nondeterministic computations. Theor. Comput. Sci. 897 (2022)
Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang
On Probabilistic Extension of the Interaction Theory. ICFEM (2022)
Qunhao Sha, Qizhe Yang, Guoqiang Li
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. TASE (2021)
Yuxi Fu, Qizhe Yang
Reachability is Tower Complete. CoRR (2020)