Skip to Main content Skip to Navigation
New interface

hal-01084963v1  Conference papers
Eda CesarattoBrigitte Vallée. Pseudo-randomness of a random Kronecker sequence
Latin American Symposium on Theoretical Informatics, Apr 2012, Arequipa, Peru. pp.157-171, ⟨10.1007/978-3-642-29344-3_14⟩
hal-01081279v1  Conference papers
Thomas LargillierGuillaume PeyronnetSylvain Peyronnet. Rocovo : Robust Communal Publication Scheme
Proceedings of the 29th Annual ACM Symposium on Applied Computing ACM, Jun 2014, Helsinki, Finland. pp.579 - 586, ⟨10.1145/2554850.2554889⟩
hal-01578448v1  Conference papers
Gaétan Richard. On the Synchronisation Problem over Cellular Automata
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, Mar 2017, Hannover, Germany. ⟨10.4230/LIPIcs.STACS.2017.54⟩
hal-01085892v1  Conference papers
Etienne GrandjeanFrédéric OliveGaétan Richard. Descriptive complexity for pictures languages (extended abstract)
Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on, Jun 2012, Dubrovnik, Croatia
hal-00442421v1  Journal articles
Jérémie BourdonBenoît DaireauxBrigitte Vallée. Dynamical Analysis of alpha-Euclidean Algorithms
Journal of Algorithms in Cognition, Informatics and Logic, Elsevier, 2002, 1 (44), pp.246--285
tel-01070916v1  Habilitation à diriger des recherches
Véronique Terrier. Reconnaissance de langages par automates cellulaires
Calcul parallèle, distribué et partagé [cs.DC]. Université de Caen, 2011
hal-01082245v1  Conference papers
Valérie BerthéJean CreusefondLoïck LhoteBrigitte Vallée. Multiple GCD's. Probabilistic analysis of the plain algorithm
38th international symposium on International symposium on symbolic and algebraic computation, ISSAC '13, Jun 2013, Boston, United States
tel-01136777v1  Theses
Kanal Hun. Analysis of depth of digital trees built on general sources
Computer Science [cs]. Université de Caen Basse-Normandie, 2014. English
hal-00195018v1  Conference papers
Guillaume Bagan. MSO Queries on Tree Decomposable Structures are Computable with Constant Delay
Computer Science Logic 2006, 2006, Szeged, Hungary. pp.167-181
hal-01178250v2  Journal articles
Nicolas Bacquey. Leader election on two-dimensional periodic cellular automata
Theoretical Computer Science, Elsevier, 2017, 659, pp.36-52. ⟨10.1016/j.tcs.2016.10.021⟩
hal-01708981v3  Books
Brigitte ChauvinJulien ClémentDanièle Gardy. Arbres pour l'algorithmique
83, 2018, Mathématiques et Applications, 978-3-319-93724-3. ⟨10.1007/978-3-319-93725-0⟩
hal-01082088v1  Journal articles
Gabriela CiupercaValérie GirardinLoïck Lhote. Computation and Estimation of Generalized Entropy Rates for Denumerable Markov Chains
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57, pp.4026 - 4034. ⟨10.1109/TIT.2011.2133710⟩
hal-01084455v1  Conference papers
Etienne Grandjean. Computational Complexity and Logical Definability
14th Congress of Logic, Methodology and Philosophy of Science, Jun 2011, Nancy, France
hal-00442422v1  Journal articles
Jérémie BourdonMarkus NebelBrigitte Vallée. On The Stack-Size of General Tries
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2001, pp.163--185
hal-00786148v1  Journal articles
Etienne GrandjeanFrédéric Olive. A logical approach to locality in pictures languages
Journal of Computer and System Sciences, Elsevier, 2016, 82 (06), pp.959 -1006. ⟨10.1016/j.jcss.2016.01.005⟩
hal-01081727v1  Conference papers
Thierry Pierre BergerPierre-Louis CayrelPhilippe GaboritAyoub Otmani. Reducing Key Length of the McEliece Cryptosystem
Proceedings of Second International Conference on Cryptology - AFRICACRYPT 2009, Jun 2009, Gammarth, Tunisia. pp.77 - 97, ⟨10.1007/978-3-642-02384-2_6⟩
hal-01578436v1  Conference papers
Pablo RotondoBrigitte Vallée. The recurrence function of a random Sturmian word
2017 Proceedings of the Meeting on Analytic Algorithmics and Combinatorics (ANALCO), Jan 2017, Barcelona, Spain. pp.100-114, ⟨10.1137/1.9781611974775.10⟩
hal-01082028v1  Conference papers
Manfred MadritschBrigitte Vallée. Modelling the LLL Algorithm by Sandpiles
Comptes Rendus de la Conférence LATIN 2010, Apr 2010, Oaxaca, Mexico. pp.267 - 281, ⟨10.1007/978-3-642-12200-2_25⟩
hal-01087904v1  Conference papers
Etienne Grandjean. An invitation to Linear Time
Logic and Computational Complexity: An International Workshop Series (LCC 12), Jun 2012, Dubrovnik, Croatia
hal-00003469v1  Conference papers
Jean-Christophe DubacqVéronique Terrier. Signals for Cellular Automata in dimension 2 or higher
Latin 2002: Theoretical Informatics, 2002, Cancun, Mexico. pp.451-464
hal-00442417v1  Journal articles
Brigitte Vallée. Dynamical sources in information theory: fundamental intervals and word prefixes
Algorithmica, Springer Verlag, 2001, 29 (1-2), pp.262--306
hal-01103998v1  Journal articles
Julien ClémentThu Hien Nguyen ThiBrigitte Vallée. Towards a Realistic Analysis of Some Popular Sorting Algorithms
Combinatorics, Probability and Computing, 2015, (Honouring the Memory of Philippe Flajolet - Part 3, 24 (01), pp.104-144. ⟨10.1017/S0963548314000649⟩
hal-00573599v1  Conference papers
Alex BorelloGaétan RichardVéronique Terrier. A speed-up of oblivious multi-head finite automata by cellular automata
Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.273-283