Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 2020

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024


Revue internationale à comité de lecture


[hal-02388417:1]
Vanessa Antunes, Tiemi Sakata, Katti Faceli & Marcilio de Souto, Hybrid Strategy for Selecting Compact Set of Clustering Partitions, Journal of Applied Soft Computing, Springer, Vol. 87. Pp. 105971. 02. 2020. [URL]
[hal-03540633:1]
János Balogh, Cosmin Bonchiş, Diana Diniş, Gabriel Istrate & Ioan Todinca, On the heapability of finite partial orders, Discrete Mathematics and Theoretical Computer Science, Vol. 22(1), DMTCS. 2020. [URL]
[hal-03540650:1]
F. Becker, P. Montealegre, I. Rapaport & I. Todinca, The Impact of Locality in the Broadcast Congested Clique Model, SIAM Journal on Discrete Mathematics, Vol. 34(1). Pp. 682-700, Society for Industrial and Applied Mathematics. 01. 2020. [URL]
[hal-02611751:1]
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas & Pascal Lafourcade, A Faster Cryptographer's Conspiracy Santa, Theoretical Computer Science, Vol. 839. Pp. 122-134, Elsevier. 11. 2020. [URL]
[hal-02913405:1]
Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis & Nachoem Wijnberg, Rough concepts, Information Sciences, Elsevier. 07. 2020. [URL]
[hal-02990576:1]
François Dross, Florent Foucaud, Valia Mitsou, Pascal Ochem & Théo Pierron, Complexity of planar signed graph homomorphisms to cycles, Discrete Applied Mathematics, Vol. 284. Pp. 166-178, Elsevier. 09. 2020. [URL]
[hal-02913406:1]
Themba Dube, Mojtaba Ghirati, Sajad Nazari & Ali Taherifar, Rings in which idempotents generate maximal or minimal ideals, Algebra Universalis, Vol. 81(3), Springer Verlag. 05. 2020. [URL]
[hal-02178978:1]
Jérôme Durand-Lose, Jacob Hendricks, Matthew Patitz, Ian Perkins & Michael Sharp, Self-assembly of 3-D structures using 2-D folding tiles, Natural Computing, Vol. 19(2). Pp. 337-355, Springer Verlag. 2020. [URL]
[hal-02501027:1]
Saïd El Haddad, Amandine Serrano, Fréderic Moal, Thierry Normand, Chloé Robin, Stéphane Charpentier, Antoine Valery, Fabienne Brulé-Morabito, Pascal Auzou, Lucile Mollet, Canan Ozsancak & Alain Legrand, Disturbed expression of autophagy genes in blood of Parkinson 's disease patients, Gene, Vol. 738. Pp. 144454, Elsevier. 05. 2020. [URL]
[hal-03041356:1]
Florent Foucaud, Shahrzad Heydarshahi & Aline Parreau, Domination and location in twin-free digraphs, Discrete Applied Mathematics, Vol. 284. Pp. 42-52, Elsevier. 09. 2020. [URL]
[hal-02504595:1]
Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis & Nachoem M. Wijnberg, Toward a Dempster-Shafer theory of concepts, International Journal of Approximate Reasoning, Vol. 125. Pp. 14-25, Elsevier. 07. 2020. [URL]
[hal-03491633:1]
Eric Goles, Diego Maldonado, Pedro Montealegre & Nicolas Ollinger, On the complexity of the stability problem of binary freezing totalistic cellular automata, Information and Computation, Vol. 274. Pp. 104535, Elsevier. 10. 2020. [URL]
[hal-03540641:1]
P. Montealegre, S. Perez-Salazar, I. Rapaport & I. Todinca, Graph reconstruction in the congested clique, Journal of Computer and System Sciences, Vol. 113. Pp. 1-17, Elsevier. 11. 2020. [URL]
[hal-02317068:1]
Virginia Niculescu & Frédéric Loulergue, Transforming powerlist-based divide-and-conquer programs for an improved execution model, Journal of Supercomputing, Vol. 76(7). Pp. 22, Springer Verlag. 2020. [URL]


Revue nationale à comité de lecture


