Yangluo Zheng

According to our database¹, Yangluo Zheng authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

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

[BibT_eX]

[DOI]

CoRR, April, 2025

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

[BibT_eX]

[DOI]

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

2024

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

[BibT_eX]

[DOI]

CoRR, 2024

Improved Algorithm for Reachability in d-VASS.

[BibT_eX]

[DOI]

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