Nombre de documents

31


Article dans une revue10 documents

  • 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. <http://content.iospress.com/articles/fundamenta-informaticae/fi126-2-3-01>. <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. From sandpiles to sand automata. Theoretical Computer Science, Elsevier, 2007, 381, pp.1-28. <10.1016/j.tcs.2007.03.042>. <hal-00310905>
  • Julien Cervelle, Enrico Formenti, Benoît Masson. From sandpiles to sand automata. Theoretical Computer Science, Elsevier, 2007, 381 (1-3), pp.1-28. <hal-00619704>
  • 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. Basic properties for sand automata. Theoretical Computer Science, Elsevier, 2007, 381, pp.1--28. <hal-00003208>
  • 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>

Communication dans un congrès15 documents

  • Julien Cervelle. Constructing Continuous Systems from Discrete Cellular Automata. Paola Bonizzoni and Vasco Brattka and Benedikt Löwe. Computability in Europe (CiE), 2013, Unknown, Unknown or Invalid Region. Springer, 7921, pp.55-64, 2013, Lecture Notes in Computer Science. <hal-01208371>
  • Julien Cervelle. Covering Space in the Besicovitch Topology. Adrian Horia Dediu and Carlos Mart\'ın-Vide. Language and Automata Theory and Applications (LATA), 2012, Unknown, Unknown or Invalid Region. Springer, 7183, pp.169-178, 2012, Lecture Notes in Computer Science. <hal-01208372>
  • Julien Cervelle, Enrico Formenti, Pierre Guillon. Ultimate Traces of Cellular Automata. Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.155-166, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science. <inria-00455807>
  • 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. ACM, pp.1903-1909, 2009. <hal-00620321>
  • 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. IEEE Computer Society Press, 4 (CFP0964E), pp.651-658, 2009. <hal-00620318>
  • Julien Cervelle, Rémi Forax, Gilles Roussel. Tatoo: a Java efficient parser generator. Compilers, Related Technologies and Applications (CoRTA'08), 2008, France. 10pp., 2008. <hal-00620219>
  • Julien Cervelle, Enrico Formenti, Pierre Guillon. Sofic Trace of a Cellular Automaton. Cooper S. Barry and Löwe Benedict and Sorbi Andrea. CiE 2007, Jun 2007, Siena, Italy. Springer-Verlag, 4497, pp.152-161, 2007, Lecture Notes in Computer Science. <hal-00135811>
  • Enrico Formenti, Julien Cervelle, Pierre Guillon. Sofic trace subshift of a cellular automaton. S. Barry Cooper and B. Loewe and A. Sorbi. Computability in Europe (CiE 2007), Jun 2007, Siena, Italy. Springer-Verlag Berlin-Heidelberg, 4497, pp.152-161, 2007, Lectures Notes In Computer Science. <hal-00310526>
  • Julien Cervelle, Pierre Guillon. Towards a Rice Theorem on Traces of Cellular Automata. Kučera Ludek and Kučera Antonín. 32th International Symposium on Mathematical Foundations of Computer Science (MFCS'07), Aug 2007, Český Krumlov, Czech Republic, Czech Republic. Springer-Verlag, 4708, pp.310-319, 2007, LNCS. <hal-00620284>
  • Julien Cervelle, Rémi Forax, Gilles Roussel. Tatoo: An innovative Parser Generator. Gitzel Ralf and Alesky Markus and Schader Matin and Krintz Chandra. 4th International Conference on Principles and Practices of Programming in Java (PPPJ'06), Aug 2006, Mannheim, Germany. pp.13-20, 2006, ACM International Conferenc Proceedings. <hal-00620176>
  • Julien Cervelle, Enrico Formenti, Benoît Masson. Basic Properties for Sand Automata.. Jedrzejowicz Joanna and Szepietowski Andrzej. 30th International Symposium on Mathematical Foundations of Computer Science (MFCS'05), Sep 2005, Gdansk, Poland, Poland. Springer-Verlag, 3618, pp.192-211, 2005, LNCS. <hal-00620177>
  • François Blanchard, Julien Cervelle, Enrico Formenti. Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies. Rovan Branislav and Vojtás Peter. 28th International Symposium on Mathematical Foundations of Computer Science (MFCS'03), Aug 2003, Bratislava, Slovakia, Slovakia. Springer-Verlag, 2747, pp.228-238, 2003, LNCS. <hal-00620226>
  • Julien Cervelle, Enrico Formenti. On Sand Automata. Alt Helmut and Habib Michel. 20th International Symposium on Theoretical Aspects of Computer Science (STACS'03), Feb 2003, Berlin, Germany, Germany. Springer-Verlag, 2607, pp.642-653, 2003, LNCS. <hal-00620183>
  • Julien Cervelle, Bruno Durand, Enrico Formenti. Algorithmic Information Theory and Cellular Automata Dynamics. Sgall Jiri and Pultr Ales and Kolman Petr. 26th International Symposium on Mathematical Foundations of Computer Science (MFCS'01), Aug 2001, Marianske Lazne, Czech Republic, Czech Republic. Springer-Verlag, 2136, pp.248-259, 2001, LNCS. <hal-00620174>
  • Julien Cervelle, Bruno Durand. Tilings : recursivity and regularity. Reichel Horst and Tison Sophie. 17th International Symposium on Theoretical Aspects of Computer Science (STACS'00), Feb 2000, Lille, France, France. Springer-Verlag, 1770, pp.491-502, 2000, LNCS. <hal-00620184>

Chapitre d'ouvrage2 documents

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

Pré-publication, Document de travail2 documents

  • Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, et al.. Entropy Games and Matrix Multiplication Games. Accepted to STACS 2016. 2015. <hal-01164086v3>
  • Alex Borello, Julien Cervelle, Pascal Vanier. Turing degrees of limit sets of cellular automata. 2014. <hal-00947323>

Thèse1 document

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

HDR1 document

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