Filtrer vos résultats
- 18
- 10
- 1
- 13
- 8
- 2
- 2
- 2
- 1
- 1
- 27
- 6
- 4
- 3
- 2
- 4
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 29
- 10
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 29
- 3
- 3
- 3
- 3
- 2
- 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
29 résultats
|
|
triés par
|
|
Surjective cellular automata far from the Garden of EdenDiscrete Mathematics and Theoretical Computer Science, 2013, Vol. 15 no. 3 (3), pp.41--60. ⟨10.46298/dmtcs.618⟩
Article dans une revue
hal-00966380v1
|
||
|
Decidability and Periodicity of Low Complexity TilingsTheory of Computing Systems, 2021, ⟨10.1007/s00224-021-10063-8⟩
Article dans une revue
hal-03454581v1
|
||
|
Sequentializing Cellular Automata24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.72-87, ⟨10.1007/978-3-319-92675-9_6⟩
Communication dans un congrès
hal-01824875v1
|
||
|
Low-Complexity Tilings of the Plane21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.35-45, ⟨10.1007/978-3-030-23247-4_2⟩
Communication dans un congrès
hal-02387291v1
|
||
|
Decidability and Periodicity of Low Complexity TilingsSTACS 2020, Mar 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.14⟩
Communication dans un congrès
hal-03454594v1
|
||
|
Undecidable word problem in subshift automorphism groupsComputer Science in Russia 2019, Jul 2019, Novosibirsk, Russia
Communication dans un congrès
hal-01862896v2
|
||
|
Words of Minimum Rank in Deterministic Finite AutomataDLT 2019, Aug 2019, Warsaw, Poland. pp.74-87, ⟨10.1007/978-3-030-24886-4_5⟩
Communication dans un congrès
hal-02942499v1
|
||
|
Foundations of Reversible ComputationReversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, 12070, pp.1 - 40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩
Chapitre d'ouvrage
hal-03005384v1
|
||
|
The Group of Reversible Turing Machines22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.49-62, ⟨10.1007/978-3-319-39300-1_5⟩
Communication dans un congrès
hal-01435034v1
|
||
|
Cellular Automata and Discrete Complex SystemsSpringer, LNCS-9099, 2015, Cellular Automata and Discrete Complex Systems, 978-3-662-47220-0. ⟨10.1007/978-3-662-47221-7⟩
Ouvrages
hal-01442447v1
|
||
Unambiguous automataMathematics in Computer Science, 2008, 1 (4), pp.625-638
Article dans une revue
hal-00619733v1
|
|||
|
An “almost dual” to Gottschalk’s Conjecture22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.77-89, ⟨10.1007/978-3-319-39300-1_7⟩
Communication dans un congrès
hal-01435035v1
|
||
Bounds on Non-surjective Cellular AutomataMathematical Foundations of Computer Science (MFCS), 2009, Unknown, Unknown Region. pp.439-450
Communication dans un congrès
hal-01194799v1
|
|||
|
Nivat's conjecture and pattern complexity in algebraic subshiftsTheoretical Computer Science, 2019, ⟨10.1016/j.tcs.2018.12.029⟩
Article dans une revue
hal-02130713v1
|
||
|
PrefaceTheoretical Computer Science, 2014, Non-uniform Cellular Automata, 559, pp.1-2. ⟨10.1016/j.tcs.2014.10.024⟩
Article dans une revue
hal-01313328v1
|
||
|
A particle displacement representation for conservation laws in two-dimensional cellular automataJAC 2008, Apr 2008, Uzès, France. pp.65-73
Communication dans un congrès
hal-00273943v1
|
||
|
Periodicity and Immortality in Reversible Computing2008
Pré-publication, Document de travail
hal-00270815v1
|
||
|
Proceedings of AUTOMATA 2010: 16th International workshop on cellular automata and discrete complex systemsNazim Fatès and Jarkko Kari and Thomas Worsch. INRIA Nancy Grand Est, pp.356, 2010, 978-2-905267-74-0
Ouvrages
inria-00549645v1
|
||
On the synchronization delay of local automata2007
Autre publication scientifique
hal-00620452v1
|
|||
Modified Traffic Cellular Automaton for the Density Classification TaskFundamenta Informaticae, 2012, 116 (1-4), pp 141-156. ⟨10.3233/FI-2012-675⟩
Article dans une revue
hal-00823216v1
|
|||
Limit Sets of Stable and Unstable Cellular AutomataFundamenta Informaticae, 2011, 110, pp.1--12
Article dans une revue
hal-01281010v1
|
|||
On the hierarchy of conservation laws in a cellular automatonNatural Computing, 2011, 10 (4), pp.1275-1294. ⟨10.1007/s11047-010-9222-0⟩
Article dans une revue
istex
hal-01311512v1
|
|||
|
Addendum to "Tilings problems on Baumslag-Solitar groups2021
Pré-publication, Document de travail
hal-03126862v1
|
||
Fundamenta Informaticae Special issue on Machines, Computations and Universality (MCU 2015)France. Fundamenta Informaticae, 155 (1-2), IOS press, 2017, ISSN 0169-2968
N°spécial de revue/special issue
hal-01621943v1
|
|||
|
Conservation Laws and Invariant Measures in Surjective Cellular Automata17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. pp.113-122, ⟨10.46298/dmtcs.2968⟩
Communication dans un congrès
hal-01196135v1
|
||
|
On Dynamical Complexity of Surjective Ultimately Right-Expansive Cellular Automata24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.57-71, ⟨10.1007/978-3-319-92675-9_5⟩
Communication dans un congrès
hal-01824870v1
|
||
|
Undecidable properties on the dynamics of reversible one-dimensional cellular automataJAC 2008, Apr 2008, Uzès, France. pp.3-14
Communication dans un congrès
hal-00274009v1
|
||
Special Issue on MCU 2018Machines, Computations and Universality 2018, Fundamenta Informaticae, 181 (2-3), 2021
N°spécial de revue/special issue
hal-03427217v1
|
|||
The Most General Conservation Law for a Cellular AutomatonComputer Science Symposium in Russia (CSR 2008), Jun 2008, Moscou, Russia. pp.194-203
Communication dans un congrès
hal-00310402v1
|