index - Archive ouverte HAL

Access content directly

Documentation

Collection GREYC-AMACC
Search
Loading...
Advanced Search
Information de documents
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
Document type
Document subtype
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool

Author
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
hal_authId_i
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor

Structure
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country

Autres
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Recherche experte (SolR)
Upload

GREYC - AMACC group

Algorithms, Computational Models, Alea, Combinatorics, Complexity

Home
Browse

Loading...

Algorithms, computationamodels, Alea, Cryptography and Complexity Team

Last publications

Benjamin Hellouin de Menibus, Victor H Lutfalla, Camille Noûs. The Domino problem is undecidable on every rhombus subshift. 2023. ⟨hal-04004801⟩
Katharina Boudgoust, Corentin Jeudy, Adeline Roux-Langlois, Weiqiang Wen. On the Hardness of Module Learning with Errors with Short Distributions. Journal of Cryptology, 2023, 36 (1), pp.1. ⟨10.1007/s00145-022-09441-3⟩. ⟨hal-04028217⟩
Katharina Boudgoust, Corentin Jeudy, Adeline Roux-Langlois, Weiqiang Wen. Entropic Hardness of Module-LWE from Module-NTRU. Indocrypt, Dec 2022, Kolkata, India. pp.78 - 99, ⟨10.1007/978-3-031-22912-1_4⟩. ⟨hal-04028179⟩
Olivier Bernard, Andrea Lesavourey, Tuong-Huy Nguyen, Adeline Roux-Langlois. Log-S-unit Lattices Using Explicit Stickelberger Generators to Solve Approx Ideal-SVP. ASIACRYPT 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan, Taiwan. pp.677-708, ⟨10.1007/978-3-031-22969-5_23⟩. ⟨hal-04028180⟩
Victor Lutfalla, Thomas Fernique. Geometrical Penrose Tilings have Finite Type. 2022. ⟨hal-03879446⟩
Étienne Grandjean, Louis Jachiet. Which arithmetic operations can be performed in constant time in the RAM model with addition?. 2022. ⟨hal-03843989⟩
Julien Courtiel, Paul Dorbec, Romain Lecoq. Theoretical analysis of git bisect. 15th LATIN American Symposium 2022: Theoretical Informatics, Nov 2022, Guanajuato, Mexico. pp.157-171, ⟨10.1007/978-3-031-20624-5_10⟩. ⟨hal-03431454v2⟩
Paul Dorbec, Fatma Kaci. Disjoint Maximal Independent Sets in Graphs and Hypergraphs. 2022. ⟨hal-03641758⟩
Léo Paviet Salomon, Pascal Vanier. Realizing finitely presented groups as projective fundamental groups of SFTs. 2022. ⟨hal-03622497⟩
Ghiles Ziat, Matthieu Dien, Vincent Botbol. Automated Random Testing of Numerical Constrained Types. 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), Oct 2021, Montpellier, France. pp.59:1-59:19, ⟨10.4230/LIPIcs.CP.2021.59⟩. ⟨hal-03667623⟩
Théo Grente, Etienne Grandjean. Conjunctive grammars, cellular automata and logic. AUTOMATA, Jul 2021, Marseille, France. ⟨10.4230/OASIcs.AUTOMATA.2021.8⟩. ⟨hal-03167529v2⟩
Marthe Bonamy, Paul Dorbec, Paul Ouvrard. Dominating sets reconfiguration under token sliding. 2021. ⟨hal-02394839v2⟩
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, In press, Computational Logic and Applications (CLA'19), vol. 22 no. 3, Computational Logic and Applications (CLA'19) (3), ⟨10.46298/dmtcs.5820⟩. ⟨hal-02301925v4⟩
Theo Grente. Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires. Arithmétique des ordinateurs. Normandie Université, 2020. Français. ⟨NNT : 2020NORMC214⟩. ⟨tel-03093951⟩
Julien Courtiel, Andrew Elvey 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 D 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, 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⟩
Julien Courtiel, Karen Yeats, Noam Zeilberger. Connected chord diagrams and bridgeless maps. The Electronic Journal of Combinatorics, 2019, 26 (4), pp.1-56. ⟨10.37236/7400⟩. ⟨hal-01650141v2⟩
Véronique Terrier. Communication complexity tools on recognizable picture languages. Theoretical Computer Science, 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, 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⟩

Number of publications

282

Submissions distribution by document type

widget_sherpa

Titre du journal ou ISSN Editeur

Contact

Support

Resources

Documentation
FAQ
API
OAI-PMH
AuréHAL

Informations

Personal data and privacy
Legal notice
Accessibility
RGAA

Legal issues

I publish, what are my rights?
The Digital Republic bill
Non-assignment strategy of rights
SHERPA/RoMEO

Portals

Institutional portals
HAL
HAL SHS
HAL Thèses
MédiHAL

CCSD

CCSD
Episciences
Sciencesconf