Julien Cervelle

37 papers A* 1A 4B 4C 5Misc 1Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$.
J. Symb. Log.
Julien Cervelle, William Gaudelier, Ludovic Patey
2023 C conf
Introducing Inductive Construction in B with the Theory Plugin.
ABZ
Julien Cervelle, Frédéric Gervais
2019 C conf
Study of Stepwise Simulation Between ASM.
CiE
Patrick Cégielski, Julien Cervelle
2017 A* conf
On shift-invariant maximal filters and hormonal cellular automata.
LICS
Julien Cervelle, Grégory Lafitte
2016 A conf
Entropy Games and Matrix Multiplication Games.
STACS
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin
2015 J jnl
Entropy Games.
CoRR
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin
2014 J jnl
Covering space in the Weyl and Besicovitch topologies.
Inf. Comput.
Julien Cervelle
2014 — conf
Turing Degrees of Limit Sets of Cellular Automata.
ICALP (2)
Alex Borello, Julien Cervelle, Pascal Vanier
2014 J jnl
Turing degrees of limit sets of cellular automata.
CoRR
Alex Borello, Julien Cervelle, Pascal Vanier
2013 J jnl
Acceptance conditions for omega-languages and the Borel hierarchy.
CoRR
Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Julien Provillard
2013 C conf
Constructing Continuous Systems from Discrete Cellular Automata.
CiE
Julien Cervelle
2013 J jnl
Preface.
Fundam. Informaticae
Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Andrzej Skowron
2012 J jnl
Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers.
Sci. Comput. Program.
Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel
2012 C conf
Covering Space in the Besicovitch Topology.
LATA
Julien Cervelle
2010 J jnl
On automata and language based grammar metrics.
Comput. Sci. Inf. Syst.
Matej Crepinsek, Tomaz Kosar, Marjan Mernik, Julien Cervelle, Rémi Forax, Gilles Roussel
2010 J jnl
Ultimate Traces of Cellular Automata
CoRR
Julien Cervelle, Enrico Formenti, Pierre Guillon
2010 A conf
Ultimate Traces of Cellular Automata.
STACS
Julien Cervelle, Enrico Formenti, Pierre Guillon
2009 — ch.
Algorithmic Complexity and Cellular Automata.
Encyclopedia of Complexity and Systems Science
Julien Cervelle, Enrico Formenti
2009 Misc conf
Banzai: a Java framework for the implementation of high-performance servers.
SAC
Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel
2009 — ch.
Chaotic Behavior of Cellular Automata.
Encyclopedia of Complexity and Systems Science
Julien Cervelle, Alberto Dennunzio, Enrico Formenti
2009 — conf
On defining quality based grammar metrics.
IMCSIT
Julien Cervelle, Matej Crepinsek, Rémi Forax, Tomaz Kosar, Marjan Mernik, Gilles Roussel
2007 J jnl
A simple implementation of grammar libraries.
Comput. Sci. Inf. Syst.
Julien Cervelle, Rémi Forax, Gilles Roussel
2007 — book
Complexité dynamique et algorithmique des automates cellulaires.
Julien Cervelle
2007 J jnl
From sandpiles to sand automata.
Theor. Comput. Sci.
Julien Cervelle, Enrico Formenti, Benoît Masson
2007 C conf
Sofic Trace Subshift of a Cellular Automaton.
CiE
Julien Cervelle, Enrico Formenti, Pierre Guillon
2007 J jnl
Sofic Trace of a Cellular Automaton
CoRR
Julien Cervelle, Enrico Formenti, Pierre Guillon
2007 B conf
Towards a Rice Theorem on Traces of Cellular Automata.
MFCS
Julien Cervelle, Pierre Guillon
2006 — conf
Tatoo: an innovative parser generator.
PPPJ
Julien Cervelle, Rémi Forax, Gilles Roussel
2005 B conf
Basic Properties for Sand Automata.
MFCS
Julien Cervelle, Enrico Formenti, Benoît Masson
2005 J jnl
Some results about the chaotic behavior of cellular automata.
Theor. Comput. Sci.
François Blanchard, Julien Cervelle, Enrico Formenti
2004 J jnl
Basic properties for sand automata
CoRR
Julien Cervelle, Enrico Formenti, Benoît Masson
2004 J jnl
Tilings: recursivity and regularity.
Theor. Comput. Sci.
Julien Cervelle, Bruno Durand
2003 A conf
On Sand Automata.
STACS
Julien Cervelle, Enrico Formenti
2003 B conf
Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies.
MFCS
François Blanchard, Julien Cervelle, Enrico Formenti
2002 — —
Structural and computational complexity of tilings and cellular automata. (Complexité structurelle et algorithmique des pavages et des automates cellulaires).
Julien Cervelle
2001 B conf
Algorithmic Information Theory and Cellular Automata Dynamics.
MFCS
Julien Cervelle, Bruno Durand, Enrico Formenti
2000 A conf
Tilings: Recursivity and Regularity.
STACS
Julien Cervelle, Bruno Durand