Publications


36 documents

Articles dans une revue11 document

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

Communications dans un congrès19 document

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

Chapitres d'ouvrage2 document

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

Pré-publications, Documents de travail2 document

  • Julien Cervelle, William Gaudelier, Ludovic Levy Patey. Cross-constraint basis theorems and products of partitions. 2024. ⟨hal-04633211⟩
  • Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, et al.. Entropy Games and Matrix Multiplication Games. 2015. ⟨hal-01164086v3⟩

Thèses1 document

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

Habilitations à diriger des recherches1 document

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

Documents récupérés de l'archive ouverte HAL logo