HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-02921643v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Discovery of Link Keys in RDF Data Based on Pattern Structures: Preliminary Steps
CLA 2020 - The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn / Virtual, Estonia
hal-02547097v1  Conference papers
Ahmad AbboudAbdelkader LahmadiMichaël RusinowitchMiguel CouceiroAdel Bouhoula et al.  Double Mask: An efficient rule encoding for Software Defined Networking
ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186--193
hal-03036292v1  Poster communications
Ahmad AbboudRémi GarciaAbdelkader LahmadiMichaël RusinowitchAdel Bouhoula. R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks
CNSM 2020 - 16th International Conference on Network and Service Management, Nov 2020, Izmir/Virtual, Turkey
hal-03036350v1  Conference papers
Ahmad AbboudRémi GarciaAbdelkader LahmadiMichaël RusinowitchAdel Bouhoula. Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Online conference, France
hal-02463336v2  Conference papers
Reynald AffeldtCyril CohenMarie KerjeanAssia MahboubiDamien Rouhling et al.  Competing inheritance paths in dependent type theory: a case study in functional analysis
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
hal-03143502v1  Conference papers
Heba AlkayedHoratiu CirsteaStephan Merz. An Extension of PlusCal for Modeling Distributed Algorithms
TLA+ Community Event 2020, Oct 2020, Freiburg (online), Germany
hal-02864059v5  Conference papers
Guilherme AlvesVaishnavi BhargavaMiguel CouceiroAmedeo Napoli. Making ML models fairer through explanations: the case of LimeOut
9th International Conference on Analysis of Images, Social Networks, and Texts 2020 (AIST 2020), Oct 2020, Moscow, Russia
hal-02619239v1  Conference papers
Maxime AmblardClement BeyssonPhilippe de GrooteBruno GuillaumeSylvain Pogodalla. A French Version of the FraCaS Test Suite
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
hal-02377400v2  Journal articles
Sabeur AmmarJean-Claude VivaldaBasma Zitouni. Strong differential observability for sampled systems
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2020, 58 (6), pp.3814-3841. ⟨10.1137/19M1302867⟩
hal-02400051v1  Journal articles
Anurag AnshuPeter HøyerMehdi MhallaSimon Perdrix. Contextuality in multipartite pseudo-telepathy graph games
Journal of Computer and System Sciences, Elsevier, 2020, 107, pp.156-165. ⟨10.1016/j.jcss.2019.06.005⟩
hal-02985412v2  Conference papers
Stanislav AranovskiyIgor RyadchikovNikita MikhalkovDmitry KazakovAlexey Simulin et al.  Scissored pair control moment gyroscope inverted pendulum
14th International Symposium "Intelligent Systems - 2020", Dec 2020, Moscow, Russia
hal-03122343v1  Conference papers
Jaume BaixeriesVictor CodocedoMehdi KaytoueAmedeo Napoli. Building a Representation Context Based on Attribute Exploration Algorithms
FCA4AI 2020 - 8th International Workshop "What can do for Artificial Intelligence?", Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph, Aug 2020, Santiago de Compostela/Virtual, Spain. pp.141--152
hal-03120781v1  Conference papers
Boaz BarakRaphaëlle CrubilléUgo Dal Lago. On Higher-Order Cryptography
ICALP 2020 - 47th International Colloquium on Automata, Languages, and Programming, Jul 2020, Saarbrucken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.108⟩
hal-02515103v1  Journal articles
Haniel BarbosaJasmin BlanchetteMathias FleuryPascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing
Journal of Automated Reasoning, Springer Verlag, 2020, 64 (3), pp.485-510. ⟨10.1007/s10817-018-09502-y⟩
hal-02456533v1  Conference papers
Toufik BaroudiVincent LoechnerRachid Seghir. Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
hal-02552287v2  Reports
Gilles BartheCharlie JacommeSteve Kremer. Universal equivalence and majority of probabilistic programs over finite fields
[Research Report] MPI SP; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2020
hal-02961583v1  Conference papers
Gilles BartheCharlie JacommeSteve Kremer. Universal equivalence and majority of probabilistic programs over finite fields
ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩
hal-02975012v1  Journal articles
Gilles BartheSandrine BlazyBenjamin GrégoireRémi HutinVincent Laporte et al.  Formal verification of a constant-time preserving C compiler
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩
hal-02568440v1  Conference papers
Levy BatistaMathieu MilhemThierry BastogneFabien ClanchéGabin Personeni et al.  A data-driven classification solution for the timed-up and go test in risk falling assessment
42nd Engineering in Medicine and Biology Conference, EMBC 2020, Jul 2020, Montréal, Canada
hal-03059165v1  Journal articles
Peter Beim GrabenAxel HuttNorbert MarwanChristian UhlCharles Webber. Editorial: Recurrence Analysis of Complex Systems Dynamics
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2020, 6, ⟨10.3389/fams.2020.00033⟩
hal-02962845v1  Conference papers
Luke BertotLucas NussbaumDavid Margery. Implementing SFA Support on an Established HPC-flavored Testbed: Lessons Learned
CNERT 2020 - Computer and Networking Experimental Research using Testbeds, in conjunction with IEEE INFOCOM 2020, Jul 2020, Toronto, Canada. pp.1-6
hal-02979233v1  Conference papers
Vaishnavi BhargavaMiguel CouceiroAmedeo Napoli. LimeOut: An Ensemble Approach To Improve Process Fairness
ECML-PKDD International Workshop on eXplainable Knowledge Discovery in Data Mining (XKDD 2020), Sep 2020, Ghent, Belgium. pp.475-491
hal-01485685v1  Journal articles
Hermine BierméCéline Lacaux. Fast and exact synthesis of some operator scaling Gaussian random fields
Applied and Computational Harmonic Analysis, Elsevier, 2020, 48 (1), pp.293-320. ⟨10.1016/j.acha.2018.05.004⟩
hal-02985282v1  Conference papers
Victor BlanchiEtienne CormanNicolas RayDmitry Sokolov. Global parametrization based on Ginzburg-Landau functional
NUMGRID 2020 — Numerical Geometry, Grid Generation and Scientific Computing, Nov 2020, Moscow/Virtual, Russia
hal-03134114v1  Conference papers
Mathilde BoltenhagenBenjamin ChetiouiLaurine Huber. An Alignment Cost-Based Classification of Log Traces Using Machine-Learning
ML4PM2020 - First International Workshop on Leveraging Machine Learning in Process Mining, Oct 2020, Padua/ Virtual, Italy. ⟨10.1007/978-3-030-72693-5_11⟩
hal-02912877v1  Conference papers
Guillaume BonfanteMiguel Couceiro. Termination of graph rewriting systems through language theory
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
hal-02930715v1  Conference papers
Maria BoritchevMaxime Amblard. There is as yet Insufficient Data for a Meaningful Answer
SemDial - WatchDial The 24th Workshop on the Semantics and Pragmatics of Dialogue, Jul 2020, Brandeis, United States
hal-03065236v1  Conference papers
Maria BoritchevPhilippe de Groote. On dialogue modeling: a dynamic epistemic inquisitive approach
New Frontiers in Artificial Intelligence. JSAI-isAI 2020., Nov 2020, Online, Japan. pp.21--36, ⟨10.1007/978-3-030-79942-7_2⟩
hal-02479502v1  Conference papers
Prosenjit BoseJean-Lou de CarufelOlivier Devillers. Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
hal-02922660v1  Journal articles
Prosenjit BoseJean-Lou de CarufelOlivier Devillers. Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2020, 11 (1), pp.212 - 234. ⟨10.20382/jocg.v11i1a9⟩
hal-02555231v1  Conference papers
David BossensJean-Baptiste MouretDanesh Tarapore. Learning behaviour-performance maps with meta-evolution
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico
hal-02945065v1  Journal articles
Hamid BoukerrouPaul HuynhVirginie LallemandBimal MandalMarine Minier. On the Feistel Counterpart of the Boomerang Connectivity Table
IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2020, 2020 (1), pp.331-362. ⟨10.13154/tosc.v2020.i1.331-362⟩
hal-01016299v3  Journal articles
Nabile BoussaidMarco CaponigroThomas Chambrion. Regular propagators of bilinear quantum systems
Journal of Functional Analysis, Elsevier, 2020, 278 (6), pp.108412. ⟨10.1016/j.jfa.2019.108412⟩
hal-02550688v2  Journal articles
Bérenger Bramas. TBFMM: A C++ generic and parallel fast multipole method library
Journal of Open Source Software, Open Journals, 2020, 5 (56), pp.2444. ⟨10.21105/joss.02444⟩
hal-01942863v3  Journal articles
Bérenger BramasPhilippe HelluyLaura MendozaBruno Weber. Optimization of a discontinuous Galerkin solver with OpenCL and StarPU
International Journal on Finite Volumes, Institut de Mathématiques de Marseille, AMU, 2020, 15 (1), pp.1-19
hal-02943568v1  Documents associated with scientific events
Kevin Bretonnel CohenKarën FortMargot MieskesAurélie Névéol. Reviewing Natural Language Processing Research
Annual Meeting of the Association for Computational Linguistics (ACL), Jul 2020, Seattle, United States. pp.16 - 18, ⟨10.18653/v1/2020.acl-tutorials.4⟩
hal-03032578v1  Conference papers
Pierre-Olivier BrissaudJérôme FrançoisIsabelle ChrismentThibault CholezOlivier Bettan. Encrypted HTTP/2 Traffic Monitoring: Standing the Test of Time and Space
WIFS2020 - IEEE International Workshop on Information Forensics and Security, Dec 2020, New-York/Virtual, United States
hal-02917575v1  Book sections
Nicola CaccianiElisabeth LarssonAlberto LauroMarco MeggiolaroAlessio Scatto et al.  A First Meshless Approach to Simulation of the Elastic Behaviour of the Diaphragm
Sherwin S., Moxey D., Peiró J., Vincent P., Schwab C. Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018, 134, Springer, pp.501-512, 2020, Lecture Notes in Computational Science and Engineering, 978-3-030-39646-6. ⟨10.1007/978-3-030-39647-3_40⟩
hal-02298815v3  Conference papers
Antonin CallardMathieu Hoyrup. Descriptive complexity on non-Polish spaces
STACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩
hal-03016721v1  Journal articles
Marie CanditoMathieu ConstantCarlos RamischAgata SavaryBruno Guillaume et al.  A French corpus annotated for multiword expressions and named entities
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2020, 8 (2), pp.415-479. ⟨10.15398/jlm.v8i2.265⟩
hal-02372579v4  Journal articles
Guillaume CarbajalRomain SerizelEmmanuel VincentEric Humbert. Joint NN-Supported Multichannel Reduction of Acoustic Echo, Reverberation and Noise
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TASLP.2020.3008974⟩
hal-02914177v1  Conference papers
Titouan CaretteEmmanuel Jeandel. A recipe for quantum graphical languages
ICALP 2020, 2020, Saarbrücken, Germany
hal-02137907v2  Journal articles
Eduardo CerpaEmmanuelle CrépeauJulie Valein. Boundary controllability of the Korteweg-de Vries equation on a tree-shaped network
Evolution Equations and Control Theory, American Institute of Mathematical Sciences (AIMS), 2020, 9 (3), pp.673-692. ⟨10.3934/eect.2020028⟩
hal-02289699v1  Book sections
Damien ChablatGuillaume MorozFabrice RouillierPhilippe Wenger. Using Maple to analyse parallel robots
Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩
hal-02995855v1  Reports
Pierre ChampionDenis JouvetAnthony Larcher. Speaker information modification in the VoicePrivacy 2020 toolchain
[Research Report] INRIA Nancy, équipe Multispeech; LIUM - Laboratoire d'Informatique de l'Université du Mans. 2020
hal-02995862v2  Conference papers
Pierre ChampionDenis JouvetAnthony Larcher. A Study of F0 Modification for X-Vector Based Speech Pseudo-Anonymization Across Gender
The Second AAAI Workshop on Privacy-Preserving Artificial Intelligence (PPAI)., Nov 2020, online, United States
hal-02972975v1  Journal articles
Steven ChaplickThomas van DijkMyroslav KryvenJi-Won ParkAlexander Ravsky et al.  Bundled Crossings Revisited
Journal of Graph Algorithms and Applications, Brown University, 2020, ⟨10.7155/jgaa.00534⟩
hal-03108936v1  Journal articles
Arthur Charguéraud. Separation Logic for Sequential Programs
Proceedings of the ACM on Programming Languages, ACM, 2020, 4, ⟨10.1145/3408998⟩
hal-02880731v1  Book sections
Zaineb Chelly DagdiaMiroslav Mirchev. When Evolutionary Computing Meets Astro- and Geoinformatics
Knowledge Discovery in Big Data from Astronomy and Earth Observation, pp.283-306, 2020
hal-02895528v1  Reports
Zheng ChengDominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints
[Research Report] Université de Lorraine; INRIA; CNRS. 2020