Clotilde Bizire
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Bridging the Gap Between Plain VASS and Branching VASS. | Clotilde Bizire, Jrme Leroux, Grgoire Sutre |
| 2026 | LICS | Reachability in VASS Extended with Integer Counters. | Clotilde Bizire, Wojciech Czerwinski, Roland Guttenberg, Jrme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks |
| 2026 | MFCS | A Forward-Only Construction of Semilinear Inductive Invariants for VAS. | Clotilde Bizire, Jrme Leroux, Grgoire Sutre |
| 2025 | MFCS | On the Reachability Problem for Two-Dimensional Branching VASS. | Clotilde Bizire, Thibault Hilaire, Jrme Leroux, Grgoire Sutre |
| 2025 | STOC | Reachability in One-Dimensional Pushdown Vector Addition Systems Is Decidable. | Clotilde Bizire, Wojciech Czerwinski |
| 2023 | MFCS | Locality Theorems in Semiring Semantics. | Clotilde Bizire, Erich Grdel, Matthias Naaf |