Skip to Main content Skip to Navigation


hal-02929843v1  Conference papers
Olivier BlazyPatrick TowaDamien Vergnaud. Public-Key Generation with Verifiable Randomness
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon / Virtual, South Korea
hal-02929841v1  Conference papers
Patrick TowaDamien Vergnaud. Succinct Diophantine-Satisfiability Arguments
Asiacrypt 2020 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon / Virtual, South Korea
...
hal-02929324v1  Conference papers
Francesco FoscarinAndrew McleodPhilippe RigauxFlorent JacquemardMasahiko Sakai. ASAP: a dataset of aligned scores and performances for piano transcription
ISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada
...
hal-02867634v1  Conference papers
Gewu BuMaria Potop-ButucaruMikaël Rabie. Diffusion dans les réseaux sans fil en utilisant des filtres à mémoire constante
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
...
hal-02928232v1  Conference papers
Aleksandr ChueshevJulia LawallReda BendraouTewfik Ziadi. Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers
ICSME 2020 - International Conference on Software Maintenance and Evolution, Sep 2020, Adélaïde / Virtual, Australia
hal-02425000v1  Conference papers
Ferdinand Sibleyras. Low-Memory Attacks Against Two-Round Even-Mansour Using the 3-XOR Problem
Invited talk at NTT Secure Platform Laboratories, Sep 2020, Musashino, Japan
...
hal-02940819v1  Master thesis
Theo Delemazure. A Knowledge Base of Mathematical Results
Artificial Intelligence [cs.AI]. 2020
...
hal-02879023v1  Journal articles
Keren Censor-HillelMikaël Rabie. Distributed Reconfiguration of Maximal Independent Sets
Journal of Computer and System Sciences, Elsevier, 2020, 112, pp.85-96. ⟨10.1016/j.jcss.2020.03.003⟩
...
hal-02414291v3  Conference papers
Bruno LecouatJean PonceJulien Mairal. Fully Trainable and Interpretable Non-Local Sparse Models for Image Restoration
ECCV 2020 - European Conference on Computer Vision, Aug 2020, Glasgow / Virtual, United Kingdom
...
hal-02513241v3  Conference papers
Nikita DvornikCordelia SchmidJulien Mairal. Selecting Relevant Features from a Multi-domain Representation for Few-shot Classification
ECCV 2020 - European Conference on Computer Vision, Aug 2020, Glasgow / Virtual, United Kingdom
...
hal-02929998v1  Conference papers
Glen MévelJacques-Henri JourdanFrançois Pottier. Cosmo: A Concurrent Separation Logic for Multicore OCaml
ICFP 2020 - 25th ACM SIGPLAN International Conference on Functional Programming, ACM, Aug 2020, New-York / Virtual, United States. ⟨10.1145/3408978⟩
...
hal-02916806v1  Journal articles
Brian KilbergFelipe CamposFilip MaksimovicThomas WatteyneKristofer Pister. Accurate 3D Lighthouse Localization of a Low-Power Crystal-Free Single-Chip Mote
Journal of Microelectromechanical Systems, Institute of Electrical and Electronics Engineers, 2020
...
hal-02911071v1  Conference papers
Karine AltisenStéphane DevismesAnaïs DurandColette JohnenFranck Petit. Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
PODC 2020 - ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