[hal-02570847:1]
Benjamin Nguyen & Claude Castelluccia, Techniques d'anonymisation tabulaire : concepts et mise en oeuvre, 1024 : Bulletin de la Société Informatique de France(15). Pp. 23-41, Société Informatique de France. 04. 2020. [URL]


Direction d'ouvrages scientifiques


[hal-03066031:1]
Actes des 2èmes journées scientifiques du Groupement de Recherche Linguistique Informatique Formelle et de Terrain (LIFT)., Thierry Poibeau and Yannick Parmentier and Emmanuel Schang (Ed.), CNRS. 2020. [URL]
[hal-03102811:1]
Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018, Frédéric Loulergue (Ed.), Vol. 116. Pp. 100580, Elsevier. 11. 2020. [URL]


Chapitres d'ouvrages scientifiques


[hal-04270163:1]
Frédéric Alexandre, Leila Amgoud, Christian Bessiere, Jean-François Bonnefon, Tristan Cazenave, Raja Chatila, Antoine Cornuejols, Frédéric Cuppens, Sébastien Destercke, Béatrice Daille, Didier Dubois, Jérôme Euzenat, Jean-Gabriel Ganascia, Malik Ghallab, Matthieu Geist, Andreas Herzig, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Frédéric Maris, Pierre Marquis, Nicolas Maudet, Engelbert Mephu-Nguifo, Jacques Nicolas, Catherine Pelachaud, Vianney Perchet, Henri Prade, Marie-Christine Rousset, Patrick Saint Dizier, Frédéric Saubion, Christine Solnon, Karim Tabia, Tim van de Cruys, Christel Vrain & Christian Wolf, L 'intelligence Artificielle: De quoi s 'agit-il vraiment ?, Sébastien Konieczny and Henri Prade (Ed.). Pp. 100, Cepadues. 01. 2020. [URL]
[hal-02959500:1]
Ladjel Bellatreche, Fadila Bentayeb, Mária Bieliková, Omar Boussaïd, Barbara Catania, Paolo Ceravolo, Elena Demidova, Mirian Halfeld Ferrari, Maria Teresa Gomez Lopez, Carmem Hara, Slavica Kordić, Ivan Luković, Andrea Mannocci, Paolo Manghi, Francesco Osborne, Christos Papatheodorou, Sonja Ristić, Dimitris Sacharidis, Oscar Romero, Angelo Salatino, Guilaine Talens, Maurice van Keulen, Thanasis Vergoulis & Maja Zumer, Databases and Information Systems in the AI Era: Contributions from ADBIS, TPDL and EDA 2020 Workshops and Doctoral Consortium, in ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium - International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium. Pp. 3-20. 08. 2020. [URL]
[hal-03253766:1]
Antoine Cornuéjols & Christel Vrain, Designing Algorithms for Machine Learning and Data Mining, in A Guided Tour of Artificial Intelligence Research. Pp. 339-410, Springer International Publishing. 05. 2020. [URL]
[hal-03628124:1]
Frederic Dabrowski, The Journal of Supercomputing volume~76,~page 4976 (2020). 2020. [URL]
[hal-02548212:1]
Pierre Gançarski, Thi-Bich-Hanh Dao, Bruno Crémilleux, Germain Forestier & Thomas Lampert, Constrained Clustering: Current and New Trends, in A Guided Tour of Artificial Intelligence Research, Pierre Marquis and Odile Papini and Henri Prade (Ed.), Vol. 2. Pp. 447-484, Springer. 05. 2020. [URL]
[hal-03461554:1]
Mirian Halfeld Ferrari & Carmem Hara, DOING : Intelligent Data -- From Data to Knowledge WORKSHOP in ADBIS, TPDL & EDA 2020 joint conferences, Springer Communications in Computer and Information Science 1260, Vol. 1260. 08. 2020. [URL]


Thèses et Habilitations à Diriger des Recherches


[tel-03616187:1]
Salwa Souaf, Formal Methods meet Security in a Cost Aware Cloud Brokerage Solution, Thèse de Doctorat. INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire. 12. 2020. [URL]


Communications avec actes dans un congrès international


