Clotilde Bizière

According to our database, Clotilde Bizière authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Reachability in One-Dimensional Pushdown Vector Addition Systems Is Decidable.

Clotilde Bizière, Wojciech Czerwinski

Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025

On the Reachability Problem for Two-Dimensional Branching VASS.

Clotilde Bizière, Thibault Hilaire, Jérôme Leroux, Grégoire Sutre

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2023

Locality Theorems in Semiring Semantics.

Clotilde Bizière, Erich Grädel, Matthias Naaf

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023