Michal Cadilhac
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | A Factorization Theorem for Forest Algebras. | Shaull Almagor, Michal Cadilhac, Asaf Shoham |
| 2026 | ICALP | Shuffles of Context-Free Languages Along Regular Trajectories. | Corentin Barloy, Michal Cadilhac, Kyle Ockerlund |
| 2026 | ICALP | Population Protocols over Ordered Agents. | Michael Blondin, Michal Cadilhac, Benjamin Courchesne, Lucie Guillou, Corto Mascle, Isa Vialard |
| 2025 | ATVA | Data Structures for Finite Downsets of Natural Vectors: Theory and Practice. | Michal Cadilhac, Vanessa Flgel, Guillermo A. Prez, Shrisha Rao |
| 2025 | CSL | Two-Way One-Counter Nets Revisited. | Shaull Almagor, Michal Cadilhac, Asaf Yeshurun |
| 2025 | TACAS | Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification. | Michael Blondin, Michal Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz |
| 2025 | TACAS | Fast value iteration: A uniform approach to efficient algorithms for energy games. | Michal Cadilhac, Antonio Casares, Pierre Ohlmann |
| 2023 | MFCS | Parikh One-Counter Automata. | Michal Cadilhac, Arka Ghosh, Guillermo A. Prez, Ritam Raha |
| 2023 | TACAS | Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. | Michal Cadilhac, Guillermo A. Prez |
| 2022 | LICS | The Regular Languages of First-Order Logic with One Alternation. | Corentin Barloy, Michal Cadilhac, Charles Paperman, Thomas Zeume |
| 2020 | ICALP | Rational Subsets of Baumslag-Solitar Groups. | Michal Cadilhac, Dmitry Chistikov, Georg Zetzsche |
| 2020 | ICALP | On Polynomial Recursive Sequences. | Michal Cadilhac, Filip Mazowiecki, Charles Paperman, Michal Pilipczuk, Graud Snizergues |
| 2019 | FOSSACS | The Impatient May Use Limited Optimism to Minimize Regret. | Michal Cadilhac, Guillermo A. Prez, Marie van den Bogaard |
| 2018 | DLT | Weak Cost Register Automata Are Still Powerful. | Shaull Almagor, Michal Cadilhac, Filip Mazowiecki, Guillermo A. Prez |
| 2017 | ICALP | Continuity and Rational Functions. | Michal Cadilhac, Olivier Carton, Charles Paperman |
| 2017 | LICS | A crevice on the Crane Beach: Finite-degree predicates. | Michal Cadilhac, Charles Paperman |
| 2016 | DLT | A Language-Theoretical Approach to Descriptive Complexity. | Michal Cadilhac, Andreas Krebs, Klaus-Jrn Lange |
| 2015 | MFCS | A Circuit Complexity Approach to Transductions. | Michal Cadilhac, Andreas Krebs, Michael Ludwig, Charles Paperman |
| 2012 | DLT | Unambiguous Constrained Automata. | Michal Cadilhac, Alain Finkel, Pierre McKenzie |