Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

12 résultats
Image document

Deterministic one-way Turing machines with sublinear space bounds

Martin Kutrib , Julien Provillard , György Vaszil , Matthias Wendlandt
Non-Classical Models for Automata and Applications, Aug 2013, Umeå, Sweden. pp.195-208
Communication dans un congrès hal-01297603v1

A synergic approach to the minimal uncompletable words problem

Sandrine Julia , Arnaud Malapert , Julien Provillard
16th Mons Theoretical Computer Science Days , Sep 2016, Liège, Belgium
Communication dans un congrès hal-01342479v1
Image document

Local rule distributions, language complexity and non-uniform cellular automata

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Theoretical Computer Science, 2013, 504, pp.38-51. ⟨10.1016/j.tcs.2012.05.013⟩
Article dans une revue hal-01297610v1
Image document

ω-rational Languages: High Complexity Classes vs. Borel Hierarchy

Enrico Formenti , Markus Holzer , Martin Kutrib , Julien Provillard
Language and Automata Theory and Applications, Mar 2014, Madrid, Spain. ⟨10.1007/978-3-319-04921-2_30⟩
Communication dans un congrès hal-01297613v1

Deterministic One-Way Turing Machines with Sublinear Space.

Martin Kutrib , Julien Provillard , György Vaszil , Matthias Wendlandt
Fundamenta Informaticae, 2015, ⟨10.3233/FI-2015-1147⟩
Article dans une revue hal-01297633v1
Image document

Acceptance Conditions for ω-Languages

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Developments in Language Theory, Aug 2012, Taipei, Taiwan. ⟨10.1007/978-3-642-31653-1_29⟩
Communication dans un congrès hal-01297584v1

A Synergic Approach to the Minimal Uncompletable Words Problem

Sandrine Julia , Arnaud Malapert , Julien Provillard
Journal of Automata, Languages and Combinatorics, 2017, 22 (4), pp.271-286. ⟨10.25596/jalc-2017-271⟩
Article dans une revue hal-01665399v1
Image document

Three research directions in non-uniform cellular automata

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Theoretical Computer Science, 2014, 559, pp.73-90. ⟨10.1016/j.tcs.2014.06.046⟩
Article dans une revue hal-01297620v1
Image document

Non-uniform cellular automata: Classes, dynamics, and decidability

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Information and Computation, 2012, ⟨10.1016/j.ic.2012.02.008⟩
Article dans une revue hal-01297590v1
Image document

Automates cellulaires non-uniformes

Julien Provillard
Mathématique discrète [cs.DM]. Université Nice Sophia Antipolis, 2012. Français. ⟨NNT : ⟩
Thèse tel-01297387v1
Image document

Non-uniform Cellular Automata

Gianpiero Cattaneo , Alberto Dennunzio , Enrico Formenti , Julien Provillard
Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.302-313, ⟨10.1007/978-3-642-00982-2_26⟩
Communication dans un congrès hal-01297566v1
Image document

Computational Complexity of Rule Distributions of Non-uniform Cellular Automata

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Language and Automata Theory and Application, Mar 2012, Coruna, Spain. pp.204-215, ⟨10.1007/978-3-642-28332-1_18⟩
Communication dans un congrès hal-01297574v1