CODYS » Publications

Publications multipartenaires

On the Monniaux Problem in Abstract Interpretation.
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell.
International Symposium on Static Analysis, SAS 2019.
ArXiv
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, and James Worrell.
Theory of Computing Systems 63 (2019) 1027-1048.
On the Decidability of Reachability in Linear Time-Invariant Systems.
Nathanaël Fijalkow, Joël Ouaknine, João Sousa-Pinto, Amaury Pouly, and James Worrell.
International Conference on Hybrid Systems: Computation and Control, HSCC 2019.
ArXiv
A q-analog of the Markoff injectivity conjecture holds
Sébastien Labbé, Mélodie Lapointe, Wolfgang Steiner
Algebraic Combinatorics 6 (2023), 1677-1685.

Publications monopartenaires

Dichotomic Selection on Words: A Probabilistic Analysis
Ali Akhavi , Julien Clément , Dimitri Darthenay , Loïck Lhote , Brigitte Vallée
30th Annual Symposium on Combinatorial Pattern Matching (CPM 2019), Jun 2019, Pisa, Italy. pp.19:1-19:19.
A note on double rotations of infinite type
M. Artigiani, C. Fougeron, P. Hubert, S. Skripchenko
Trans. Moscow Math. Soc., à paraître. arXiv:2102.11803
Reachability in Dynamical Systems with Rounding
Christel Baier , Florian Funke , Simon Jantsch , Toghrul Karimov , Engel Lefaucheux , et al.
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), Dec 2020, Goa, India. pp.36:1--36:17.
A characterization of Sturmian sequences by indistinguishable asymptotic pairs
Sebastián Barbieri, Sébastien Labbé, Štěpán Starosta
European Journal of Combinatorics 95 (2021) 103318 doi:10.1016/j.ejc.2021.103318, arXiv:2011.08112
Indistinguishable asymptotic pairs and multidimensional Sturmian configurations
Sebastián Barbieri, Sébastien Labbé
Preprint: arXiv:2204.06413
Metallic mean Wang shifts I: self-similarity, aperiodicity and minimality
Sébastien Labbé
Preprint: arXiv:2312.03652
Dumont-Thomas numeration systems for Z
Sébastien Labbé, Jana Lepšová
Preprint: arXiv:2302.14481
Markovian properties of continuous group actions: algebraic actions, entropy and the homoclinic group
Sebastián Barbieri, Felipe García-Ramos, Hanfeng Li
Advances in Mathematics, 397(108196):1–52, 2022. arXiv:1911.00785
Gibbsian representations of continuous specifications: the theorems of Kozlov and Sullivan revisited
Sebastián Barbieri, Ricardo Gómez, Brian Marcus, Tom Meyerovitch, Siamak Taati
Communications in Mathematical Physics, 382(2):1111–1164, 2021. arXiv:2001.03880
A Robust Class of Linear Recurrence Sequences
Corentin Barloy, Nathanaël Fijalkow, Nathan Lhote, and Filip Mazowiecki.
Accepted in the conference Computer Science in Logic (CSL) 2020.
Recognizability in S-adic shifts
Marie-Pierre Béal, Dominique Perrin, Antonio Restivo, and Wolfgang Steiner
Israel Journal of Mathematics, à paraître. arXiv:2302.06258
On decision problems for substitutions in symbolic dynamics
V. Berthé
RP20, Reachability problems, Lecture Notes in Computer Science 12448, Springer 2020, 3-19.
On the three distance theorem
V. Berthé, C. Reutenauer
The Mathematical Intelligencer, to appear.
Recurrence and Frequencies
V. Berthé, A. Mimouni
WORDS 2023, LNCS 13899, pp. 11-13, 2023.
On substitutions preserving their return sets
V. Berthé, H. Goulet-Ouellet
WORDS 2023, LNCS 13899, 2023.
Dynamics of Ostrowski skew-product: I. Limit laws and Hausdorff dimensions
V. Berthé, J.-W. Lee
Trans. Amer. Math. Soc, 376 (2023), 7947-7982.
Lochs-type theorems beyond positive entropy
V. Berthé, E. Cesaratto, P. Rotondo, M. D. Safe
Monatsh. Math. 200 (2023), no. 4, 737-779.
Multidimensional continued fractions and symbolic codings of toral translations
V. Berthé, W. Steiner, J. Thuswaldner
Journal of the European Mathematical Society (JEMS), 25(12) (2023), 4997-5057.
Analysis of generalized continued fraction algorithms over polynomials
V. Berthé, H. Nakada, R. Natsui, B. Vallée
Finite Fields and Their Applications, 73 (2021), 101849.
On the second Lyapunov exponent of some multidimensional continued fraction algorithms
V. Berthé, W. Steiner, J. Thuswaldner
Mathematics of computation 90 (2021) 883-905. arXiv:1910.09386
The carry propagation of the successor function
V. Berthé, C. Frougny, M. Rigo, J. Sakarovitch
Advances in Applied Mathematics 120: 102062 (2020). arXiv:1907.01464
Two arithmetical sources and their associated tries
V. Berthé, E. Cesaratto, F. Paccaut, M. D. Safe, B. Vallée
AofA 2020, 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms.
On the dimension group of unimodular S-adic subshifts
V. Berthé, P. Cecchi Bernales, F. Durand, J. Leroy, D. Perrin, S.Petite
Monatshefte für Mathematik 194 (2021) 687-217arXiv:1911.07700
Tanaka–Ito α-continued fractions and matching
Carlo Carminati , Niels Langeveld , Wolfgang Steiner
Nonlinearity, 2021, 34 (6), pp.3565-3582.
Almost everywhere balanced sequences of complexity 2n+1
Julien Cassaigne, Sébastien Labbé, Julien Leroy
Moscow Journal of Combinatorics and Number Theory 11 (2022) 287-333. doi:10.2140/moscow.2022.11.287 Preprint: arXiv:2102.10093
Gaussian behaviour of quadratic irrationals
Eda Cesaratto, Brigitte Vallée
Acta Arithmetica, In press, 197 (2), pp.159-205.
Consistent unsupervised estimators for anchored PCFGs.
Alexander Clark and Nathanaël Fijalkow
Transactions of the Association for Computational Linguistics (TACL) 2020.
Dynamical properties of simplicial systems and continued fraction algorithms
C. Fougeron
arXiv:2001.01367
Simplicity of spectrum for certain multidimensional continued fraction algorithms
C. Fougeron, A. Skripchenko
Monatshefte für Mathematik (2020). arXiv:1904.13297
Cramér distance and discretizations of circle expanding maps I: theory
Pierre-Antoine Guihéneuf , Maurizio Monge
Nonlinearity, 2023, 36 (9).
Preprint arXiv:2206.07991
Cramér distance and discretizations of circle expanding maps II: simulations
Pierre-Antoine Guihéneuf , Maurizio Monge
Dynamical Systems, 2024, 39, p. 108-140.
Preprint arXiv:2206.08000
Markoff-Lagrange spectrum of one-sided shifts
Hajime Kaneko, Wolfgang Steiner
Preprint arXiv:2310.05454
A self-similar aperiodic set of 19 Wang tiles
S. Labbé
Geometriae Dedicata 201 (2019) 81-109. doi:10.1007/s10711-018-0384-8, arXiv:1802.03265
Substitutive structure of Jeandel-Rao aperiodic tilings
S. Labbé
Discrete & Computational Geometry 65 (2021) 800-855. doi:10.1007/s00454-019-00153-3, arXiv:1808.07768
Markov partition for toral Z²-rotations featuring Jeandel-Rao Wang shift and model sets
S. Labbé
Annales Henri Lebesgue 4 (2021) 283-324. doi:10.5802/ahl.73, arXiv:1903.06137
Rauzy induction of polygon partitions and toral Z²-rotations
S. Labbé
Journal of Modern Dynamics 17 (2021) 481-528. doi:10.3934/jmd.2021017, arXiv:1906.01104
A numeration system for Fibonacci-like Wang shifts
S. Labbé, Jana Lepšová
In: Lecroq T., Puzynina S. (eds) Combinatorics on Words. WORDS 2021. Lecture Notes in Computer Science, vol 12847. Springer, Cham. doi:10.1007/978-3-030-85088-3_9 Preprint arXiv:2105.11898
Three characterizations of a self-similar aperiodic 2-dimensional subshift
S. Labbé
Preprint arXiv:2012.03892
The q-analog of the Markoff injectivity conjecture over the language of a balanced sequence
Sébastien Labbé, Mélodie Lapointe
Combinatorial Theory 2 (2022) #9, 25 pages, doi:10.5070/C62156881, arXiv:2106.15886.
A Fibonacci analogue of the two's complement numeration system
Sébastien Labbé, Jana Lepšová
RAIRO - Theoretical Informatics and Applications 57 (2023) 12, 23 pages , doi:10.1051/ita/2023007, Preprint: arXiv:2205.02574
Nonexpansive directions in the Jeandel-Rao Wang shift
Sébastien Labbé, Casey Mann and Jennifer McLoud-Mann
Discrete and Continuous Dynamical Systems - Series A, 2023, 43 (9), pp.3213-3250. doi:10.3934/dcds.2023046, Preprint: arXiv:2206.02414
On the ergodic theory of Tanaka-Ito type alpha-continued fractions
Hitoshi Nakada, Wolfgang Steiner
Tokyo Journal of Mathematics, 2021, 44 (2), pp.451-465. arXiv:2003.05180
Factor-balanced S-adic languages
Léo Poirier, Wolfgang Steiner
Preprint arXiv:2211.14076
Rational self-affine tiles associated to standard and nonstandard digit systems
Lucía Rossi, Wolfgang Steiner, Jörg Thuswaldner
Panorama et Synthèses, à paraître. arXiv:2110.09112
Thue-Morse-Sturmian words and critical bases for ternary alphabets
Wolfgang Steiner
Bulletin de la société mathématique de France, 2020, 148 (4), pp.597-611.
The Depoissonisation Quintet: Rice-Poisson-Mellin-Newton-Laplace
Brigitte Vallée
29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018).