Qizhe Yang

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

Collaborative distances:

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

2026

AC4: Algebraic Computation Checker for Circuit Constraints in Zero-Knowledge Proofs.

Qizhe Yang, Boxuan Liang, Hao Chen, Guoqiang Li

Formal Aspects Comput., March, 2026

Cooperative Control Framework for Dual-Arm Robot Enhanced by Vision Language Model and Reinforcement Learning.

Guangrong Chen, Qizhe Yang, Jiehao Li, C. L. Philip Chen, Chenguang Yang

IEEE Trans Autom. Sci. Eng., 2026

Dynamic patch-level contrastive learning for image dehazing.

Xiao Lin, Dongchen Zhang, Yan Li, Qizhe Yang, Ping Li, Wei Huang

Pattern Recognit., 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

DeRestormer: Revisit versatile image restoration via deformable attention mechanism.

Xiao Lin, Yilin Chen, Wei Huang, Qizhe Yang, Jingyu Gong

Pattern Recognit., 2026

A two-stage active cleaning strategy for long-tail label noise.

Xiao Lin, Zeyu Rong, Yan Li, Qizhe Yang, Ping Li, Wei Huang

Neural Networks, 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