| 2025 | STACS | Computability of Extender Sets in Multidimensional Subshifts. | Antonin Callard, Lo Paviet Salomon, Pascal Vanier |
| 2023 | MFCS | Realizing Finitely Presented Groups as Projective Fundamental Groups of SFTs. | Lo Paviet Salomon, Pascal Vanier |
| 2021 | ICALP | Computational Characterization of Surface Entropies for ℤ² Subshifts of Finite Type. | Antonin Callard, Pascal Vanier |
| 2019 | CSR | Undecidable Word Problem in Subshift Automorphism Groups. | Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier |
| 2019 | STACS | A Characterization of Subshifts with Computable Language. | Emmanuel Jeandel, Pascal Vanier |
| 2018 | CSR | Slopes of 3-Dimensional Subshifts of Finite Type. | Etienne Moutot, Pascal Vanier |
| 2018 | ICALP | Aperiodic Points in Z | Anal Grandjean, Benjamin Hellouin de Menibus, Pascal Vanier |
| 2017 | CSR | Turing Degree Spectra of Minimal Subshifts. | Michael Hochman, Pascal Vanier |
| 2014 | ICALP | Turing Degrees of Limit Sets of Cellular Automata. | Alex Borello, Julien Cervelle, Pascal Vanier |
| 2013 | STACS | Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type. | Emmanuel Jeandel, Pascal Vanier |
| 2011 | TAMC | P | Emmanuel Jeandel, Pascal Vanier |
| 2010 | DLT | Periodicity in Tilings. | Emmanuel Jeandel, Pascal Vanier |
| 2009 | MFCS | Bounds on Non-surjective Cellular Automata. | Jarkko Kari, Pascal Vanier, Thomas Zeume |