Publications


33 documents

Articles dans une revue10 documents

  • Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, et al.. Entropy Games. CoRR, 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, Polskie Towarzystwo Matematyczne, 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, Elsevier, 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, ComSIS Consortium, 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, Elsevier, 2007, 381, pp.1--28. ⟨hal-00003208⟩
  • Julien Cervelle, Rémi Forax, Gilles Roussel. A simple implementation of grammar libraries. Computer Science and Information Systems, ComSIS Consortium, 2007, 4 (2), pp.65-77. ⟨hal-00619702⟩
  • Julien Cervelle, Enrico Formenti, Benoît Masson. From sandpiles to sand automata. Theoretical Computer Science, Elsevier, 2007, 381 (1-3), pp.1-28. ⟨10.1016/j.tcs.2007.03.042⟩. ⟨hal-00310905⟩
  • François Blanchard, Julien Cervelle, Enrico Formenti. Some results about the chaotic behavior of cellular automata. Theoretical Computer Science, Elsevier, 2005, 349 (3), pp.318-336. ⟨hal-00619713⟩
  • Julien Cervelle, Bruno Durand. Tilings: recursivity and regularity. Theoretical Computer Science, Elsevier, 2004, 310 (1-3), pp.469-477. ⟨hal-00619517⟩

Communications dans un congrès18 documents

  • 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: 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 documents

  • 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 travail1 document

  • 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. ⟨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