Filtrer vos résultats
- 42
- 15
- 17
- 16
- 16
- 6
- 1
- 1
- 54
- 27
- 1
- 1
- 6
- 7
- 4
- 4
- 1
- 3
- 2
- 1
- 2
- 2
- 3
- 2
- 5
- 5
- 5
- 2
- 1
- 2
- 55
- 2
- 28
- 27
- 7
- 7
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 57
- 7
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
57 résultats
|
|
triés par
|
|
Propagation, Diffusion and Randomization in Cellular Automata22th 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
|
||
|
Hardness of monadic second-order formulae over succinct graphs2023
Pré-publication, Document de travail
hal-03978957v1
|
||
Stochastic Cellular Automata: Correlations, Decidability and SimulationsFundamenta Informaticae, 2013, 126 (2-3), pp.121-156. ⟨10.3233/FI-2013-87⟩
Article dans une revue
hal-00944466v1
|
|||
|
Automates cellulaires : un modèle de complexitésMathématiques [math]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français. ⟨NNT : ⟩
Thèse
tel-00166295v1
|
||
|
Pre-Expansivity in Cellular AutomataTheoretical Computer Science, 2019, ⟨10.1016/j.tcs.2019.10.034⟩
Article dans une revue
hal-01286018v4
|
||
|
On Turedo Hierarchies and Intrinsic Universality2022
Pré-publication, Document de travail
hal-03661129v1
|
||
|
Bulking II: Classifications of cellular automataTheoretical Computer Science, 2011, 412 (30), pp.3881-3905. ⟨10.1016/j.tcs.2011.02.024⟩
Article dans une revue
hal-00980377v1
|
||
|
Asymptotically almost all $\lambda$-terms are strongly normalizing2012
Pré-publication, Document de travail
hal-00372035v4
|
||
|
Bulking II: Classifications of Cellular Automata2010
Pré-publication, Document de travail
hal-00451727v2
|
||
|
Communication Complexity and Intrinsic Universality in Cellular Automata2009
Pré-publication, Document de travail
hal-00440186v4
|
||
|
On Factor Universality in Symbolic Spaces2010
Pré-publication, Document de travail
hal-00474559v2
|
||
|
Cellular automata and bootstrap percolationTheoretical Computer Science, 2022, 924, pp.34-45. ⟨10.1016/j.tcs.2022.04.015⟩
Article dans une revue
hal-03778894v1
|
||
|
Intrinsic Universality in Automata Networks II: Glueing and Gadgets2023
Pré-publication, Document de travail
hal-04199857v1
|
||
On the complexity of freezing automata networks of bounded pathwidthZenodo, 2023, Exploratory Papers of AUTOMATA 2023, ⟨10.5281/zenodo.8276243⟩
Proceedings/Recueil des communications
hal-04261244v1
|
|||
|
Rice-Like Theorems for Automata Networks38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021), 2021, ⟨10.4230/LIPIcs.STACS.2021.32⟩
Chapitre d'ouvrage
hal-03430841v1
|
||
|
Clandestine Simulations in Cellular Automata2010
Pré-publication, Document de travail
hal-00521624v4
|
||
|
Stochastic Cellular Automata: Correlations, Decidability and Simulations2013
Pré-publication, Document de travail
hal-00818306v2
|
||
|
Universality in Freezing Cellular Automata14th 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 NetworksCiE 2020: Beyond the Horizon of Computability, pp.277-288, 2020, ⟨10.1007/978-3-030-51466-2_24⟩
Chapitre d'ouvrage
hal-03079275v1
|
||
|
Intrinsic Simulations and Universality in Automata Networks2022
Pré-publication, Document de travail
hal-03779748v2
|
||
|
Freezing, Bounded-Change and Convergent Cellular AutomataDiscrete Mathematics and Theoretical Computer Science, 2022, vol. 24, no. 1, ⟨10.46298/dmtcs.5734⟩
Article dans une revue
hal-02266916v4
|
||
|
On the complexity of two-dimensional signed majority cellular automataJournal of Computer and System Sciences, 2018, 91, pp.1-32
Article dans une revue
hal-01472161v2
|
||
|
Directional Dynamics along Arbitrary Curves in Cellular AutomataTheoretical Computer Science, 2011, 412, pp.3800-3821. ⟨10.1016/j.tcs.2011.02.019⟩
Article dans une revue
hal-00451729v3
|
||
|
Amalgamation of cellular automataJAC 2008, Apr 2008, Uzès, France. pp.182-194
Communication dans un congrès
hal-00273999v1
|
||
|
Bulking I: an Abstract Theory of Bulking2010
Pré-publication, Document de travail
hal-00451732v2
|
||
|
Clandestine Simulations in Cellular AutomataJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.133-144
Communication dans un congrès
hal-00541996v1
|
||
|
Bulking I: an Abstract Theory of BulkingTheoretical Computer Science, 2011, 412 (30), pp.3866-3880. ⟨10.1016/j.tcs.2011.02.023⟩
Article dans une revue
hal-00980376v1
|
||
|
Introducing Freezing Cellular AutomataCellular Automata and Discrete Complex Systems, 21st International Workshop (AUTOMATA 2015), Jun 2015, Turku, Finland. pp.65--73
Communication dans un congrès
hal-01294144v1
|
||
|
Commutative automata networks26th 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⟩
Communication dans un congrès
hal-02548573v1
|
||
Oritatami Systems Assemble Shapes No Less Complex Than Tile Assembly Model (ATAM)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⟩
Chapitre d'ouvrage
hal-03870036v1
|
- 1
- 2