default search action
Julien Cervelle
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c18]Julien Cervelle
, Frédéric Gervais
Introducing Inductive Construction in B with the Theory Plugin. ABZ 2023: 43-58
2010 – 2019
- 2019
- [c17]Patrick Cégielski, Julien Cervelle:
Study of Stepwise Simulation Between ASM. CiE 2019: 156-167 - 2017
- [c16]Julien Cervelle, Grégory Lafitte:
On shift-invariant maximal filters and hormonal cellular automata. LICS 2017: 1-10 - 2016
- [c15]Eugene Asarin
Entropy Games and Matrix Multiplication Games. STACS 2016: 11:1-11:14 - 2015
- [i6]Eugene Asarin, Julien Cervelle, Aldric Degorre
Entropy Games. CoRR abs/1506.04885 (2015) - 2014
- [j8]Julien Cervelle:
Covering space in the Weyl and Besicovitch topologies. Inf. Comput. 239: 44-54 (2014) - [c14]Alex Borello, Julien Cervelle, Pascal Vanier
Turing Degrees of Limit Sets of Cellular Automata. ICALP (2) 2014: 74-85 - [i5]Alex Borello, Julien Cervelle, Pascal Vanier:
Turing degrees of limit sets of cellular automata. CoRR abs/1402.3766 (2014) - 2013
- [j7]Julien Cervelle, Alberto Dennunzio, Enrico Formenti
Preface. Fundam. Informaticae 126(2-3): i-ii (2013) - [c13]Julien Cervelle:
Constructing Continuous Systems from Discrete Cellular Automata. CiE 2013: 55-64 - [i4]Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Julien Provillard:
Acceptance conditions for omega-languages and the Borel hierarchy. CoRR abs/1310.5032 (2013) - 2012
- [j6]Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel:
Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers. Sci. Comput. Program. 77(9): 990-1005 (2012) - [c12]Julien Cervelle:
Covering Space in the Besicovitch Topology. LATA 2012: 169-178 - 2010
- [j5]Matej Crepinsek, Tomaz Kosar, Marjan Mernik, Julien Cervelle, Rémi Forax, Gilles Roussel:
On automata and language based grammar metrics. Comput. Sci. Inf. Syst. 7(2): 309-329 (2010) - [c11]Julien Cervelle, Enrico Formenti
Ultimate Traces of Cellular Automata. STACS 2010: 155-166 - [i3]Julien Cervelle, Enrico Formenti, Pierre Guillon:
Ultimate Traces of Cellular Automata. CoRR abs/1001.0251 (2010)
2000 – 2009
- 2009
- [c10]Julien Cervelle, Matej Crepinsek, Rémi Forax, Tomaz Kosar, Marjan Mernik, Gilles Roussel:
On defining quality based grammar metrics. IMCSIT 2009: 651-658 - [c9]Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel:
Banzai: a Java framework for the implementation of high-performance servers. SAC 2009: 1903-1909 - [r2]Julien Cervelle, Enrico Formenti:
Algorithmic Complexity and Cellular Automata. Encyclopedia of Complexity and Systems Science 2009: 243-257 - [r1]Julien Cervelle, Alberto Dennunzio, Enrico Formenti:
Chaotic Behavior of Cellular Automata. Encyclopedia of Complexity and Systems Science 2009: 978-989 - 2007
- [b2]Julien Cervelle:
Complexité dynamique et algorithmique des automates cellulaires. University of Marne-la-Vallée, France, 2007 - [j4]Julien Cervelle, Rémi Forax, Gilles Roussel:
A simple implementation of grammar libraries. Comput. Sci. Inf. Syst. 4(2): 65-77 (2007) - [j3]Julien Cervelle, Enrico Formenti
From sandpiles to sand automata. Theor. Comput. Sci. 381(1-3): 1-28 (2007) - [c8]Julien Cervelle, Enrico Formenti
Sofic Trace Subshift of a Cellular Automaton. CiE 2007: 152-161 - [c7]Julien Cervelle, Pierre Guillon
Towards a Rice Theorem on Traces of Cellular Automata. MFCS 2007: 310-319 - [i2]Julien Cervelle, Enrico Formenti, Pierre Guillon:
Sofic Trace of a Cellular Automaton. CoRR abs/math/0703241 (2007) - 2006
- [c6]Julien Cervelle, Rémi Forax, Gilles Roussel:
Tatoo: an innovative parser generator. PPPJ 2006: 13-20 - 2005
- [j2]François Blanchard, Julien Cervelle, Enrico Formenti
Some results about the chaotic behavior of cellular automata. Theor. Comput. Sci. 349(3): 318-336 (2005) - [c5]Julien Cervelle, Enrico Formenti
Basic Properties for Sand Automata. MFCS 2005: 192-211 - 2004
- [j1]Julien Cervelle, Bruno Durand:
Tilings: recursivity and regularity. Theor. Comput. Sci. 310(1-3): 469-477 (2004) - [i1]Julien Cervelle, Enrico Formenti, Benoît Masson:
Basic properties for sand automata. CoRR cs.CC/0411007 (2004) - 2003
- [c4]François Blanchard, Julien Cervelle, Enrico Formenti
Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies. MFCS 2003: 228-238 - [c3]Julien Cervelle, Enrico Formenti
On Sand Automata. STACS 2003: 642-653 - 2002
- [b1]Julien Cervelle:
Structural and computational complexity of tilings and cellular automata. (Complexité structurelle et algorithmique des pavages et des automates cellulaires). University of Provence Aix-Marseille, France, 2002 - 2001
- [c2]Julien Cervelle, Bruno Durand, Enrico Formenti
Algorithmic Information Theory and Cellular Automata Dynamics. MFCS 2001: 248-259 - 2000
- [c1]Julien Cervelle, Bruno Durand:
Tilings: Recursivity and Regularity. STACS 2000: 491-502
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: