Clotilde Bizière

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

Collaborative distances:

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

2026

Reachability in VASS Extended with Integer Counters.

Clotilde Bizière, Wojciech Czerwinski, Roland Guttenberg, Jérôme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks

CoRR, March, 2026

Bridging the Gap Between Plain VASS and Branching VASS.

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

Proceedings of the Foundations of Software Science and Computation Structures, 2026

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