Nicolas Ollinger
20
Documents
Presentation
Publications
- 5
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Universalities in Cellular AutomataGrzegorz Rozenberg and Thomas Bäck and Joost N. Kok. Handbook of Natural Computing, Springer, pp.189-229, 2012, 978-3-540-92909-3. ⟨10.1007/978-3-540-92910-9_6⟩
Book sections
hal-00980362v1
|
|
A Small Minimal Aperiodic Reversible Turing MachineJournal of Computer and System Sciences, 2017, 84, pp.288-301. ⟨10.1016/j.jcss.2016.10.004⟩
Journal articles
hal-00975244v1
|
|
Some undecidable problems about the trace-subshift associated to a Turing machineDiscrete Mathematics and Theoretical Computer Science, 2015, Vol. 17 no.2 (2), pp.267-284. ⟨10.46298/dmtcs.2137⟩
Journal articles
hal-01349052v1
|
Bulking II: Classifications of cellular automataTheoretical Computer Science, 2011, 412 (30), pp.3881-3905. ⟨10.1016/j.tcs.2011.02.024⟩
Journal articles
hal-00980377v1
|
|
|
Four states are enough!Theoretical Computer Science, 2011, 412 (1-2), pp.22-32. ⟨10.1016/j.tcs.2010.08.018⟩
Journal articles
hal-00469841v2
|
Bulking I: an Abstract Theory of BulkingTheoretical Computer Science, 2011, 412 (30), pp.3866-3880. ⟨10.1016/j.tcs.2011.02.023⟩
Journal articles
hal-00980376v1
|
Fast-Parallel Algorithms for Freezing Totalistic Asynchronous Cellular Automata13th International Conference on Cellular Automata for Research and Industry (ACRI 2018), Sep 2018, Como, Italy. pp.406-415, ⟨10.1007/978-3-319-99813-8_37⟩
Conference papers
hal-01985010v1
|
|
|
On Aperiodic Reversible Turing Machines (invited talk)Reversible Computation 10th International Conference (RC 2018), Sep 2018, Leicester, United Kingdom. pp.61-64, ⟨10.1007/978-3-319-99498-7_4⟩
Conference papers
hal-01984995v1
|
|
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⟩
Conference papers
hal-01772500v1
|
|
Permutive one-way cellular automata and the finiteness problem for automaton groupsComputability in Europe, Jun 2017, Turku, Finland. ⟨10.1007/978-3-319-58741-7_23⟩
Conference papers
hal-01436460v2
|
|
Introducing Freezing Cellular AutomataCellular Automata and Discrete Complex Systems, 21st International Workshop (AUTOMATA 2015), Jun 2015, Turku, Finland. pp.65--73
Conference papers
hal-01294144v1
|
|
Knight tiles: particles and collisions in the realm of 4-way deterministic tilingsDevelopments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. pp 227-238, ⟨10.1007/978-3-319-09698-8_20⟩
Conference papers
hal-00960244v1
|
|
Undecidability of the Surjectivity of the Subshift Associated to a Turing MachineRC 2012, Jul 2012, Copenhague, Denmark. pp.44-56, ⟨10.1007/978-3-642-36315-3_4⟩
Conference papers
hal-00980369v1
|
|
Substitutions and Strongly Deterministic TilesetsComputability in Europe (CiE), Jun 2012, Cambridge, United Kingdom. pp 462-471, ⟨10.1007/978-3-642-30870-3_47⟩
Conference papers
hal-00661887v1
|
Tutorial on Cellular AutomataUC 2011, Jun 2011, Turku, Finland. pp.34-35, ⟨10.1007/978-3-642-21341-0_7⟩
Conference papers
hal-00980394v1
|
|
|
Combinatorial Substitutions and Sofic TilingsJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.100-110
Conference papers
hal-00541992v1
|
|
Infinite Time Cellular Automata: a Real Computation ModelJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.111-120
Conference papers
hal-00542411v1
|
|
Universalities in cellular automata; a (short) surveyJAC 2008, Apr 2008, Uzès, France. pp.102-118
Conference papers
hal-00274563v1
|
|
Automates cellulaires : structuresAutre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2002. Français. ⟨NNT : ⟩
Theses
tel-00007765v1
|
|
Programmation et indécidabilités dans les systèmes complexesInformatique [cs]. Université de Nice-Sophia Antipolis, 2008
Habilitation à diriger des recherches
tel-01084729v1
|