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-02410221v1  Conference papers
Guilherme AlvesMiguel CouceiroAmedeo Napoli. Sélection de mesures de similarité pour les données catégorielles
EGC 2020 - 20ème édition de la conférence Extraction et Gestion des Connaissances, Jan 2020, Bruxelles, Belgique
...
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-02784752v4  Conference papers
Maxime AmblardChuyuan LiChloé BraudCaroline DemilyNicolas Franck et al.  Investigation par méthodes d'apprentissage des spécificités langagières propres aux personnes avec schizophrénie
6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 2 : Traitement Automatique des Langues Naturelles, Jun 2020, Nancy, France. pp.12-26
...
hal-02768513v4  Conference papers
Mohamed Amine MenacerDominique FohrDenis JouvetKarima AbidiDavid Langlois et al.  Projet AMIS : résumé et traduction automatique de vidéos
6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 4 : Démonstrations et résumés d'articles internationaux, 2020, Nancy, France. pp.53-56
...
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-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-02446910v1  Journal articles
Kushal BabelVincent ChevalSteve Kremer. On the semantics of communications when verifying equivalence properties
Journal of Computer Security, IOS Press, In press, 28 (1), pp.71-127. ⟨10.3233/JCS-191366⟩
...
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
EMBC 2020 - 42nd Engineering in Medicine and Biology Conference, Jul 2020, Montréal, Canada
...
hal-02909383v2  Conference papers
Alexandre BazinMiguel CouceiroMarie-Dominique MorchAmedeo Napoli. Explaining Multicriteria Decision Making with Formal Concept Analysis
Concept Lattices and Applications 2020, Jun 2020, Tallinn, Estonia
...
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-02786181v3  Directions of work or proceedings
Christophe BenzitounChloé BraudLaurine HuberDavid LangloisSlim Ouni et al.  Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL.
Benzitoun; Christophe and Braud; Chloé and Huber; Laurine and Langlois; David and Ouni; Slim and Pogodalla; Sylvain and Schneider; Stéphane. JEP-TALN-RECITAL 2020 : 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition), Jun 2020, Nancy, France. 3, ATALA; AFCP, 2020, Volume 3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL
...
hal-02768750v2  Directions of work or proceedings
Christophe BenzitounChloé BraudLaurine HuberDavid LangloisSlim Ouni et al.  Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 4 : Démonstrations et résumés d'articles internationaux
Benzitoun; Christophe and Braud; Chloé and Huber; Laurine and Langlois; David and Ouni; Slim and Pogodalla; Sylvain and Schneider; Stéphane. JEP-TALN-RECITAL 2020, Jun 2020, Nancy, France. 4, ATALA; AFCP, 2020, Volume 4 : Démonstrations et résumés d'articles internationaux
...
hal-02784750v2  Directions of work or proceedings
Christophe BenzitounChloé BraudLaurine HuberDavid LangloisSlim Ouni et al.  Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition. Volume 2 : Traitement Automatique des Langues Naturelles
Benzitoun, Christophe; Braud, Chloé; Huber, Laurine; Langlois, David; Ouni, Slim; Pogodalla, Sylvain; Schneider, Stéphane. JEP-TALN-RECITAL 2020, Jun 2020, Nancy, France. 2, ATALA; AFCP, 2020, Volume 2 : Traitement Automatique des Langues Naturelles
...
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-02942710v1  Book sections
Lucian BezneaMadalina DeaconuOana Lupaşcu-Stamate. Scaling property for fragmentation processes related to avalanches
Applications of Mathematics and Informatics in Natural Sciences and Engineering, In press, Springer Proceedings in Mathematics & Statistics
...
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-02992599v1  Conference papers
Victor BlanchiEtienne CormanNicolas RayDmitry Sokolov. Génération de maillage quadrangulaire d'un domaine du plan via les équations de Ginzburg-Landau
Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France
...
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-03065236v1  Conference papers
Maria BoritchevPhilippe de Groote. On dialogue modeling: a dynamic epistemic inquisitive approach
LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan
...
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-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-03045666v1  Journal articles
Fabrice BoudotPierrick GaudryAurore GuillevicNadia HeningerEmmanuel Thomé et al.  Nouveaux records de factorisation et de calcul de logarithme discret
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2020, pp.17
...
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
...
tel-03184002v1  Theses
Pierre-Olivier Brissaud. Analyse de trafic HTTPS pour la supervision d'activités utilisateurs
Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0255⟩
...
hal-03080314v1  Journal articles
Olivier BuffetJilles DibangoyeAbdallah SaffidineVincent Thomas. Heuristic Search Value Iteration for zero-sum Stochastic Games
IEEE Transactions on Games, Institute of Electrical and Electronics Engineers, 2020, pp.1-10. ⟨10.1109/TG.2020.3005214⟩
...
hal-03081320v1  Conference papers
Olivier BuffetJilles DibangoyeAurélien DelageAbdallah SaffidineVincent Thomas. Sur le principe d'optimalité de Bellman pour les zs-POSG
JFPDA 2020 - Journées Francophones surla Planification, la Décision et l’Apprentissagepour la conduite de systèmes, Jun 2020, Angers (virtuel), France. pp.1-3