Qizhe Yang

According to our database, Qizhe Yang authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

2024

Branching bisimulation semantics for quantum processes.

Hao Wu, Qizhe Yang, Huan Long

Inf. Process. Lett., 2024

Improved Algorithm for Reachability in <i>d</i>-VASS.

Yuxi Fu, Qizhe Yang, Yangluo Zheng

CoRR, 2024

Improved Algorithm for Reachability in d-VASS.

Yuxi Fu, Qizhe Yang, Yangluo Zheng

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

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