Skip to Main content Skip to Navigation

hal-03348046v1  Reports
Thomas MariThao DangGregor Gössler. Explaining Safety Violations in Real-Time Systems
[Research Report] RR-9420, Inria - Research Centre Grenoble – Rhône-Alpes; Verimag, Université Grenoble Alpes. 2021
hal-03348022v1  Conference papers
Alice Pellet-MaryDamien Stehlé. On the hardness of the NTRU problem
Asiacrypt 2021, Dec 2021, Singapore, Singapore
hal-03347994v1  Journal articles
Thorsten KleinjungBenjamin Wesolowski. Discrete logarithms in quasi-polynomial time in finite fields of fixed characteristic
Journal of the American Mathematical Society, American Mathematical Society, In press, ⟨10.1090/jams/985⟩
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-03347944v1  Conference papers
Nicholas NellNathalie MittonThomas NieslerRiaan Wolhuter. An Ad-Hoc Sensor Network for Vineyard Monitoring
Southern Africa Telecommunication Networks and Applications Conference (SATNAC), Nov 2020, Spier, South Africa
hal-03347874v1  Journal articles
Michel Raynal. On the Versatility of Bracha’s Byzantine Reliable Broadcast Algorithm
Parallel Processing Letters, World Scientific Publishing, 2021, 31 (03), pp.2150006. ⟨10.1142/S0129626421500067⟩
hal-03347869v1  Journal articles
Sergio RajsbaumMichel Raynal. Distributed Computability: A Few Results Masters Students Should Know
ACM SIGACT News, Association for Computing Machinery (ACM), 2021, 52 (2), pp.92-110. ⟨10.1145/3471469.3471484⟩
hal-03347690v1  Journal articles
Yuhan WuJintao HeShen YanJianyu WuTong Yang et al.  Elastic Bloom Filter: Deletable and ExpandableFilter Using Elastic Fingerprints
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2021, pp.1-1. ⟨10.1109/TC.2021.3067713⟩
hal-03347688v1  Conference papers
Wafaa El HusseiniCheikh Brahim El VaighFrançois GoasdouéHélène Jaudoin. Ontology-Mediated Query Answering: Performance Challenges and Advances
International Semantic Web Conference (ISWC), Oct 2021, Online, United States
hal-03347679v1  Conference papers
Maxime BuronCheikh Brahim El VaighFrançois Goasdoué. Towards Faster Reformulation-based Query Answering on RDF Graphs with RDFS Ontologies
International Semantic Web Conference (ISWC), Oct 2021, Online, United States
hal-03347326v1  Conference papers
Saverio GiallorenzoFabrizio MontesiMarco PeressottiFlorian RademacherSabine Sachweh. Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
Coordination Models and Languages - 23rd International Conference, 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Jun 2021, Valletta, Malta. pp.276 - 284, ⟨10.1007/978-3-030-78142-2_17⟩
hal-03347664v1  Conference papers
Cheikh Brahim El VaighFrançois Goasdoué. A Well-founded Graph-based Summarization Framework for Description Logics
International worshop on Description Logics, Sep 2021, Bratislava, Slovakia
hal-03347652v1  Journal articles
Atsushi HoriEmmanuel JeannotGeorge BosilcaTakahiro OguraBalazs Gerofi et al.  An International Survey on MPI Users
Parallel Computing, Elsevier, In press
hal-03347573v1  Conference papers
Théo RoglianoGuillermo PolitoLuc FabresseStéphane Ducasse. Analyzing Permission Transfer Channels for Dynamically Typed Languages
DLS 2021 - 17th ACM SIGPLAN International Symposium on Dynamic Languages, Oct 2021, Chicago, France
hal-03347244v1  Conference papers
Nicolas ZampieriIrina IllinaDominique Fohr. A comparative study of different state-of-the-art NLP models for efficient automatic hate speech detection
hal-03347275v1  Conference papers
Giuseppe de PalmaSaverio GiallorenzoJacopo MauroGianluigi Zavattaro. Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation
ICSOC 2020 - 18 th International Conference on Service-Oriented Computing, Dec 2020, Dubai, United Arab Emirates. pp.416 - 430, ⟨10.1007/978-3-030-65310-1_29⟩
hal-03347280v1  Journal articles
Hussam Al DaasLaura GrigoriPascal HénonPhilippe Ricoux. Recycling Krylov Subspaces and Truncating Deflation Subspaces for Solving Sequence of Linear Systems
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2021, 47 (2), pp.1-30. ⟨10.1145/3439746⟩
hal-03347044v1  Conference papers
Marjorie BournatSwan DuboisFranck Petit. Gracefully Degrading Gathering in Dynamic Rings
Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Nov 2018, Tokyo, Japan. pp.349-364, ⟨10.1007/978-3-030-03232-6_23⟩
hal-03347020v1  Conference papers
Mohamed FekihWalid BechkitHervé Rivano. On the Data Analysis of Participatory Air Pollution Monitoring Using Low-cost Sensors
ISCC 2021 - 26th IEEE Symposium on Computers and Communications, Sep 2021, Athènes, Greece
hal-03347038v1  Conference papers
Philippe Ballesta. Contraintes et objets, clefs de voûte d'un outil d'aide à la composition
Journées d'informatique musicale 1994, Mar 1994, Bordeaux, France
hal-03346950v1  Conference papers
Paolo Pistone. On Generalized Metric Spaces for the Simply Typed Lambda-Calculus
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, Italy. pp.1-14, ⟨10.1109/LICS52264.2021.9470696⟩
hal-03346860v1  Conference papers
George GiakkoupisAnne-Marie KermarrecOlivier RuasFrançois Taïani. Cluster-and-Conquer: When Randomness Meets Graph Locality
2021 IEEE 37th International Conference on Data Engineering (ICDE), Apr 2021, Chania, Greece. pp.2027-2032, ⟨10.1109/ICDE51399.2021.00195⟩
hal-03346791v1  Conference papers
Ugo Dal LagoReinhard KahleIsabel Oitavem. A Recursion-Theoretic Characterization of the Probabilistic Class PP
MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. ⟨10.4230/LIPIcs.MFCS.2021.35⟩
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-03346756v1  Conference papers
Davide FreyLucie GuillouMichel RaynalFrançois Taïani. Consensus-Free Ledgers When Operations of Distinct Processes are Commutative
16th International Conference on Parallel Computing Technologies, Sep 2021, Kaliningrad, Russia. pp.359-370, ⟨10.1007/978-3-030-86359-3_27⟩
hal-03346710v1  Journal articles
Alex AuvolatDavide FreyMichel RaynalFrançois Taïani. Byzantine-Tolerant Causal Broadcast
Theoretical Computer Science, Elsevier, 2021, 885, pp.55-68. ⟨10.1016/j.tcs.2021.06.021⟩
hal-03346697v1  Conference papers
Ying ShengYoni ZoharChristophe RingeissenJane LangePascal Fontaine et al.  Politeness for the Theory of Algebraic Datatypes (Extended Abstract)
Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21, Aug 2021, Montreal, Canada. pp.4829-4833, ⟨10.24963/ijcai.2021/660⟩
hal-03346663v1  Conference papers
Ying ShengYoni ZoharChristophe RingeissenAndrew ReynoldsClark Barrett et al.  Politeness and Stable Infiniteness: Stronger Together
28th International Conference on Automated Deduction, CADE 28, Jul 2021, Pittsburgh, United States. pp.148-165, ⟨10.1007/978-3-030-79876-5_9⟩
hal-03346531v1  Conference papers
Serdar ErbaturAndrew MarshallChristophe Ringeissen. Non-disjoint Combined Unification and Closure by Equational Paramodulation
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Sep 2021, Birmingham, United Kingdom. pp.25-42, ⟨10.1007/978-3-030-86205-3_2⟩
hal-03346225v1  Conference papers
Karine AltisenStéphane DevismesAnaïs DurandColette JohnenFranck Petit. On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event, Italy. pp.21-31, ⟨10.1145/3465084.3467917⟩
hal-03346079v1  Directions of work or proceedings
Vincent Doutaut. Informatique et culture scientifique du numérique
pp.1-433, 2021
hal-03345921v1  Conference papers
Lucas BenmouffokKalpana SinghNicolas HeulotDaniel Augot. Privacy-Preserving Initial Public Offering using SCALE-MAMBA and Hyperledger Fabric
ChainTech'2021 of WETICE : the 31st IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Oct 2021, Bayonne (virtuel), France
hal-03345749v1  Journal articles
Brigitte JaumardYan WangDavid Coudert. Dantzig–Wolfe decomposition for the design of filterless optical networks
Journal of Optical Communications and Networking, Piscataway, NJ ; Washington, DC : IEEE : Optical Society of America, 2021, 13 (12), pp.10. ⟨10.1364/JOCN.424415⟩
hal-03345699v1  Conference papers
Camille BourgauxAna OzakiJeff Pan. Geometric Models for (Temporally) Attributed Description Logics
DL 2021 - 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia
lirmm-03345614v1  Conference papers
Camille BourgauxDavid CarralMarkus KrötzschSebastian RudolphMichaël Thomazo. Capturing Homomorphism-Closed Decidable Queries with Existential Rules
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. To appear
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-02383654v1  Books
Jens Gustedt. Modern C
Manning, 2019, 9781617295812
hal-03321763v1  Journal articles
Patricia BouyerLéo HenrySamy JaziriThierry JéronNicolas Markey. Diagnosing timed automata using timed markings
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2021, 23 (2), pp.229-253. ⟨10.1007/s10009-021-00606-2⟩
hal-03342394v1  Journal articles
Simone MartiniAndrea MasiniMargherita Zorzi. From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
ACM Transactions on Computational Logic, Association for Computing Machinery, 2021, 22 (3), pp.1-29. ⟨10.1145/3461661⟩
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
lirmm-03344217v1  Journal articles
Efthymia TsamouraDavid CarralEnrico MaliziaJacopo Urbani. Materializing Knowledge Bases via Trigger Graphs
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2021, 14 (6), pp.943-956. ⟨10.14778/3447689.3447699⟩
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⟩
hal-03344102v1  Conference papers
Nelly Barret. Facilitating Heterogeneous Dataset Understanding
BDA 2021 - informal publication only, Oct 2021, Paris, France
hal-03343942v1  Conference papers
Jolan PhilippeMassimo TisiHélène CoullonGerson Sunyé. Executing Certified Model Transformations on Apache Spark
14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, Illinois, United States
hal-03343739v1  Conference papers
Arash RashiA. MinasyanAlexis CaillyM. HamdiO. Redon et al.  Fast image deconvolution for enhancement of the resolution in the video rate terahertz imaging
IRMMW-THz, 46th International Conference on Infrared, Millimeter, and Terahertz Waves, Aug 2021, Beijing, China
hal-03343645v1  Conference papers
Ichrak MokhtariWalid BechkitHervé Rivano. A generic framework for monitoring pollution plumes in emergencies using UAVs
IJCNN 2021 - International Joint Conference on Neural Networks, Jul 2021, Online, United States. pp.1-9
hal-03343147v1  Journal articles
Jawher JerrayLaurent FribourgÉtienne André. An Approximation of Minimax Control using Random Sampling and Symbolic Computation
IFAC-PapersOnLine, Elsevier, 2021, Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), 54 (5), pp.265-270. ⟨10.1016/j.ifacol.2021.08.509⟩
hal-03342963v1  Conference papers
Paul TourniaireMarius IliePaul HofmanNicholas AyacheHervé Delingette. Attention-based Multiple Instance Learning with Mixed Supervision on the Camelyon16 Dataset
COMPAY 2021- 3rd MICCAI workshop on Computational Pathology, Sep 2021, Strasbourg, France
hal-03343002v1  Conference papers
Shenghao YuanJean-Pierre Talpin. Verified functional programming of an IoT operating system's bootloader
MEMOCODE 2021 - 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2021, Beijing, China. pp.1-16
hal-03342997v1  Conference papers
Lucas FranceschinoJean-Pierre TalpinDavid Pichardie. Verified Functional Programming of an Abstract Interpreter
SAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.1-20
hal-03339995v1  Journal articles
Louis DeschampsLouis DevillaineClement GaffetRaphaël LambertSaifeddine Aloui et al.  Development of a Pre-Diagnosis Tool Based on Machine Learning Algorithms on the BHK Test to Improve the Diagnosis of Dysgraphia
Advances in Artificial Intelligence and Machine Learning, In press,
hal-03342678v1  Conference papers
Romain BelafiaPierre JeanjeanOlivier BaraisGurvan Le GuernicBenoit Combemale. From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs
MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Virtual, Japan. pp.1-10
hal-03342677v1  Journal articles
Wesley WillettBon Adriel AsenieroSheelagh CarpendalePierre DragicevicYvonne Jansen et al.  Perception! Immersion! Empowerment! Superpowers as Inspiration for Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press
hal-03342467v1  Conference papers
Alain KibangouThembani MoyoWalter Musakwa. Dynamic Linear Model for Urban Essential Traffic Congestion and Emissions
CCA 2021 - Control Conference Africa, Dec 2021, Magaliesburg, South Africa. pp.1-6
hal-03342381v1  Journal articles
Gerrit HoogenboomEric JustesChristophe PradalMarie LaunaySenthold Asseng et al.  iCROPM 2020: Crop Modeling for the Future
Journal of Agricultural Science, Cambridge University Press (CUP), 2021, 158 (10), pp.791 - 793. ⟨10.1017/s0021859621000538⟩
hal-03342140v1  Journal articles
Elodie LaineStephan EismannArne ElofssonSergei Grudinin. Protein sequence-to-structure learning: Is this the end(-to-end revolution)?
Proteins - Structure, Function and Bioinformatics, Wiley, In press
hal-03341954v1  Conference papers
Noëlie DebsSergio PeignierClément DouarreThéo JourdanChristophe Rigotti et al.  Apprendre l'apprentissage automatique : un retour d'expérience
CETSIS 2021 - Colloque de l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, Jun 2021, Valenciennes, France. pp.1-5
hal-02064547v1  Conference papers
Taishi ItoHernan AguirreKiyoshi TanakaArnaud LiefoogheBilel Derbel et al.  Estimating Relevance of Variables for Effective Recombination
EMO 2019 - International Conference on Evolutionary Multi-Criterion Optimization, Mar 2019, East Lansing, Michigan, United States. pp.411-423, ⟨10.1007/978-3-030-12598-1_33⟩
hal-03341866v1  Conference papers
Benoît VerhaegheAnas ShatnawiAbderrahmane SeriaiNicolas AnquetilAnne Etien et al.  Migrating GUI behavior: from GWT to Angular
International Conference on Software Maintenance and Evolution, Sep 2021, Luxembourg city, Luxembourg
hal-03341862v1  Reports
Vincent FournetAurelie CalabreseSéverine DoursFrédéric MatontiEric Castet et al.  How to Estimate Fovea Position When The Fovea Cannot Be Identified Visually Anymore?
[Research Report] RR-9419, Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur. 2021, pp.1-45
hal-03341770v1  Book sections
Marta LazzarettiSimone RebegoldiLuca CalatroniClaudio Estatico. A Scaled and Adaptive FISTA Algorithm for Signal-Dependent Sparse Image Super-Resolution Problems
Scale Space and Variational Methods in Computer Vision LNCS conference proceedings 2021,, pp.242-253, 2021, ⟨10.1007/978-3-030-75549-2_20⟩
hal-03341735v1  Conference papers
Houékpétodji Mahugnon HonoréNicolas AnquetilStéphane DucasseFatiha DjareddirJérôme Sudich. Report From The Trenches A Case Study In Modernizing Software Development Practices
IEEE International Conference on Software Maintenance and Evolution--Industrial track, Sep 2021, Luxembourg, Luxembourg