Qizhe Yang

According to our database, Qizhe Yang authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Reachability in 3-VASS is in Tower.

Qizhe Yang, Yuxi Fu

CoRR, 2023

2022

Counting nondeterministic computations.

Qizhe Yang, Yuxi Fu

Theor. Comput. Sci., 2022

On Probabilistic Extension of the Interaction Theory.

Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang

Proceedings of the Formal Methods and Software Engineering, 2022

2021

A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints.

Qunhao Sha, Qizhe Yang, Guoqiang Li

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021