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-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-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-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-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-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-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-03131246v1  Journal articles
Maxime Amblard. Le problème des 8 reines
Interstices, INRIA, 2020
...
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-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⟩