Julien Cervelle

According to our database, Julien Cervelle authored at least 32 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Introducing Inductive Construction in B with the Theory Plugin.

Julien Cervelle, Frédéric Gervais

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2019

Study of Stepwise Simulation Between ASM.

Patrick Cégielski, Julien Cervelle

Proceedings of the Computing with Foresight and Industry, 2019

2017

On shift-invariant maximal filters and hormonal cellular automata.

Julien Cervelle, Grégory Lafitte

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Entropy Games and Matrix Multiplication Games.

Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin

Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016

2015

Entropy Games.

Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin

CoRR, 2015

2014

Covering space in the Weyl and Besicovitch topologies.

Julien Cervelle

Inf. Comput., 2014

Turing Degrees of Limit Sets of Cellular Automata.

Alex Borello, Julien Cervelle, Pascal Vanier

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

Preface.

Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Andrzej Skowron

Fundam. Informaticae, 2013

Acceptance conditions for omega-languages and the Borel hierarchy.

Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Julien Provillard

CoRR, 2013

Constructing Continuous Systems from Discrete Cellular Automata.

Julien Cervelle

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers.

Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel

Sci. Comput. Program., 2012

Covering Space in the Besicovitch Topology.

Julien Cervelle

Proceedings of the Language and Automata Theory and Applications, 2012

2010

On automata and language based grammar metrics.

Matej Crepinsek, Tomaz Kosar, Marjan Mernik, Julien Cervelle, Rémi Forax, Gilles Roussel

Comput. Sci. Inf. Syst., 2010

Ultimate Traces of Cellular Automata.

Julien Cervelle, Enrico Formenti, Pierre Guillon

Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

2009

Algorithmic Complexity and Cellular Automata.

Julien Cervelle, Enrico Formenti

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Chaotic Behavior of Cellular Automata.

Julien Cervelle, Alberto Dennunzio, Enrico Formenti

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Banzai: a Java framework for the implementation of high-performance servers.

Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

On defining quality based grammar metrics.

Julien Cervelle, Matej Crepinsek, Rémi Forax, Tomaz Kosar, Marjan Mernik, Gilles Roussel

Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

2007

From sandpiles to sand automata.

Julien Cervelle, Enrico Formenti, Benoît Masson

Theor. Comput. Sci., 2007

Sofic Trace of a Cellular Automaton

Julien Cervelle, Enrico Formenti, Pierre Guillon

CoRR, 2007

A simple implementation of grammar libraries.

Julien Cervelle, Rémi Forax, Gilles Roussel

Comput. Sci. Inf. Syst., 2007

Towards a Rice Theorem on Traces of Cellular Automata.

Julien Cervelle, Pierre Guillon

Proceedings of the Mathematical Foundations of Computer Science 2007, 2007

Sofic Trace Subshift of a Cellular Automaton.

Julien Cervelle, Enrico Formenti, Pierre Guillon

Proceedings of the Computation and Logic in the Real World, 2007

Complexité dynamique et algorithmique des automates cellulaires.

Julien Cervelle

, 2007

2006

Tatoo: an innovative parser generator.

Julien Cervelle, Rémi Forax, Gilles Roussel

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006

2005

Some results about the chaotic behavior of cellular automata.

François Blanchard, Julien Cervelle, Enrico Formenti

Theor. Comput. Sci., 2005

Basic Properties for Sand Automata.

Julien Cervelle, Enrico Formenti, Benoît Masson

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2004

Tilings: recursivity and regularity.

Julien Cervelle, Bruno Durand

Theor. Comput. Sci., 2004

2003

On Sand Automata.

Julien Cervelle, Enrico Formenti

Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003

Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies.

François Blanchard, Julien Cervelle, Enrico Formenti

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002

Structural and computational complexity of tilings and cellular automata. (Complexité structurelle et algorithmique des pavages et des automates cellulaires).

Julien Cervelle

PhD thesis, 2002

2001

Algorithmic Information Theory and Cellular Automata Dynamics.

Julien Cervelle, Bruno Durand, Enrico Formenti

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001