Qizhe Yang

According to our database, Qizhe Yang authored at least 10 papers between 2021 and 2026.

Collaborative distances:

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

2026

Multiple weather degraded image restoration based on multi-component decomposition.

Xiao Lin, Yilin Chen, Duojiu Xu, Qizhe Yang, Yan Li, Wei Huang, Ping Li

Pattern Recognit., 2026

2025

BPPChecker: An SMT-based Model Checker on Basic Parallel Processes.

Guoqiang Li, Qizhe Yang, Jinhao Tan, Ying Zhao

Formal Aspects Comput., September, 2025

Reachability in Geometrically <i>d</i>-Dimensional VASS.

Yuxi Fu, Yangluo Zheng, Qizhe Yang

CoRR, April, 2025

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