Julien Cervelle

36
Documents

Publications

Publications

Deposit thumbnail

Cross-constraint basis theorems and products of partitions

Julien Cervelle , William Gaudelier , Ludovic Levy Patey

Computability, In press

Article dans une revue hal-04633211v1
Deposit thumbnail

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 Horn et 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
Deposit thumbnail

On automata and language based grammar metrics

Matej Crepinsek , Tomaz Kosar , Marjan Mernik , Julien Cervelle , Rémi Forax et al.

Computer Science and Information Systems, 2010, 7 (2), pp.309--329. ⟨10.2298/CSIS1002309C⟩

Article dans une revue hal-01208373v1
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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 et al.

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

Complexité dynamique et algorithmique des automates cellulaires

Julien Cervelle

Informatique [cs]. Université Paris Est, Marne-la-Vallée, 2007

HDR tel-01208374v1