Skip to Main content Skip to Navigation


...
hal-03387778v1  Conference papers
Michel OlveraEmmanuel VincentGilles Gasso. Improving Sound Event Detection with Auxiliary Foreground-Background Classification and Domain Adaptation
DCASE 2021 - 6th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2021, Virtual, Spain
...
hal-03384852v1  Conference papers
Guillaume RosinoskySamir YoucefFrançois CharoyEtienne Rivière. A Methodology for Tenant Migration in Legacy Shared-Table Multi-tenant Applications
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.3-20, ⟨10.1007/978-3-030-78198-9_1⟩
...
hal-03381116v1  Conference papers
Guillaume RosinoskySamir YoucefFrançois CharoyEtienne Rivière. A methodology for tenant migration in legacy shared-table multi-tenant applications
21st International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Malta, Malta
...
hal-03380595v1  Conference papers
Jean-Philippe EisenbarthThibault CholezOlivier Perrin. A Comprehensive Study of the Bitcoin P2P Network
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS 2021), Sep 2021, Paris, France
...
hal-03377797v1  Conference papers
Hubert NourtelPierre ChampionDenis JouvetAnthony LarcherMarie Tahon. Evaluation of Speaker Anonymization on Emotional Speech
1st ISCA Symposium on Security and Privacy in Speech Communication, Nov 2021, Virtual, Germany
hal-03376084v1  Directions of work or proceedings
El Hassan AbdelwahedLadjel BellatrecheMatteo GolfarelliDominique MéryCarlos Ordonez. Model and Data Engineering. 8th International Conference, MEDI 2018, Proceedings
Model and Data Engineering. 8th International Conference, MEDI 2018, Oct 2018, Marrakesh, Morocco. Springer, 2018, Lecture Notes in Computer Science, 978-3-030-00855-0. ⟨10.1007/978-3-030-00856-7⟩
...
hal-03375918v1  Preprints, Working Papers, ...
Christophe Vuillot. Planar Floquet Codes
2021
...
hal-03375671v1  Conference papers
Wan-Chiu LiCédric BorgeseAlexandre BenedictoNicolas RayDmitry Sokolov. Singular Structured Hexahedral Grid
RING Meeting, Sep 2021, Vandoeuvre-lès-Nancy, France
...
hal-03356021v2  Conference papers
Pierre ChampionThomas ThebaudGaël Le LanAnthony LarcherDenis Jouvet. On the invertibility of a voice privacy system using embedding alignement
ASRU 2021 - IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2021, Cartagena, Colombia
...
hal-03370998v1  Poster communications
Anna KravchenkoMalika Smail-TabboneIsaure Chauvot de BeauchêneSjoerd Jacob de Vries. New strategy for optimizing knowledge-based docking parameters: application to ssRNA-protein docking
JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2021, Paris, France
...
hal-03370994v1  Conference papers
Alix DelannoyAntoine MoniotYann GuermeurIsaure Chauvot de Beauchêne. Feature extraction for the clustering of small 3D structures: application to RNA fragments
JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2021, Paris, France
...
hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
43RD IEEE Symposium on Security and Privacy (S&P'22), May 2022, San Francisco, United States
hal-03363567v1  Documents associated with scientific events
Abdelkader LahmadiFrédéric Beck. Practical security analysis of IoT devices
IFIP/IEEE International Symposium on Integrated Network Management, May 2021, Bordeaux, France
...
hal-03364063v1  Book sections
Gabriel EbnerJasmin BlanchetteSophie Tourret. A Unifying Splitting Framework
Automated Deduction – CADE 28, 12699, Springer International Publishing, pp.344-360, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79876-5_20⟩
...
hal-03364032v1  Book sections
Alexander BentkampJasmin BlanchetteSophie TourretPetar Vukmirović. Superposition for Full Higher-order Logic
Automated Deduction – CADE 28, 12699, Springer International Publishing, pp.396-412, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79876-5_23⟩
...
hal-03364024v1  Book sections
Petar VukmirovićAlexander BentkampJasmin BlanchetteSimon CruanesVisa Nummelin et al.  Making Higher-Order Superposition Work
Automated Deduction – CADE 28, 12699, Springer International Publishing, pp.415-432, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79876-5_24⟩
...
hal-03364015v1  Conference papers
Sophie TourretJasmin Blanchette. A modular Isabelle framework for verifying saturation provers
CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021, Virtual, Denmark. pp.224-237, ⟨10.1145/3437992.3439912⟩