Yangluo Zheng

According to our database, Yangluo Zheng authored at least 6 papers between 2024 and 2026.

Collaborative distances:

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

2026

Improving Reachability in Vector Addition Systems through Pumpability.

Weijun Chen, Yuxi Fu, Yangluo Zheng

CoRR, April, 2026

Exploring VASS Parameterised by Geometric Dimension.

Wojciech Czerwinski, Roland Guttenberg, Lukasz Orlikowski, Henry Sinclair-Banks, Yangluo Zheng

CoRR, February, 2026

2025

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

Yuxi Fu, Yangluo Zheng, Qizhe Yang

CoRR, April, 2025

Reachability in Vector Addition System with States Parameterized by Geometric Dimension.

Yangluo Zheng

Proceedings of the 36th International Conference on Concurrency Theory, 2025

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