Julien Cervelle

Publications

Article dans une revue (12)

Cross-constraint basis theorems and products of partitions Julien Cervelle,William Gaudelier,Ludovic Levy Patey Computability, In press Article dans une revue hal-04633211v1
The Reverse Mathematics of CAC for trees Julien Cervelle,William Gaudelier,Ludovic Patey The Journal of Symbolic Logic, 2024, 89 (3), pp.1189--1211. ⟨10.1017/jsl.2023.27⟩ Article dans une revue hal-04093397v1
Entropy Games Eugene Asarin,Julien Cervelle,Aldric Degorre,Catalin Dima,Florian Hornet al. Computing Research Repository, 2015, abs/1506.04885 Article dans une revue hal-01699930v1
Covering space in the Weyl and Besicovitch topologies Julien Cervelle Inf. Comput., 2014, 239, pp.44--54. ⟨10.1016/j.ic.2014.08.007⟩ Article dans une revue hal-01208376v1
Preface Julien Cervelle,Alberto Dennunzio,Enrico Formenti Fundamenta Informaticae, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.1-2. ⟨10.3233/FI-2013-874⟩ Article dans une revue hal-01312577v1
Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers Julien Cervelle,Rémi Forax,Gautier Loyauté,Gilles Roussel Science of Computer Programming, 2012, 77 (9), pp.990-1005 Article dans une revue hal-00844345v1
On automata and language based grammar metrics Matej Crepinsek,Tomaz Kosar,Marjan Mernik,Julien Cervelle,Rémi Foraxet al. Computer Science and Information Systems, 2010, 7 (2), pp.309--329. ⟨10.2298/CSIS1002309C⟩ Article dans une revue hal-01208373v1
Basic properties for sand automata Julien Cervelle,Enrico Formenti,Benoît Masson Theoretical Computer Science, 2007, 381, pp.1--28 Article dans une revue hal-00003208v1
A simple implementation of grammar libraries Julien Cervelle,Rémi Forax,Gilles Roussel Computer Science and Information Systems, 2007, 4 (2), pp.65-77 Article dans une revue hal-00619702v1
From sandpiles to sand automata Julien Cervelle,Enrico Formenti,Benoît Masson Theoretical Computer Science, 2007, 381 (1-3), pp.1-28. ⟨10.1016/j.tcs.2007.03.042⟩ Article dans une revue istex hal-00310905v1
Some results about the chaotic behavior of cellular automata François Blanchard,Julien Cervelle,Enrico Formenti Theoretical Computer Science, 2005, 349 (3), pp.318-336 Article dans une revue hal-00619713v1
Tilings: recursivity and regularity Julien Cervelle,Bruno Durand Theoretical Computer Science, 2004, 310 (1-3), pp.469-477 Article dans une revue hal-00619517v1

Communication dans un congrès (19)

