Sign in
Qizhe Yang
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Transitive Closure
Probabilistic Approaches
Parallel Implementation
Imprecise Probabilities
Top Venues
CoRR
TASE
Theor. Comput. Sci.
ICFEM
</>
Publications
</>
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)