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-02974993v1  Conference papers
José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien Koutsos et al.  The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
SP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
...
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-03131246v1  Journal articles
Maxime Amblard. Le problème des 8 reines
Interstices, INRIA, 2020
...
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-02498022v1  Journal articles
Étienne AndréDidier LimeNicolas Markey. Language Preservation Problems in Parametric Timed Automata
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (1), ⟨10.23638/LMCS-16⟩
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-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-03076311v1  Conference papers
William BabonnaudPhilippe de Groote. Lexical selection, coercion, and record types
LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan
hal-01597114v1  Journal articles
Miriam BackensSimon PerdrixQuanlong Wang. Towards a Minimal Stabilizer ZX-calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, In press, ⟨10.23638/LMCS-16(4:19)2020⟩
...
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-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-03080234v1  Directions of work or proceedings
John Christopher BeckOlivier BuffetJörg HoffmannErez KarpasShirin Sohrabi. Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020.
ICAPS 2020 - the Thirtieth International Conference on Automated Planning and Scheduling, Oct 2020, 30, 2020, 978-1-57735-824-4
...
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