Qizhe Yang

15 papers A* 1C 1Misc 1Journal 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
A two-stage active cleaning strategy for long-tail label noise.
Neural Networks
Xiao Lin, Zeyu Rong, Yan Li, Qizhe Yang, Ping Li, Wei Huang
2026 J jnl
AC4: Algebraic Computation Checker for Circuit Constraints in Zero-Knowledge Proofs.
Formal Aspects Comput.
Qizhe Yang, Boxuan Liang, Hao Chen, Guoqiang Li
2026 J jnl
Cooperative Control Framework for Dual-Arm Robot Enhanced by Vision Language Model and Reinforcement Learning.
IEEE Trans Autom. Sci. Eng.
Guangrong Chen, Qizhe Yang, Jiehao Li, C. L. Philip Chen, Chenguang Yang
2026 J jnl
DeRestormer: Revisit versatile image restoration via deformable attention mechanism.
Pattern Recognit.
Xiao Lin, Yilin Chen, Wei Huang, Qizhe Yang, Jingyu Gong
2026 J jnl
Dynamic patch-level contrastive learning for image dehazing.
Pattern Recognit.
Xiao Lin, Dongchen Zhang, Yan Li, Qizhe Yang, Ping Li, Wei Huang
2026 J jnl
Multiple weather degraded image restoration based on multi-component decomposition.
Pattern Recognit.
Xiao Lin, Yilin Chen, Duojiu Xu, Qizhe Yang, Yan Li, Wei Huang, Ping Li
2025 J jnl
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes.
Formal Aspects Comput.
Guoqiang Li, Qizhe Yang, Jinhao Tan, Ying Zhao
2025 J jnl
Reachability in Geometrically
CoRR
Yuxi Fu, Yangluo Zheng, Qizhe Yang
2024 J jnl
Branching bisimulation semantics for quantum processes.
Inf. Process. Lett.
Hao Wu, Qizhe Yang, Huan Long
2024 J jnl
Improved Algorithm for Reachability in
CoRR
Yuxi Fu, Qizhe Yang, Yangluo Zheng
2024 A* conf
Improved Algorithm for Reachability in d-VASS.
ICALP
Yuxi Fu, Qizhe Yang, Yangluo Zheng
2023 J jnl
Reachability in 3-VASS is in Tower.
CoRR
Qizhe Yang, Yuxi Fu
2022 J jnl
Counting nondeterministic computations.
Theor. Comput. Sci.
Qizhe Yang, Yuxi Fu
2022 C conf
On Probabilistic Extension of the Interaction Theory.
ICFEM
Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang
2021 Misc conf
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints.
TASE
Qunhao Sha, Qizhe Yang, Guoqiang Li