Accéder directement au contenu

Julien Cervelle

34
Documents

Publications

Entropy Games

Eugene Asarin , Julien Cervelle , Aldric Degorre , Catalin Dima , Florian Horn
CoRR, 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
Image document

On automata and language based grammar metrics

Matej Crepinsek , Tomaz Kosar , Marjan Mernik , Julien Cervelle , Rémi Forax
Computer Science and Information Systems, 2010, 7 (2), pp.309--329. ⟨10.2298/CSIS1002309C⟩
Article dans une revue hal-01208373v1

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 hal-00310905v1
Image document

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

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

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
Image document

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
Image document

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

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

On Defining Quality Based Grammar Metrics

Julien Cervelle , Matej Crepinsek , Rémi Forax , Tomaz Kosar , Marjan Mernik
2nd Workshop on Advances in Programming Languages (WAPL'09), Oct 2009, United States. pp.651-658
Communication dans un congrès hal-00620318v1

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
Image document

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
Image document

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

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

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
Image document

Complexité dynamique et algorithmique des automates cellulaires

Julien Cervelle
Informatique [cs]. Université Paris Est, Marne-la-Vallée, 2007
HDR tel-01208374v1