Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

29 résultats
Image document

The Group of Reversible Turing Machines

Sebastián Barbieri , Jarkko Kari , Ville Salo
22th 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 Systems

Jarkko Kari
Springer, 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 automata

Marie-Pierre Béal , Eugen Czeizler , Jarkko Kari , Dominique Perrin
Mathematics in Computer Science, 2008, 1 (4), pp.625-638
Article dans une revue hal-00619733v1
Image document

A particle displacement representation for conservation laws in two-dimensional cellular automata

Jarkko Kari , Siamak Taati
JAC 2008, Apr 2008, Uzès, France. pp.65-73
Communication dans un congrès hal-00273943v1
Image document

Periodicity and Immortality in Reversible Computing

Jarkko Kari , Nicolas Ollinger
2008
Pré-publication, Document de travail hal-00270815v1
Image document

Proceedings of AUTOMATA 2010: 16th International workshop on cellular automata and discrete complex systems

Nazim A. Fatès , Jarkko Kari , Thomas Worsch
Nazim Fatès and Jarkko Kari and Thomas Worsch. INRIA Nancy Grand Est, pp.356, 2010, 978-2-905267-74-0
Ouvrages inria-00549645v1
Image document

Decidability and Periodicity of Low Complexity Tilings

Jarkko Kari , Etienne Moutot
Theory of Computing Systems, 2021, ⟨10.1007/s00224-021-10063-8⟩
Article dans une revue hal-03454581v1
Image document

Surjective cellular automata far from the Garden of Eden

Silvio Capobianco , Pierre Guillon , Jarkko Kari
Discrete Mathematics and Theoretical Computer Science, 2013, Vol. 15 no. 3 (3), pp.41--60. ⟨10.46298/dmtcs.618⟩
Article dans une revue hal-00966380v1
Image document

Words of Minimum Rank in Deterministic Finite Automata

Jarkko Kari , Andrew Ryzhikov , Anton Varonka
DLT 2019, Aug 2019, Warsaw, Poland. pp.74-87, ⟨10.1007/978-3-030-24886-4_5⟩
Communication dans un congrès hal-02942499v1
Image document

Foundations of Reversible Computation

Bogdan Aman , Gabriel Ciobanu , Robert Glück , Robin Kaarsgaard , Jarkko Kari , et al.
Reversible 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
Image document

Sequentializing Cellular Automata

Jarkko Kari , Ville Salo , Thomas Worsch
24th 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
Image document

Low-Complexity Tilings of the Plane

Jarkko Kari
21th 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
Image document

Decidability and Periodicity of Low Complexity Tilings

Jarkko Kari , Etienne Moutot
STACS 2020, Mar 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.14⟩
Communication dans un congrès hal-03454594v1
Image document

Undecidable word problem in subshift automorphism groups

Pierre Guillon , Emmanuel Jeandel , Jarkko Kari , Pascal Vanier
Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia
Communication dans un congrès hal-01862896v2

On the synchronization delay of local automata

Marie-Pierre Béal , Eugen Czeizler , Jarkko Kari , Dominique Perrin
2007
Autre publication scientifique hal-00620452v1

Modified Traffic Cellular Automaton for the Density Classification Task

Jarkko Kari , Bastien Le Gloannec
Fundamenta 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 Automata

Alexis Ballier , Pierre Guillon , Jarkko Kari
Fundamenta Informaticae, 2011, 110, pp.1--12
Article dans une revue hal-01281010v1

On the hierarchy of conservation laws in a cellular automaton

Enrico Formenti , Jarkko Kari , Siamak Taati
Natural Computing, 2011, 10 (4), pp.1275-1294. ⟨10.1007/s11047-010-9222-0⟩
Article dans une revue istex hal-01311512v1
Image document

Addendum to "Tilings problems on Baumslag-Solitar groups

Nathalie Aubrun , Jarkko Kari
2021
Pré-publication, Document de travail hal-03126862v1

Fundamenta Informaticae Special issue on Machines, Computations and Universality (MCU 2015)

Jérôme Durand-Lose , Jarkko Kari , Benedek Nagy
France. Fundamenta Informaticae, 155 (1-2), IOS press, 2017, ISSN 0169-2968
N°spécial de revue/special issue hal-01621943v1
Image document

On Dynamical Complexity of Surjective Ultimately Right-Expansive Cellular Automata

Joonatan Jalonen , Jarkko Kari
24th 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

The Most General Conservation Law for a Cellular Automaton

Enrico Formenti , Jarkko Kari , Siamak Taati
Computer Science Symposium in Russia (CSR 2008), Jun 2008, Moscou, Russia. pp.194-203
Communication dans un congrès hal-00310402v1

Special Issue on MCU 2018

Jérôme Durand-Lose , Jarkko Kari , Sergey Verlan
Machines, Computations and Universality 2018, Fundamenta Informaticae, 181 (2-3), 2021
N°spécial de revue/special issue hal-03427217v1
Image document

Undecidable properties on the dynamics of reversible one-dimensional cellular automata

Jarkko Kari
JAC 2008, Apr 2008, Uzès, France. pp.3-14
Communication dans un congrès hal-00274009v1
Image document

Conservation Laws and Invariant Measures in Surjective Cellular Automata

Jarkko Kari , Siamak Taati
17th 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
Image document

An “almost dual” to Gottschalk’s Conjecture

Silvio Capobianco , Jarkko Kari , Siamak Taati
22th 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
Image document

Nivat's conjecture and pattern complexity in algebraic subshifts

Jarkko Kari , Etienne Moutot
Theoretical Computer Science, 2019, ⟨10.1016/j.tcs.2018.12.029⟩
Article dans une revue hal-02130713v1

Preface

Sukanta Das , Enrico Formenti , Jarkko Kari
Theoretical Computer Science, 2014, Non-uniform Cellular Automata, 559, pp.1-2. ⟨10.1016/j.tcs.2014.10.024⟩
Article dans une revue hal-01313328v1

Bounds on Non-surjective Cellular Automata

Jarkko Kari , Pascal Vanier , Thomas Zeume
Mathematical Foundations of Computer Science (MFCS), 2009, Unknown, Unknown Region. pp.439-450
Communication dans un congrès hal-01194799v1