Julien Cervelle

ORCID

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 4

Top Venues

University of Provence Aix-Marseille, France (PHD)

Education History

University of Provence Aix-Marseille, France

PHD

Publications

Julien Cervelle, Frédéric Gervais
Introducing Inductive Construction in B with the Theory Plugin. ABZ (2023)
Patrick Cégielski, Julien Cervelle
Study of Stepwise Simulation Between ASM. CiE (2019)
Julien Cervelle, Grégory Lafitte
On shift-invariant maximal filters and hormonal cellular automata. LICS (2017)
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin
Entropy Games and Matrix Multiplication Games. STACS (2016)
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin
Entropy Games. CoRR (2015)
Alex Borello, Julien Cervelle, Pascal Vanier
Turing degrees of limit sets of cellular automata. CoRR (2014)
Alex Borello, Julien Cervelle, Pascal Vanier
Turing Degrees of Limit Sets of Cellular Automata. ICALP (2) (2014)
Julien Cervelle
Covering space in the Weyl and Besicovitch topologies. Inf. Comput. 239 (2014)
Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Andrzej Skowron
Preface. Fundam. Informaticae 126 (2-3) (2013)
Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Julien Provillard
Acceptance conditions for omega-languages and the Borel hierarchy. CoRR (2013)
Julien Cervelle
Constructing Continuous Systems from Discrete Cellular Automata. CiE (2013)
Julien Cervelle
Covering Space in the Besicovitch Topology. LATA (2012)
Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel
Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers. Sci. Comput. Program. 77 (9) (2012)
Matej Crepinsek, Tomaz Kosar, Marjan Mernik, Julien Cervelle, Rémi Forax, Gilles Roussel
On automata and language based grammar metrics. Comput. Sci. Inf. Syst. 7 (2) (2010)
Julien Cervelle, Enrico Formenti, Pierre Guillon
Ultimate Traces of Cellular Automata. STACS (2010)
Julien Cervelle, Enrico Formenti, Pierre Guillon
Ultimate Traces of Cellular Automata CoRR (2010)
Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel
Banzai: a Java framework for the implementation of high-performance servers. SAC (2009)
Julien Cervelle, Matej Crepinsek, Rémi Forax, Tomaz Kosar, Marjan Mernik, Gilles Roussel
On defining quality based grammar metrics. IMCSIT (2009)
Julien Cervelle, Pierre Guillon
Towards a Rice Theorem on Traces of Cellular Automata. MFCS (2007)
Julien Cervelle, Enrico Formenti, Pierre Guillon
Sofic Trace of a Cellular Automaton CoRR (2007)
Julien Cervelle, Rémi Forax, Gilles Roussel
A simple implementation of grammar libraries. Comput. Sci. Inf. Syst. 4 (2) (2007)
Julien Cervelle, Enrico Formenti, Pierre Guillon
Sofic Trace Subshift of a Cellular Automaton. CiE (2007)
Julien Cervelle, Enrico Formenti, Benoît Masson
From sandpiles to sand automata. Theor. Comput. Sci. 381 (1-3) (2007)
Julien Cervelle, Rémi Forax, Gilles Roussel
Tatoo: an innovative parser generator. PPPJ (2006)
Julien Cervelle, Enrico Formenti, Benoît Masson
Basic Properties for Sand Automata. MFCS (2005)
François Blanchard, Julien Cervelle, Enrico Formenti
Some results about the chaotic behavior of cellular automata. Theor. Comput. Sci. 349 (3) (2005)
Julien Cervelle, Enrico Formenti, Benoît Masson
Basic properties for sand automata CoRR (2004)
Julien Cervelle, Bruno Durand
Tilings: recursivity and regularity. Theor. Comput. Sci. 310 (1-3) (2004)
François Blanchard, Julien Cervelle, Enrico Formenti
Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies. MFCS (2003)
Julien Cervelle, Enrico Formenti
On Sand Automata. STACS (2003)
Julien Cervelle, Bruno Durand, Enrico Formenti
Algorithmic Information Theory and Cellular Automata Dynamics. MFCS (2001)
Julien Cervelle, Bruno Durand
Tilings: Recursivity and Regularity. STACS (2000)

Julien Cervelle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julien Cervelle