Julien Provillard

15 papers C 4Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2018 J jnl
Puzzle - Solving the
INFORMS Trans. Educ.
Arnaud Malapert, Julien Provillard
2017 J jnl
A Synergic Approach to the Minimal Uncompletable Words Problem.
J. Autom. Lang. Comb.
Sandrine Julia, Arnaud Malapert, Julien Provillard
2015 J jnl
Deterministic One-Way Turing Machines with Sublinear Space.
Fundam. Informaticae
Martin Kutrib, Julien Provillard, György Vaszil, Matthias Wendlandt
2014 J jnl
Three research directions in non-uniform cellular automata.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2014 C conf
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy.
LATA
Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard
2013 J jnl
Acceptance conditions for omega-languages and the Borel hierarchy.
CoRR
Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Julien Provillard
2013 — conf
Deterministic one-way Turing machines with sublinear space bounds.
NCMA
Martin Kutrib, Julien Provillard, György Vaszil, Matthias Wendlandt
2013 J jnl
Local rule distributions, language complexity and non-uniform cellular automata.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2012 C conf
Acceptance Conditions for ω-Languages.
Developments in Language Theory
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2012 — —
Automates cellulaires non-uniformes. (Non-uniform cellular automata).
Julien Provillard
2012 C conf
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata.
LATA
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2012 J jnl
Non-uniform cellular automata: Classes, dynamics, and decidability.
Inf. Comput.
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2011 J jnl
Non-Uniform Cellular Automata: classes, dynamics, and decidability
CoRR
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2011 J jnl
Non-uniform cellular automata and distributions of rules
CoRR
Julien Provillard, Enrico Formenti, Alberto Dennunzio
2009 C conf
Non-uniform Cellular Automata.
LATA
Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard