Accéder directement au contenu

Pascal Vanier

21
Documents

Publications

Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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