Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
GREYC - AMACC group
Algorithms, Computational Models, Alea, Cryptography, Complexity
Home
Browse
Last articles
List by subject
List by authors
By year
Simple search
Home
Algorithms, computationamodels, Alea, Cryptography and Complexity Team
Last publications
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski. Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency. Discrete Mathematics and Theoretical Computer Science, DMTCS, In press. ⟨hal-02301925v4⟩
Julien Courtiel, Andrew Price, Irène Marcovici. Bijections between walks inside a triangular domain and Motzkin paths of bounded amplitude. 2020. ⟨hal-02901546⟩
Valerie Berthe, Eda Cesaratto, Frédéric Paccaut, Pablo Rotondo, Martín Safe, et al.. Two Arithmetical Sources and Their Associated Tries. 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2020, Klagenfurt, Austria. ⟨10.4230/LIPIcs.AofA.2020.4⟩. ⟨hal-02868527⟩
Etienne Grandjean, Théo Grente, Véronique Terrier. Inductive definitions in logic versus programs of real-time cellular automata. 2020. ⟨hal-02474520⟩
Julien Courtiel, Karen Yeats. Next-to$^k$ leading log expansions by chord diagrams. Communications in Mathematical Physics, Springer Verlag, 2020, 377, pp.469-501. ⟨10.1007/s00220-020-03691-7⟩. ⟨hal-02153783v2⟩
Paul Dorbec. Power domination in graphs. Topics in Domination in Graphs, 2020, 978-3-030-51117-3. ⟨10.1007/978-3-030-51117-3_16⟩. ⟨hal-03073783⟩
Marthe Bonamy, Paul Dorbec, Paul Ouvrard. Dominating sets reconfiguration under token sliding. 2019. ⟨hal-02394839⟩
Julien Courtiel, Karen Yeats, Noam Zeilberger. Connected chord diagrams and bridgeless maps. The Electronic Journal of Combinatorics, Open Journal Systems, 2019, 26 (4), pp.1-56. ⟨10.37236/7400⟩. ⟨hal-01650141v2⟩
Véronique Terrier. Communication complexity tools on recognizable picture languages. Theoretical Computer Science, Elsevier, 2019, ⟨10.1016/j.tcs.2019.05.040⟩. ⟨hal-02151118⟩
Heribert Vollmer, Brigitte Vallée. Guest Editorial: Special Issue on Theoretical Aspects of Computer Science (2017). Theory of Computing Systems, Springer Verlag, 2019, 63 (5), pp.923-925. ⟨10.1007/s00224-019-09934-y⟩. ⟨hal-02735297⟩
Ali Akhavi, Julien Clément, Dimitri Darthenay, Loïck Lhote, Brigitte Vallée. Dichotomic Selection on Words: A Probabilistic Analysis. 30th Annual Symposium on Combinatorial Pattern Matching (CPM 2019), Jun 2019, Pisa, Italy. pp.19:1-19:19, ⟨10.4230/LIPIcs.CPM.2019.19⟩. ⟨hal-02152162⟩
Etienne Grandjean, Théo Grente. Descriptive complexity for minimal time of cellular automata. 2019. ⟨hal-02020180v3⟩
Brigitte Vallée. The Depoissonisation Quintet: Rice-Poisson-Mellin-Newton-Laplace. 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Jun 2018, Uppsala, Sweden. pp.35, ⟨10.4230/LIPIcs.AofA.2018.35⟩. ⟨hal-01709408⟩
Olivier Bodini, Julien Courtiel, Sergey Dovgal, Hsien-Kuei Hwang. Asymptotic distribution of parameters in random maps. 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Jun 2018, Uppsala, Sweden. pp.13:1-13:12, ⟨10.4230/LIPIcs.AofA.2018.13⟩. ⟨hal-01900814⟩
Valerie Girardin, Loïck Lhote, Philippe Regnault. Different Closed-Form Expressions for Generalized Entropy Rates of Markov Chains. Methodology and Computing in Applied Probability, Springer Verlag, In press, ⟨10.1007/s11009-018-9679-3⟩. ⟨hal-01966810⟩
Brigitte Chauvin, Julien Clément, Daniè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-01708981v3⟩
Nicolas Bacquey, Etienne Grandjean, Frédéric Olive. Definability by Horn formulas and linear time on cellular automata. ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming, Jul 2017, Warsaw, Poland. pp.1-14, ⟨10.4230/LIPIcs.ICALP.2017.99⟩. ⟨hal-01494246v2⟩
Gaétan Richard. Filling Curves Constructed in Cellular Automata with Aperiodic Tiling. 23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.165-175, ⟨10.1007/978-3-319-58631-1_13⟩. ⟨hal-01656356⟩
Véronique Terrier. Some Computational Limits of Trellis Automata. 23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.176-186, ⟨10.1007/978-3-319-58631-1_14⟩. ⟨hal-01578301⟩
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-01578448⟩
Number of publications
269
Submissions distribution by document type
widget_sherpa
Journal Title or ISSN
Publisher