Search - Archive ouverte HAL Access content directly

Filter your results

55 Results
Image document

Stochastic Cellular Automata: Correlations, Decidability and Simulations

Pablo Arrighi , Nicolas Schabanel , Guillaume Theyssier
2013
Preprints, Working Papers, ... hal-00818306v2
Image document

Clandestine Simulations in Cellular Automata

Pierre Guillon , Pierre-Etienne Meunier , Guillaume Theyssier
2010
Preprints, Working Papers, ... hal-00521624v4

Cellular automata and bootstrap percolation

Ville Salo , Guillaume Theyssier , Ilkka Törmä
Theoretical Computer Science, 2022, 924, pp.34-45. ⟨10.1016/j.tcs.2022.04.015⟩
Journal articles hal-03778894v1
Image document

Rice-Like Theorems for Automata Networks

Guilhem Gamard , Pierre Guillon , Kevin Perrot , Guillaume Theyssier
38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021), 2021, ⟨10.4230/LIPIcs.STACS.2021.32⟩
Book sections hal-03430841v1
Image document

Intrinsic Universality in Automata Networks II: Glueing and Gadgets

Martín Ríos Wilson , Guillaume Theyssier
2023
Preprints, Working Papers, ... hal-04199857v1
Image document

Asymptotically almost all $\lambda$-terms are strongly normalizing

René David , Katarzyna Grygiel , Jakub Kozic , Christophe Raffalli , Guillaume Theyssier , et al.
2012
Preprints, Working Papers, ... hal-00372035v4
Image document

Communication Complexity and Intrinsic Universality in Cellular Automata

Eric Goles Chacc , Pierre-Etienne Meunier , Ivan Rapaport , Guillaume Theyssier
2009
Preprints, Working Papers, ... hal-00440186v4
Image document

Bulking II: Classifications of Cellular Automata

Marianne Delorme , Jacques Mazoyer , Nicolas Ollinger , Guillaume Theyssier
2010
Preprints, Working Papers, ... hal-00451727v2

Bulking II: Classifications of cellular automata

Marianne Delorme , Jacques Mazoyer , Nicolas Ollinger , Guillaume Theyssier
Theoretical Computer Science, 2011, 412 (30), pp.3881-3905. ⟨10.1016/j.tcs.2011.02.024⟩
Journal articles hal-00980377v1
Image document

On Factor Universality in Symbolic Spaces

Laurent Boyer , Guillaume Theyssier
2010
Preprints, Working Papers, ... hal-00474559v2
Image document

Pre-Expansivity in Cellular Automata

A. Gajardo , V. Nesme , Guillaume Theyssier
Theoretical Computer Science, 2019, ⟨10.1016/j.tcs.2019.10.034⟩
Journal articles hal-01286018v4
Image document

Propagation, Diffusion and Randomization in Cellular Automata

Guillaume Theyssier
22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.3-9, ⟨10.1007/978-3-319-39300-1_1⟩
Conference papers hal-01435029v1

Stochastic Cellular Automata: Correlations, Decidability and Simulations

Pablo Arrighi , Nicolas Schabanel , Guillaume Theyssier
Fundamenta Informaticae, 2013, 126 (2-3), pp.121-156. ⟨10.3233/FI-2013-87⟩
Journal articles hal-00944466v1
Image document

Automates cellulaires : un modèle de complexités

Guillaume Theyssier
Mathématiques [math]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français. ⟨NNT : ⟩
Theses tel-00166295v1
Image document

On Turedo Hierarchies and Intrinsic Universality

Samuel Nalin , Guillaume Theyssier
2022
Preprints, Working Papers, ... hal-03661129v1
Image document

Hardness of monadic second-order formulae over succinct graphs

Guilhem Gamard , Pierre Guillon , Kévin Perrot , Guillaume Theyssier
2023
Preprints, Working Papers, ... hal-03978957v1
Image document

Introducing Freezing Cellular Automata

Eric Goles , Nicolas Ollinger , Guillaume Theyssier
Cellular Automata and Discrete Complex Systems, 21st International Workshop (AUTOMATA 2015), Jun 2015, Turku, Finland. pp.65--73
Conference papers hal-01294144v1
Image document

Commutative automata networks

Florian Bridoux , Maximilien Gadouleau , Guillaume Theyssier
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.43-58, ⟨10.1007/978-3-030-61588-8_4⟩
Conference papers hal-02548573v1
Image document

The Mirage of Universality in Cellular Automata

Guillaume Theyssier
2021
Preprints, Working Papers, ... hal-03461942v1

Oritatami Systems Assemble Shapes No Less Complex Than Tile Assembly Model (ATAM)

Daria Pchelina , Nicolas Schabanel , Shinnosuke Seki , Guillaume Theyssier
Berenbrink, Petra and Monmege, Benjamin. 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022), 219, 2022, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-222-8. ⟨10.4230/LIPIcs.STACS.2022.51⟩
Book sections hal-03870036v1
Image document

Expansive automata networks

Florian Bridoux , Maximilien Gadouleau , Guillaume Theyssier
Theoretical Computer Science, 2020, 843, pp.25-44. ⟨10.1016/j.tcs.2020.06.019⟩
Journal articles hal-03079289v1

Intrinsic Simulations between Stochastic Cellular Automata

Pablo Arrighi , Nicolas Schabanel , Guillaume Theyssier
18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium, Journées Automates Cellulaires, 2012, France. pp.208-224
Conference papers hal-00944502v1

Strict Majority Bootstrap Percolation in the r-wheel

Guillaume Theyssier , Kiwi Marcos , Rapaport Ivan , Rica Sergio , Espanés Pablo Moisset De
Information Processing Letters, 2014, pp.Volume 114, Issue 6, June 2014, Pages 277-281. ⟨10.1016/j.ipl.2014.01.005⟩
Journal articles hal-00943800v1
Image document

Selfsimilarity, Simulation and Spacetime Symmetries

Vincent Nesme , Guillaume Theyssier
17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. pp.77-94, ⟨10.46298/dmtcs.2973⟩
Conference papers hal-01196140v1
Image document

On Local Symmetries and Universality in Cellular Automata

Laurent Boyer , Guillaume Theyssier
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.195-206
Conference papers inria-00359174v1
Image document

Topological Dynamics of 2D Cellular Automata

Mathieu Sablik , Guillaume Theyssier
4th Conference on Computability in Europe, CiE 2008, Jun 2008, Athens, Greece. pp.523-532, ⟨10.1007/978-3-540-69407-6⟩
Conference papers hal-00175396v3

On the Impact of Treewidth in the Computational Complexity of Freezing Dynamics

Guillaume Theyssier , Eric Goles , Pedro Montealegre , Martín Ríos Wilson
Connecting with Computability, 12813, Springer International Publishing, pp.260-272, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-80049-9_24⟩
Book sections hal-03410442v1
Image document

Pre-expansivity in cellular automata

A. Gajardo , V. Nesme , Guillaume Theyssier
Theoretical Computer Science, 2020, 816, pp.37-66. ⟨10.1016/j.tcs.2019.10.034⟩
Journal articles hal-03410438v1
Image document

Cold Dynamics in Cellular Automata: a Tutorial

Guillaume Theyssier
Natural Computing, 2022, ⟨10.1007/s11047-022-09886-2⟩
Journal articles hal-03462040v2

Pavages et automates cellulaires

Nathalie Aubrun , Guillaume Theyssier
Informatique Mathématique, Une photographie en 2017, 2017
Book sections hal-01989775v1