Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

57 résultats
Page :
triés par

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⟩
Article dans une revue hal-00980377v1
Image document

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

 René David , Katarzyna Grygiel , Jakub Kozic , Christophe Raffalli , Guillaume Theyssier , et al.
2012
Pré-publication, Document de travail hal-00372035v4
Image document

Bulking II: Classifications of Cellular Automata

 Marianne Delorme , Jacques Mazoyer , Nicolas Ollinger , Guillaume Theyssier
2010
Pré-publication, Document de travail hal-00451727v2
Image document

Communication Complexity and Intrinsic Universality in Cellular Automata

 Eric Goles Chacc , Pierre-Etienne Meunier , Ivan Rapaport , Guillaume Theyssier
2009
Pré-publication, Document de travail hal-00440186v4
Image document

On Factor Universality in Symbolic Spaces

 Laurent Boyer , Guillaume Theyssier
2010
Pré-publication, Document de travail hal-00474559v2

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⟩
Article dans une revue hal-03778894v1
Image document

Intrinsic Universality in Automata Networks II: Glueing and Gadgets

 Martín Ríos Wilson , Guillaume Theyssier
2023
Pré-publication, Document de travail hal-04199857v1

On the complexity of freezing automata networks of bounded pathwidth

 Eric Goles , Pedro Montealegre , Martín Ríos-Wilson , Guillaume Theyssier
Zenodo, 2023, Exploratory Papers of AUTOMATA 2023, ⟨10.5281/zenodo.8276243⟩
Proceedings/Recueil des communications hal-04261244v1
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⟩
Chapitre d'ouvrage hal-03430841v1
Image document

Clandestine Simulations in Cellular Automata

 Pierre Guillon , Pierre-Etienne Meunier , Guillaume Theyssier
2010
Pré-publication, Document de travail hal-00521624v4
Image document

Stochastic Cellular Automata: Correlations, Decidability and Simulations

 Pablo Arrighi , Nicolas Schabanel , Guillaume Theyssier
2013
Pré-publication, Document de travail hal-00818306v2
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⟩
Communication dans un congrès hal-01435029v1
Image document

Hardness of monadic second-order formulae over succinct graphs

 Guilhem Gamard , Pierre Guillon , Kévin Perrot , Guillaume Theyssier
2023
Pré-publication, Document de travail hal-03978957v1
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 : ⟩
Thèse tel-00166295v1

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⟩
Article dans une revue hal-00944466v1
Image document

Pre-Expansivity in Cellular Automata

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

On Turedo Hierarchies and Intrinsic Universality

 Samuel Nalin , Guillaume Theyssier
2022
Pré-publication, Document de travail hal-03661129v1
Image document

Universality in Freezing Cellular Automata

 Florent Becker , Diego Maldonado , Nicolas Ollinger , Guillaume Theyssier
14th Conference on Computability in Europe (CiE 2018), Jul 2018, Kiel, Germany. pp. 50-59, ⟨10.1007/978-3-319-94418-0_5⟩
Communication dans un congrès hal-01772500v1

On Simulation in Automata Networks

 Florian Bridoux , Maximilien Gadouleau , Guillaume Theyssier
CiE 2020: Beyond the Horizon of Computability, pp.277-288, 2020, ⟨10.1007/978-3-030-51466-2_24⟩
Chapitre d'ouvrage hal-03079275v1
Image document

Intrinsic Simulations and Universality in Automata Networks

 Martín Ríos-Wilson , Guillaume Theyssier
2022
Pré-publication, Document de travail hal-03779748v2
Image document

Freezing, Bounded-Change and Convergent Cellular Automata

 Nicolas Ollinger , Guillaume Theyssier
Discrete Mathematics and Theoretical Computer Science, 2022, vol. 24, no. 1, ⟨10.46298/dmtcs.5734⟩
Article dans une revue hal-02266916v4
Image document

On the complexity of two-dimensional signed majority cellular automata

 Eric Goles , Pedro Montealegre , Kévin Perrot , Guillaume Theyssier
Journal of Computer and System Sciences, 2018, 91, pp.1-32
Article dans une revue hal-01472161v2
Image document

Directional Dynamics along Arbitrary Curves in Cellular Automata

 Martin Delacourt , Victor Poupet , Mathieu Sablik , Guillaume Theyssier
Theoretical Computer Science, 2011, 412, pp.3800-3821. ⟨10.1016/j.tcs.2011.02.019⟩
Article dans une revue hal-00451729v3
Image document

Amalgamation of cellular automata

 Guillaume Theyssier
JAC 2008, Apr 2008, Uzès, France. pp.182-194
Communication dans un congrès hal-00273999v1
Image document

Bulking I: an Abstract Theory of Bulking

 Marianne Delorme , Jacques Mazoyer , Nicolas Ollinger , Guillaume Theyssier
2010
Pré-publication, Document de travail hal-00451732v2
Image document

Clandestine Simulations in Cellular Automata

 Pierre Guillon , Pierre-Etienne Meunier , Guillaume Theyssier
Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.133-144
Communication dans un congrès hal-00541996v1

Bulking I: an Abstract Theory of Bulking

 Marianne Delorme , Jacques Mazoyer , Nicolas Ollinger , Guillaume Theyssier
Theoretical Computer Science, 2011, 412 (30), pp.3866-3880. ⟨10.1016/j.tcs.2011.02.023⟩
Article dans une revue hal-00980376v1
Image document

Cold Dynamics in Cellular Automata: a Tutorial

 Guillaume Theyssier
Natural Computing, 2022, ⟨10.1007/s11047-022-09886-2⟩
Article dans une revue hal-03462040v2

Pavages et automates cellulaires

 Nathalie Aubrun , Guillaume Theyssier
Informatique Mathématique, Une photographie en 2017, 2017
Chapitre d'ouvrage hal-01989775v1
Image document

Intrinsic Universality in Automata Networks I: Families and Simulations.

 Martín Ríos-Wilson , Guillaume Theyssier
2023
Pré-publication, Document de travail hal-04199842v1
Page :