Skip to Main content Skip to Navigation

hal-03298339v2  Conference papers
Abhishek Kumar MishraAline Carneiro VianaNadjib AchirCatuscia Palamidessi. Public Wireless Packets Anonymously Hurt You
IEEE LCN 2021 (Doctoral-track - Promising ideas), Oct 2021, Edmonton / Virtual, Canada. ⟨10.1109/LCN52139.2021.9524956⟩
hal-03351754v1  Conference papers
William WeensThibaud Vazquez-GonzalezLouise Salem-Knapp. Modeling round-off errors in hydrodynamic simulations
14th International Workshop on Numerical Software Verification (NSV 2021), Jul 2021, Los Angeles, United States
hal-03351649v1  Conference papers
Saumya SahaiOana BalalauRoxana Horincar. Breaking Down the Invisible Wall of Informal Fallacies in Online Discussions
The Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (ACL-IJCNLP 2021), Aug 2021, Online, France
hal-03351621v1  Conference papers
Oana BalalauRoxana Horincar. From the Stage to the Audience: Propaganda on Reddit
16th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2021), Apr 2021, Online, France
hal-03351615v1  Conference papers
Louise Ben Salem-KnappThibaud Vazquez-GonzalezWilliam Weens. La double précision suffit-elle à l'exascale ?
20èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2021, Jun 2021, Vannes, France
hal-03337014v1  Reports
Paul-Louis GeorgeFrédéric AlauzetAdrien Loseille. Le glossaire du maillage
[Rapport Technique] RT-0515, INRIA. 2021
hal-03349223v1  Journal articles
Quentin Garchery. A Framework for Proof-carrying Logical Transformations
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2021, 336, pp.5-23. ⟨10.4204/EPTCS.336.2⟩
hal-03346767v1  Conference papers
Beniamino AccattoliUgo Dal LagoGabriele Vanoni. The Space of Interaction
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470726⟩
hal-03348486v1  Reports
Yann Leray. M1 Internship Report Translating proofs between Isabelle and Dedukti
[Internship report] Deducteam - Inria Paris-Saclay / ENS Paris-Saclay. 2021
hal-03348149v1  Journal articles
Natkamon TovanichPierre DragicevicPetra Isenberg. Gender in 30 Years of IEEE Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press
hal-03348145v1  Journal articles
Natkamon TovanichNicolas SouliéNicolas HeulotPetra Isenberg. MiningVis: Visual Analytics of the Bitcoin Mining Economy
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press
hal-03346750v1  Journal articles
Beniamino AccattoliUgo Dal LagoGabriele Vanoni. The (In)Efficiency of interaction
Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (POPL), pp.1-33. ⟨10.1145/3434332⟩
hal-03347947v1  Conference papers
Théo BouganimHelena GalhardasIoana Manolescu. Efficiently identifying disguised nulls in heterogeneous text data
BDA (Conférence sur la Gestion de Données – Principles, Technologies et Applications), Oct 2021, Paris, France
hal-03345605v1  Conference papers
Lucas BenmouffokKalpana SinghNicolas HeulotDaniel Augot. Privacy-Preserving Initial Public Offering using SCALE-MAMBA and Hyperledger Fabric
ChainTech’2021 is a track of WETICE : the 31st IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Oct 2021, Basque Coast, Bayonne, France
hal-03344041v2  Conference papers
Nelly BarretIoana ManolescuPrajna Upadhyay. Toward Generic Abstractions for Data of Any Model
BDA 2021 - Informal publication only, Oct 2021, Paris, France
hal-03126115v6  Conference papers
Gaspard FéreyJean-Pierre Jouannaud. Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories
PPDP 2021 - 23rd International Symposium on Principles and Practice of Declarative Programming, Sep 2021, Tallin, Estonia. ⟨10.1145/NNNNNNN.NNNNNNN⟩