Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

57 résultats
Page :
triés par

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

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

On the cost of simulating a parallel Boolean automata network with a block-sequential one

 Florian Bridoux , Pierre Guillon , Kévin Perrot , Sylvain Sené , Guillaume Theyssier
Proceedings of TAMC'17, Apr 2017, Bern, Switzerland. pp.112--128
Communication dans un congrès hal-01479439v1

Subshifts as models for MSO logic

 Emmanuel Jeandel , Guillaume Theyssier
Information and Computation, 2013, 225, pp.1-15. ⟨10.1016/j.ic.2013.01.003⟩
Article dans une revue hal-00783099v1
Image document

Selfsimilarity, Simulation and Spacetime Symmetries

 Vincent Nesme , Guillaume Theyssier
2011
Pré-publication, Document de travail hal-00649749v1
Image document

Topological Dynamics of Cellular Automata: Dimension Matters

 Mathieu Sablik , Guillaume Theyssier
Theory of Computing Systems, 2009
Article dans une revue hal-00339354v2
Image document

Subshifts, Languages and Logic

 Emmanuel Jeandel , Guillaume Theyssier
13th International Conference on Developments in Language Theory, Jun 2009, Stuttgart, Germany
Communication dans un congrès hal-00375816v1
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
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
Communication dans un congrès 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⟩
Communication dans un congrès hal-00175396v3
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⟩
Article dans une revue hal-03410438v1

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⟩
Chapitre d'ouvrage hal-03410442v1
Image document

Intrinsic Universality in Automata Networks III: On Symmetry versus Asynchrony

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