Get started
Author

Clotilde Bizière

On the Reachability Problem for Two-Dimensional Branching VASS
2025 · Bizière, Clotilde, Hilaire, Thibault, et al. · arXiv (Cornell University) · 1
PDF
Locality Theorems in Semiring Semantics
2023 · Bizière, Clotilde, Grädel, Erich, et al. · arXiv (Cornell University) · 1
PDF
Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants
2026 · Bizière, Clotilde, Leroux, Jérôme, et al. · arXiv (Cornell University)
PDF
A Forward-Only Construction of Semilinear Inductive Invariants for VAS
2026 · Bizière, Clotilde, Leroux, Jérôme, et al. · arXiv (Cornell University)
Reachability in VASS Extended with Integer Counters
2026 · Bizière, Clotilde, Czerwiński, Wojciech, et al. · arXiv (Cornell University)
PDF
Bridging the Gap Between Plain VASS and Branching VASS
2026 · Clotilde Bizière, Jérôme Leroux, et al. · Lecture notes in computer science
PDF
A Forward-Only Construction of Semilinear Inductive Invariants for VAS
2026 · Bizière, Clotilde, Leroux, Jérôme, et al. · arXiv (Cornell University)
PDF
Reachability in VASS Extended with Integer Counters
2026 · Bizière, Clotilde, Czerwiński, Wojciech, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Reachability in One-Dimensional Pushdown Vector Addition Systems Is Decidable
2025 · Clotilde Bizière, Wojciech Czerwiński · ACM Symposium on Theory of Computing (STOC)
PDF
Works count: 9
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type