Julien Cervelle
34
Documents
Publications
Entropy GamesCoRR, 2015, abs/1506.04885
Article dans une revue
hal-01699930v1
|
|
Covering space in the Weyl and Besicovitch topologiesInf. Comput., 2014, 239, pp.44--54. ⟨10.1016/j.ic.2014.08.007⟩
Article dans une revue
hal-01208376v1
|
|
PrefaceFundamenta Informaticae, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.1-2. ⟨10.3233/FI-2013-874⟩
Article dans une revue
hal-01312577v1
|
|
Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance serversScience of Computer Programming, 2012, 77 (9), pp.990-1005
Article dans une revue
hal-00844345v1
|
|
|
On automata and language based grammar metricsComputer Science and Information Systems, 2010, 7 (2), pp.309--329. ⟨10.2298/CSIS1002309C⟩
Article dans une revue
hal-01208373v1
|
|
Basic properties for sand automataTheoretical Computer Science, 2007, 381, pp.1--28
Article dans une revue
hal-00003208v1
|
From sandpiles to sand automataTheoretical Computer Science, 2007, 381 (1-3), pp.1-28. ⟨10.1016/j.tcs.2007.03.042⟩
Article dans une revue
hal-00310905v1
|
|
A simple implementation of grammar librariesComputer Science and Information Systems, 2007, 4 (2), pp.65-77
Article dans une revue
hal-00619702v1
|
|
Some results about the chaotic behavior of cellular automataTheoretical Computer Science, 2005, 349 (3), pp.318-336
Article dans une revue
hal-00619713v1
|
|
Tilings: recursivity and regularityTheoretical Computer Science, 2004, 310 (1-3), pp.469-477
Article dans une revue
hal-00619517v1
|
Introducing inductive construction in B with the Theory Plugin9th International Conference on rigorous state based methods (ABZ 2023), May 2023, Nancy, France. pp.43-58, ⟨10.1007/978-3-031-33163-3_4⟩
Communication dans un congrès
hal-04239503v1
|
|
Study of Stepwise Simulation Between ASM15th Conference on Computability in Europe, Jul 2019, Durham, United Kingdom. pp.156-167
Communication dans un congrès
hal-02182747v1
|
|
On shift-invariant maximal filters and hormonal cellular automataLICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-10, ⟨10.1109/LICS.2017.8005145⟩
Communication dans un congrès
hal-01615278v1
|
|
|
Turing degrees of limit sets of cellular automataICALP 2014, Jul 2014, Copenhaguen, Denmark. pp.74--85, ⟨10.1007/978-3-662-43951-7_7⟩
Communication dans un congrès
hal-00947323v1
|
Constructing Continuous Systems from Discrete Cellular AutomataComputability in Europe (CiE), 2013, Unknown, Unknown Region. pp.55-64
Communication dans un congrès
hal-01208371v1
|
|
Covering Space in the Besicovitch TopologyLanguage and Automata Theory and Applications (LATA), 2012, Unknown, Unknown Region. pp.169-178
Communication dans un congrès
hal-01208372v1
|
|
|
Ultimate Traces of Cellular Automata27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.155-166
Communication dans un congrès
inria-00455807v1
|
Banzai: A Java Framework for the Implementation of High-Performance Servers24th Annual ACM Symposium on Applied Computing, (SAC'09), Mar 2009, Honolulu, Hawaii, USA, United States. pp.1903-1909
Communication dans un congrès
hal-00620321v1
|
|
On Defining Quality Based Grammar Metrics2nd Workshop on Advances in Programming Languages (WAPL'09), Oct 2009, United States. pp.651-658
Communication dans un congrès
hal-00620318v1
|
|
Tatoo: a Java efficient parser generatorCompilers, Related Technologies and Applications (CoRTA'08), 2008, France. 10pp
Communication dans un congrès
hal-00620219v1
|
|
Sofic trace subshift of a cellular automatonComputability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.152-161
Communication dans un congrès
hal-00310526v1
|
|
|
Sofic Trace of a Cellular AutomatonCiE 2007, Jun 2007, Siena, Italy. pp.152-161
Communication dans un congrès
hal-00135811v1
|
|
Towards a Rice Theorem on Traces of Cellular Automata32th International Symposium on Mathematical Foundations of Computer Science (MFCS'07), Aug 2007, Český Krumlov, Czech Republic, Czech Republic. pp.310-319
Communication dans un congrès
hal-00620284v1
|
Tatoo: An innovative Parser Generator4th International Conference on Principles and Practices of Programming in Java (PPPJ'06), Aug 2006, Mannheim, Germany. pp.13-20
Communication dans un congrès
hal-00620176v1
|
|
Basic Properties for Sand Automata.30th International Symposium on Mathematical Foundations of Computer Science (MFCS'05), Sep 2005, Gdansk, Poland, Poland. pp.192-211
Communication dans un congrès
hal-00620177v1
|
|
On Sand Automata20th International Symposium on Theoretical Aspects of Computer Science (STACS'03), Feb 2003, Berlin, Germany, Germany. pp.642-653
Communication dans un congrès
hal-00620183v1
|
|
Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies28th International Symposium on Mathematical Foundations of Computer Science (MFCS'03), Aug 2003, Bratislava, Slovakia, Slovakia. pp.228-238
Communication dans un congrès
hal-00620226v1
|
|
Algorithmic Information Theory and Cellular Automata Dynamics26th International Symposium on Mathematical Foundations of Computer Science (MFCS'01), Aug 2001, Marianske Lazne, Czech Republic, Czech Republic. pp.248-259
Communication dans un congrès
hal-00620174v1
|
|
Tilings : recursivity and regularity17th International Symposium on Theoretical Aspects of Computer Science (STACS'00), Feb 2000, Lille, France, France. pp.491-502
Communication dans un congrès
hal-00620184v1
|
Chaotic behavior of cellular automataMeyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.978-989, 2009
Chapitre d'ouvrage
hal-00620822v1
|
|
Algorithmic Complexity and Cellular AutomataMeyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.243-257, 2009
Chapitre d'ouvrage
hal-00620823v1
|
|
Entropy Games and Matrix Multiplication Games2015
Pré-publication, Document de travail
hal-01164086v3
|
|
Structural and computational complexity of tilings and cellular automataComputer Science [cs]. Université de provence, 2002. English. ⟨NNT : ⟩
Thèse
tel-01208375v1
|
|
Complexité dynamique et algorithmique des automates cellulairesInformatique [cs]. Université Paris Est, Marne-la-Vallée, 2007
HDR
tel-01208374v1
|