Introducing inductive construction in B with the Theory Plugin Julien Cervelle,Frédéric Gervais 9th International Conference on rigorous state based methods (ABZ 2023), May 2023, Nancy, France. pp.43-58, ⟨10.1007/978-3-031-33163-3_4⟩ Communication dans un congrès hal-04239503v1
Study of Stepwise Simulation Between ASM Patrick Cegielski,Julien Cervelle 15th Conference on Computability in Europe, Jul 2019, Durham, United Kingdom. pp.156-167 Communication dans un congrès hal-02182747v1
On shift-invariant maximal filters and hormonal cellular automata Julien Cervelle,Grégory Lafitte LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-10, ⟨10.1109/LICS.2017.8005145⟩ Communication dans un congrès hal-01615278v1
Turing degrees of limit sets of cellular automata Alex Borello,Julien Cervelle,Pascal Vanier ICALP 2014, Jul 2014, Copenhaguen, Denmark. pp.74--85, ⟨10.1007/978-3-662-43951-7_7⟩ Communication dans un congrès hal-00947323v1
Constructing Continuous Systems from Discrete Cellular Automata Julien Cervelle Computability in Europe (CiE), 2013, Unknown, Unknown Region. pp.55-64 Communication dans un congrès hal-01208371v1
Covering Space in the Besicovitch Topology Julien Cervelle Language and Automata Theory and Applications (LATA), 2012, Unknown, Unknown Region. pp.169-178 Communication dans un congrès hal-01208372v1
Ultimate Traces of Cellular Automata Julien Cervelle,Enrico Formenti,Pierre Guillon 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.155-166 Communication dans un congrès inria-00455807v1
On Defining Quality Based Grammar Metrics Julien Cervelle,Matej Crepinsek,Rémi Forax,Tomaz Kosar,Marjan Merniket al. 2nd Workshop on Advances in Programming Languages (WAPL'09), Oct 2009, United States. pp.651-658 Communication dans un congrès hal-00620318v1
Banzai: A Java Framework for the Implementation of High-Performance Servers Julien Cervelle,Rémi Forax,Gautier Loyauté,Gilles Roussel 24th Annual ACM Symposium on Applied Computing, (SAC'09), Mar 2009, Honolulu, Hawaii, USA, United States. pp.1903-1909 Communication dans un congrès hal-00620321v1
Tatoo: a Java efficient parser generator Julien Cervelle,Rémi Forax,Gilles Roussel Compilers, Related Technologies and Applications (CoRTA'08), 2008, France. 10pp Communication dans un congrès hal-00620219v1
Towards a Rice Theorem on Traces of Cellular Automata Julien Cervelle,Pierre Guillon 32th International Symposium on Mathematical Foundations of Computer Science (MFCS'07), Aug 2007, Český Krumlov, Czech Republic, Czech Republic. pp.310-319 Communication dans un congrès hal-00620284v1
Sofic Trace of a Cellular Automaton Julien Cervelle,Enrico Formenti,Pierre Guillon CiE 2007, Jun 2007, Siena, Italy. pp.152-161 Communication dans un congrès hal-00135811v1
Sofic trace subshift of a cellular automaton Enrico Formenti,Julien Cervelle,Pierre Guillon Computability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.152-161 Communication dans un congrès hal-00310526v1
Tatoo: An innovative Parser Generator Julien Cervelle,Rémi Forax,Gilles Roussel 4th International Conference on Principles and Practices of Programming in Java (PPPJ'06), Aug 2006, Mannheim, Germany. pp.13-20 Communication dans un congrès hal-00620176v1
Basic Properties for Sand Automata. Julien Cervelle,Enrico Formenti,Benoît Masson 30th International Symposium on Mathematical Foundations of Computer Science (MFCS'05), Sep 2005, Gdansk, Poland, Poland. pp.192-211 Communication dans un congrès hal-00620177v1
On Sand Automata Julien Cervelle,Enrico Formenti 20th International Symposium on Theoretical Aspects of Computer Science (STACS'03), Feb 2003, Berlin, Germany, Germany. pp.642-653 Communication dans un congrès hal-00620183v1
Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies François Blanchard,Julien Cervelle,Enrico Formenti 28th International Symposium on Mathematical Foundations of Computer Science (MFCS'03), Aug 2003, Bratislava, Slovakia, Slovakia. pp.228-238 Communication dans un congrès hal-00620226v1
Algorithmic Information Theory and Cellular Automata Dynamics Julien Cervelle,Bruno Durand,Enrico Formenti 26th International Symposium on Mathematical Foundations of Computer Science (MFCS'01), Aug 2001, Marianske Lazne, Czech Republic, Czech Republic. pp.248-259 Communication dans un congrès hal-00620174v1
Tilings : recursivity and regularity Julien Cervelle,Bruno Durand 17th International Symposium on Theoretical Aspects of Computer Science (STACS'00), Feb 2000, Lille, France, France. pp.491-502 Communication dans un congrès hal-00620184v1

Chapitre d'ouvrage (2)

Chaotic behavior of cellular automata Julien Cervelle,Alberto Dennunzio,Enrico Formenti Meyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.978-989, 2009 Chapitre d'ouvrage hal-00620822v1
Algorithmic Complexity and Cellular Automata Julien Cervelle,Enrico Formenti Meyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.243-257, 2009 Chapitre d'ouvrage hal-00620823v1

Pré-publication, Document de travail (1)

Entropy Games and Matrix Multiplication Games Eugene Asarin,Julien Cervelle,Aldric Degorre,Catalin Dima,Florian Hornet al. 2015 Pré-publication, Document de travail hal-01164086v3

Thèse (1)

Structural and computational complexity of tilings and cellular automata Julien Cervelle Computer Science [cs]. Université de provence, 2002. English. ⟨NNT : ⟩ Thèse tel-01208375v1

HDR (1)

Complexité dynamique et algorithmique des automates cellulaires Julien Cervelle Informatique [cs]. Université Paris Est, Marne-la-Vallée, 2007 HDR tel-01208374v1