MC
Michaël Cadilhac
cs.FLcs.LOcs.AIcs.DScs.GTcs.CCcs.CLcs.DCcs.MSExpressive power
On Valency
published · living versionsW_zkdj9563·v1 · currentpublished
Preprints & journals
24 papers in the corpus · 2011–2026Rational polynomial solvability reduces to stratifiability of semilinear sets2610.27482v1 · Michael Cadilhac2026 · 0 citationsarXivon Valency
Algebraic Decomposition Theory for Transformer Length Generalization2608.13433v1 · Andy Yang, Blerta Veseli, Corentin Barloy et al.2026 · 0 citationsarXiv
NEXP-Completeness of Existential Presburger Arithmetic with Divisibility2606.14167v4 · Ignacio Barros, Michael Cadilhac, Guillermo A. P'erez2026 · 0 citationsarXiv
Population Protocols over Ordered Agents2605.09937v1 · Michael Blondin, Michael Cadilhac, Benjamin Courchesne et al.2026 · 0 citationsarXiv
A Factorization Theorem for Forest Algebras2605.10368v1 · Shaull Almagor, Michael Cadilhac, Asaf Shoham2026 · 0 citationsarXiv
Shuffles of Context-Free Languages along Regular Trajectories2603.26162v2 · Corentin Barloy, Michael Cadilhac, Kyle Ockerlund2026 · 0 citationsarXiv
Knee-Deep in C-RASP: A Transformer Depth Hierarchy2506.16055v3 · Andy Yang, Michael Cadilhac, David Chiang2025 · 0 citationsarXiv
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice2502.09189v1 · Michael Cadilhac, Vanessa Flugel, Guillermo A. P'erez et al.2025 · 1 citationarXiv
The Alternation Hierarchy of First-Order Logic on Words is Decidable2501.14899v2 · Corentin Barloy, Michael Cadilhac, Charles Paperman et al.2025 · 0 citationsarXiv
Weakly acyclic diagrams: A data structure for infinite-state symbolic verification2411.17250v2 · Michael Blondin, Michael Cadilhac, Xin-Yi Cui et al.2024 · 1 citationarXiv
Two-Way One-Counter Nets Revisited2410.22845v2 · Shaull Almagor, Michael Cadilhac, Asaf Yeshurun2024 · 0 citationsarXiv
The Reactive Synthesis Competition (SYNTCOMP): 2018-20212206.00251v2 · Swen Jacobs, Guillermo A. Perez, Remco Abraham et al.2022 · 29 citationsarXiv
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability2204.06079v1 · Michael Cadilhac, Guillermo A. P'erez2022 · 11 citationsarXiv
The Regular Languages of First-Order Logic with One Alternation2203.06075v1 · Corentin Barloy, Michael Cadilhac, Charles Paperman et al.2022 · 1 citationarXiv
Fast value iteration: A uniform approach to efficient algorithms for energy games2110.07346v3 · Michael Cadilhac, Antonio Casares, Pierre Ohlmann2021 · 0 citationsarXiv
On Polynomial Recursive Sequences.39183758 · Cadilhac, Michaël, Mazowiecki, Filip, Paperman, Charles et al.2024 · 8 citationsTheory of computing systems. 2024;68(4):593-614
Rational subsets of Baumslag-Solitar groups2006.11898v1 · Michael Cadilhac, Dmitry Chistikov, Georg Zetzsche2020 · 6 citationsarXiv
The Impatient May Use Limited Optimism to Minimize Regret1811.07146v1 · Michael Cadilhac, Guillermo A. P'erez, Marie van den Bogaard2018 · 0 citationsarXiv
Weak Cost Register Automata are Still Powerful1804.06336v1 · Shaull Almagor, Michael Cadilhac, Filip Mazowiecki et al.2018 · 7 citationsarXiv
Continuity of Functional Transducers: A Profinite Study of Rational Functions1802.10555v3 · Michael Cadilhac, Olivier Carton, Charles Paperman2018 · 1 citationLogical Methods in Computer Science, Volume 16, Issue 1 (February 21, 2020) lmcs:4336
A Crevice on the Crane Beach: Finite-Degree Predicates1701.02673v3 · Michael Cadilhac, Charles Paperman2017 · 1 citationarXiv
Value Automata with Filters1510.02393v1 · Michael Cadilhac, Andreas Krebs, Nutan Limaye2015 · 1 citationarXiv
Bounded Parikh Automata1108.3625v1 · Michael Cadilhac, Alain Finkel, Pierre McKenzie2011 · 5 citationsEPTCS 63, 2011, pp. 93-102
On the expressiveness of Parikh automata and related models1101.1547v4 · Michael Cadilhac, Alain Finkel, Pierre McKenzie2011 · 18 citationsarXiv
Career total: 62 works. 24 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.