[hal-02959502:1]
Joshua Amavi, Mirian Halfeld Ferrari & Nicolas Hiot, Natural Language Querying System Through Entity Enrichment, in ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium - International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Springer (Ed.). Lyon, France, Communications in Computer and Information Science, Vol. 1260. Pp. 36-48. 2020. [URL]
[hal-03225846:1]
Angèle Bossuat, Xavier Bultel, Pierre-Alain Fouque, Cristina Onete & Thyla van Der Merwe, Designing Reverse Firewalls for the Real World, in ESORICS 2020. Guildford, United Kingdom, Lecture notes in computer science. Pp. 193-213. 09. 2020. [URL]
[hal-02463940:1]
Gilbert Busana, Brigitte Denis, Marie Duflot-Kremer, Sarah Higuet, Lara Kataja, Yves Kreis, Christophe Laduron, Christian Meyers, Yannick Parmentier, Robert Reuter & Armin Weinberger, PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental, in Didapro 8 -- DidaSTIC -- L'informatique, objets d'enseignements -- enjeux épistémologiques, didactiques et de formation. Lille, France, Actes de la 8e édition du colloque Didapro - DidaSTIC. 02. 2020. [URL]
[hal-02956728:1]
Jacques Chabin, Cédric Eichler, Mirian Halfeld Ferrari & Nicolas Hiot, Graph Rewriting Rules for RDF Database Evolution Management, in International Conference on Information Integration and Web-based Applications & Services. Chiang Mai (On line), Thailand. 2020. [URL]
[hal-03041361:1]
Dibyayan Chakraborty, Sandip Das, Florent Foucaud, Harmender Gahlawat, Dimitri Lajou & Bodhayan Roy, Algorithms and complexity for geodetic sets on planar and chordal graphs, in 31st International Symposium on Algorithms and Computation (ISAAC 2020). Hong-Kong, Hong Kong, Leibniz International Proceedings in Informatics, Vol. 181. Pp. 7:1-15. 12. 2020. [URL]
[hal-02942694:1]
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade & Marta Soare, Secure Cumulative Reward Maximization in Linear Stochastic Bandits, in International Conference on Provable and Practical Security (ProvSec). Conférence online, Singapore. Pp. 257-277. 11. 2020. [URL]
[hal-02544920:1]
Radu Ciucanu & Pascal Lafourcade, GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation, in 34th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (also known as DBSEC). Conférence online, Germany. Pp. 347-366. 06. 2020. [URL]
[hal-02942717:1]
Radu Ciucanu & Pascal Lafourcade, Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation, in International Semantic Web Conference (ISWC) - Demo Track. Conférence online, Greece. 11. 2020. [URL]
[hal-02953292:1]
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet & Marta Soare, Secure Outsourcing of Multi-Armed Bandits, in 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020). Conférence online, China. Pp. 202-209. 12. 2020. [URL]
[hal-03041359:1]
Sanjana Dey, Florent Foucaud, Subhas C Nandy & Arunabha Sen, Discriminating Codes in Geometric Setups, in 31st International Symposium on Algorithms and Computation (ISAAC 2020). Hong-Kong, Hong Kong, Leibniz International Proceedings in Informatics, Vol. 181. Pp. 24:1-16. 12. 2020. [URL]
[halshs-02991868:1]
Laurent Feuilloley, Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport, Éric Rémila & Ioan Todinca, Compact Distributed Certification of Planar Graphs, in 39th ACM Symposium on Principles of Distributed Computing. Virtual Event Italy, Italy, PODC '20: Proceedings of the 39th Symposium on Principles of Distributed Computing. Pp. 319-328, ACM. 08. 2020. [URL]
[hal-02793880:1]
Florent Foucaud, Benjamin Gras, Anthony Perez & Florian Sikora, On the Complexity of Broadcast Domination and Multipacking in~Digraphs, in Combinatorial Algorithms - 31st International Workshop. Bordeaux, France, Combinatorial Algorithms - 31st International Workshop, {IWOCA} 2020, Vol. 12126. Pp. 264-276. 06. 2020. [URL]
[hal-03029933:1]
Sylvain Jubertie, Guillaume Quintin & Fabrice Dupros, On the usage of the Arm C Language Extensions for a High-Order Finite-Element Kernel, in EAHPC. Kobe, Japan. 09. 2020. [URL]
[cea-02879211:1]
Dara Ly, Nikolai Kosmatov, Frédéric Loulergue & Julien Signoles, Verified Runtime Assertion Checking for Memory Properties, in TAP 2020 - 14th International Conference on Tests and Proofs. Bergen, Norway, TAP 2020 - 14th International Conference on Tests and Proofs(12165), Springer. 06. 2020. [URL]
[hal-02960931:1]
Fergal Martin-Tricot, Cédric Eichler & Pascal Berthomé, An Enrolment Gateway for Data Security in Heterogeneous Industrial Internet of Things, in 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises - WETICE 2020. Bayonne (Virtual Conference), France. 2020. [URL]
[hal-03456326:1]
Ciro Medeiros, Umberto Costa, Semyon Grigorev & Martin Musicante, Recursive Expressions for SPARQL Property Paths, in ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium. Lyon, France, Communications in Computer and Information Science, Vol. 1260. Pp. 72-84, Springer International Publishing. 2020. [URL]
[hal-03456327:1]
Ciro Medeiros, Martin Musicante & Umberto Costa, An Algorithm for Context-Free Path Queries over Graph Databases, in SBLP '20: 24th Brazilian Symposium on Programming Languages. Natal, Brazil. Pp. 40-47, ACM. 10. 2020. [URL]
[hal-02944978:1]
Nguyen-Viet-Dung Nghiem, Christel Vrain, Thi-Bich-Hanh Dao & Ian Davidson, Constrained Clustering via Post-Processing, in 23rd International Conference on Discovery Science. online, Greece. 10. 2020. [URL]
[hal-02494416:1]
Virginia Niculescu, Frédéric Loulergue, Darius Bufnea & Adrian Sterca, Pattern-driven Design of a Multiparadigm Parallel Programming Framework, in 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE). Prague, Czech Republic. 2020. [URL]
[hal-02888504:1]
Yannick Parmentier, Robert Reuter, Sarah Higuet, Lara Kataja, Yves Kreis, Marie Duflot-Kremer, Christophe Laduron, Christian Meyers, Gilbert Busana, Armin Weinberger & Brigitte Denis, PIAF: Developing Computational and Algorithmic Thinking in Fundamental Education, in AACE 2020 - EdMedia + Innovate Learning. Amsterdam / Virtual, Netherlands, Proceedings of EdMedia + Innovate Learning 2020 Online, Vol. 1. Pp. 315-322, Association for the Advancement of Computing in Education (AACE), Waynesville, NC. 06. 2020. [URL]
[hal-02523135:1]
Ilaine Wang, Jean-Yves Antoine, Lotfi Abouda, Jakub Waszczuk, Aurore Pelletier & Anaïs Halftermeyer, Annoter la parole spontanée en arbres de constituants pour les besoins de l 'analyse temporelle : résultats et comparaison français parlé / français écrit, in Congrès Mondial de Linguistique Française. Montpellier, France. 07. 2020. [URL]
[hal-02523141:1]
Ilaine Wang, Aurore Pelletier, Jean-Yves Antoine & Anaïs Halftermeyer, ODIL Syntax : a Free Spontaneous Spoken French Treebank Annotated with Constituent Trees, in Language Resources and Evaluation Conference, LREC. Marseille, France, Proc. LREC'2020. 05. 2020. [URL]
[hal-02523151:1]
Jakub Waszczuk, Ilaine Wang, Jean-Yves Antoine & Anaïs Halftermeyer, Contemplata, a Free Platform for Constituency Treebank Annotation, in Language Resources and Evaluation Conference, LREC. Marseille, France. 05. 2020. [URL]


