Pascal Vanier

Publications

Article dans une revue (8)

Decision problems on geometric tilings Benjamin Hellouin de Menibus,Victor Lutfalla,Pascal Vanier Theoretical Computer Science, 2026, 1067, pp.115756. ⟨10.1016/j.tcs.2026.115756⟩ Article dans une revue hal-04693345v2
The relationship between word complexity and computational complexity in subshifts Ronnie Pavlov,Pascal Vanier Discrete and Continuous Dynamical Systems - Series A, 2021, 41 (4), pp.1627-1648. ⟨10.3934/dcds.2020334⟩ Article dans une revue hal-02063174v1
Slopes of multidimensional subshifts Emmanuel Jeandel,Etienne Moutot,Pascal Vanier Theory of Computing Systems, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-1⟩ Article dans une revue hal-02158012v1
Hardness of conjugacy, embedding and factorization of multidimensional subshifts Emmanuel Jeandel,Pascal Vanier Journal of Computer and System Sciences, 2015, http://dx.doi.org/10.1016/j.jcss.2015.05.003. ⟨10.1016/j.jcss.2015.05.003⟩ Article dans une revue hal-01150419v1
Characterizations of periods of multidimensional shifts Emmanuel Jeandel,Pascal Vanier Ergodic Theory and Dynamical Systems, 2015, 35 (2), pp.431--460. ⟨10.1017/etds.2013.60⟩ Article dans une revue hal-00798336v1
Turing degrees of multidimensional subshifts Emmanuel Jeandel,Pascal Vanier Theoretical Computer Science, 2013, http://dx.doi.org/10.1016/j.tcs.2012.08.027. ⟨10.1016/j.tcs.2012.08.027⟩ Article dans une revue hal-00613165v3
Characterizations of periods of multi-dimensional shifts Emmanuel Jeandel,Pascal Vanier Ergodic Theory and Dynamical Systems, 2013, FirstView, pp.1--30. ⟨10.1017/etds.2013.60⟩ Article dans une revue hal-01194798v1
Periodicity in tilings Emmanuel Jeandel,Pascal Vanier Developments in Language Theory, 2010, 6224/2010, pp.243-254. ⟨10.1007/978-3-642-14455-4_23⟩ Article dans une revue hal-00419196v1

Communication dans un congrès (11)

Realizing finitely presented groups as projective fundamental groups of SFTs Léo Paviet Salomon,Pascal Vanier Mathematical Foundations of Computer Science (MFCS), 2023, Bordeaux, France. ⟨10.4230/LIPIcs.MFCS.2023.75⟩ Communication dans un congrès hal-03622497v2
Undecidable word problem in subshift automorphism groups Pierre Guillon,Emmanuel Jeandel,Jarkko Kari,Pascal Vanier Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia Communication dans un congrès hal-01862896v2
A Characterization of Subshifts with Computable Language Emmanuel Jeandel,Pascal Vanier STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany Communication dans un congrès hal-02133469v1
Slopes of 3-dimensional Subshifts of Finite Type Etienne Moutot,Pascal Vanier CSR 2018, Jun 2018, Moscou, Russia. pp.257--268, ⟨10.1007/978-3-319-90530-3_22⟩ Communication dans un congrès hal-01772574v1
Aperiodic points in $\mathbb Z^2$-subshifts Anaël Grandjean,Benjamin Hellouin de Menibus,Pascal Vanier ICALP 2018, Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.496⟩ Communication dans un congrès hal-01722008v2
Turing degree spectra of minimal subshifts Michael Hochman,Pascal Vanier Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, Jun 2017, Kazan, Russia. ⟨10.1007/978-3-319-58747-9_15⟩ Communication dans un congrès hal-01058198v4
Turing degrees of limit sets of cellular automata Alex Borello,Julien Cervelle,Pascal Vanier ICALP 2014, Jul 2014, Copenhaguen, Denmark. pp.74--85, ⟨10.1007/978-3-662-43951-7_7⟩ Communication dans un congrès hal-00947323v1
Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type Emmanuel Jeandel,Pascal Vanier STACS 2013 - 30th International Symposium on Theoretical Aspects of Computer Science, Christian-Albrechts - Universität zu Kiel, Feb 2013, Kiel, Germany. pp.490--501, ⟨10.4230/LIPIcs.STACS.2013.490⟩ Communication dans un congrès hal-00690285v1
Pi01 sets and tilings Emmanuel Jeandel,Pascal Vanier Theory and Applications of Models of Computation - 8th Annual Conference, May 2011, Kyoto, Japan. pp.230-239, ⟨10.1007/978-3-642-20877-5_24⟩ Communication dans un congrès hal-00563458v2
Slopes of Tilings Emmanuel Jeandel,Pascal Vanier Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.145-155 Communication dans un congrès hal-00542000v1
Bounds on Non-surjective Cellular Automata Jarkko Kari,Pascal Vanier,Thomas Zeume Mathematical Foundations of Computer Science (MFCS), 2009, Unknown, Unknown Region. pp.439-450 Communication dans un congrès hal-01194799v1

Ouvrages (1)

Informatique Fondamentale et ses Mathématiques : Une photographie en 2025 Denis Arzelier,Miriam Backens,Kostia Chardonnet,Pierre Clairambault,Julien Courtielet al. CNRS Éditions, 2025, Informatique Fondamentale et ses Mathématiques, 978-2-271-15855-0 Ouvrages hal-05365250v1

Chapitre d'ouvrage (1)

The Undecidability of the Domino Problem Emmanuel Jeandel,Pascal Vanier Substitution and Tiling Dynamics: Introduction to Self-inducing Structures, 2273, pp.293-357, 2020, ⟨10.1007/978-3-030-57666-0_6⟩ Chapitre d'ouvrage hal-03087341v1