Communications avec actes dans un congrès national


[hal-02512677:2]
Antoine Boutet, Mathieu Cunche, Sébastien Gambs, Benjamin Nguyen & Antoine Laurent, DARC : Data Anonymization and Re-identification Challenge, in RESSI 2020 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information. Nouan-le-Fuzelier, France. 12. 2020. [URL]
[hal-02750222:4]
Adam Lion-Bouton, Loïc Grobol, Jean-Yves Antoine, Sylvie Billot & Anais Lefeuvre-Halftermeyer, Comment arpenter sans mètre : les scores de résolution de chaînes de coréférences sont-ils des métriques ?, in 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). 2e atelier Éthique et TRaitemeNt Automatique des Langues (ETeRNAL), Gilles Adda and Maxime Amblard and Karën Fort (Ed.). Nancy, France. Pp. 10-18, ATALA. 06. 2020. [URL]
[hal-02906925:1]
Julien Longhi, Jean-Yves Antoine, Mehdi Mirzapour, Agata Jackiewicz & Anaïs Lefeuvre-Halftermeyer, Le repérage de nominations dans les corpus textuels: de l'exploitation de l'analyse des données textuelles à l'exploration des chaînes de coréférence par le TAL, in JADT 2020 : 15es Journées internationales d'Analyse statistique des Données Textuelles. Toulouse, France. 06. 2020. [URL]
[hal-02784743:3]
Anne-Lyse Minard, Andréane Roques, Nicolas Hiot, Mirian Halfeld Ferrari & Agata Savary, DOING@DEFT : cascade de CRF pour l'annotation d'entités cliniques imbriquées, in 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). Atelier DÉfi Fouille de Textes, Rémi Cardon and Natalia Grabar and Cyril Grouin and Thierry Hamon (Ed.). Nancy, France. Pp. 66-78, ATALA. 2020. [URL]
[hal-02420844:1]
Nguyen-Viet-Dung Nghiem, Christel Vrain, Thi-Bich-Hanh Dao & Ian Davidson, Post-traitement pour la classification probabiliste non supervisée sous contraintes, in Extraction et Gestion des Connaissances, Etienne Cuvelier Antoine Cornuéjols (Ed.). Bruxelles, Belgium, Extraction et Gestion des Connaissances, EGC 2020, Brussels, Belgium, January 27-31, 2020., Vol. RNTI E-36, {\'E}ditions RNTI 2020, ISBN 979-10-96289-12-7. Pp. 169-180. 01. 2020. [URL]


Communications affichées avec actes


[hal-03553186:1]
Béatrice Markhoff, Jacques Chabin & Vivien Leonard, Interfacer un framework d 'interrogation du LOD avec un framework de validation des résultats, in JIRC 2020 (Journées Informatique en Région Centre-Val de Loire), Feb 2020, Bourges, France. Bourges, France. 02. 2020. [URL]
[hal-03547141:1]
Christian Toinard, Ethical reasoning and protocols for improving the scientific integrity, in ENRIO 2020 Congress on Research Integrity Practice. Helsinski, Finland. 2020. [URL]


Communications sans actes


[hal-04574230:1]
Nedra Amara, Olfa Lamouchi & Said Gattoufi, Design of a Breast Image Data Warehouse Framework, in 2020 International Multi-Conference on: ''Organization of Knowledge and Advanced Technologies'' (OCTA). Tunis, France. Pp. 1-13, IEEE. 02. 2020. [URL]
[hal-02870592:1]
Frederic Dabrowski, Verification of DRMA communications, in High-level Parallel Programming and Applications. Porto, Portugal. 07. 2020. [URL]


Autres Publications


[anses-04373785:1]
Luc Belzunces, Damien Bourgeois, Catherine Artigou, Alain Aymard, Nicolas Bertrand, Céline Botineau, François Clinard, Michel Guerbet, Jérôme Husson, Jean-Pierre Lepoittevin, M. Jacques Manel, Mélanie Nicolas, Odette Prat, Catherine Pecquet, Sophie Robert, Patrick Rousseaux, Jean-Marc Sapori, Christine Tournoud, Christophe Yrieix, Céline Dubois & Aurélie Mathieu-Huart, Sécurité des protections pour incontinence. Pp. 108 p.. 02. 2020. [URL]
[hal-02560325:3]
Jacques Chabin, Cédric Eichler, Mirian Halfeld-Ferrari & Nicolas Hiot, Graph Rewriting System for Consistent Evolution of RDF/S databases. 2020. [URL]
[hal-02957974:1]
Jacques Chabin, Cédric Eichler, Mirian Halfeld-Ferrari & Nicolas Hiot, Specification of side-effect management techniques for semantic graph sanitization. 2020. [URL]
[hal-02504608:1]
Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis & Nachoem M. Wijnberg, Rough concepts. 03. 2020. [URL]



2024/12/09 généré via HALLO + JabRef.