- Contacts/Reaching LIFO
- Teaching
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
Go to publications of year : 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
[hal-03537350:1]
A Aliabad, M Badie & Sajad Nazari, On Commutative Gelfand Rings, Journal of Mathematical Extension. 10. 2021. [URL]
[hal-03117557:1]
Victor Barella, Luís P.F. Garcia, Marcilio de Souto, Ana Lorena & André C.P.L.F. de Carvalho, Assessing the data complexity of imbalanced datasets, Information Sciences, Vol. 553. Pp. 83-109, Elsevier. 04. 2021. [URL]
[hal-03126362:1]
Florent Becker, Tom Besson, Jérôme Durand-Lose, Aurélien Emmanuel, Mohammad-Hadi Foroughmand-Araabi, Sama Goliaei & Shahrzad Heydarshahi, Abstract Geometrical Computation 10: An Intrinsically Universal Family of Signal Machines, ACM Transactions on Computation Theory, Vol. 13(1). Pp. 1-31, ACM. 2021. [URL]
[hal-03540598:1]
Florent Becker, Pedro Montealegre, Ivan Rapaport & Ioan Todinca, The role of randomness in the broadcast congested clique model, Information and Computation, Vol. 281. Pp. 104669, Elsevier. 12. 2021. [URL]
[hal-03339848:1]
Gaëtan Caillaut & Guillaume Cleuziou, Multi-instance learning of pretopological spaces to model complex propagation phenomena: Application to lexical taxonomy learning, Artificial Intelligence(301). Pp. 103556, Elsevier. 07. 2021. [URL]
[hal-03329965:1]
Jacques Chabin, Cédric Eichler, Mirian Halfeld Ferrari & Nicolas Hiot, Graph rewriting rules for RDF database evolution: optimizing side-effect processing, International Journal of Web Information Systems, Vol. 17(6), Emerald Publishing Limited. 08. 2021. [URL]
[hal-03517397:1]
Jules Chouquet & Lionel Vaux, An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets, Logical Methods in Computer Science, Vol. Volume 17, Issue 4, Logical Methods in Computer Science Association. 12. 2021. [URL]
[hal-03178944:1]
Frederic Dabrowski, On Single-Valuedness in Textually Aligned SPMD Programs, International Journal of Parallel Programming, International Journal of Parallel Programming. 05. 2021. [URL]
[hal-03266838:1]
Jérôme Durand-Lose & Aurélien Emmanuel, Abstract Geometrical Computation 11: Slanted Firing Squad Synchronisation on Signal Machines, Theoretical Computer Science, Vol. 894. Pp. 103-120, Elsevier. 2021. [URL]
[hal-03540582:1]
Laurent Feuilloley, Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport, Éric Rémila & Ioan Todinca, Compact Distributed Certification of Planar Graphs, Algorithmica, Vol. 83(7). Pp. 2215-2244, Springer Verlag. 07. 2021. [URL]
[hal-03540625:1]
Florent Foucaud, Narges Ghareghani, Aida Roshany-Tabrizi & Pouyeh Sharifani, Characterizing extremal graphs for open neighbourhood location-domination, Discrete Applied Mathematics, Vol. 302. Pp. 76-79, Elsevier. 2021. [URL]
[hal-03318912:1]
Florent Foucaud, Benjamin Gras, Anthony Perez & Florian Sikora, On the Complexity of Broadcast Domination and Multipacking in Digraphs, Algorithmica, Vol. 83(9). Pp. 2651-2677, Springer Verlag. 09. 2021. [URL]
[hal-03201544:1]
Florent Foucaud, Hervé Hocquard & Dimitri Lajou, Complexity and algorithms for injective edge-coloring in graphs, Information Processing Letters, Vol. 170. Pp. 106121, Elsevier. 09. 2021. [URL]
[hal-02925881:3]
Florent Foucaud, Hervé Hocquard, Suchismita Mishra, Narayanan Narayanan, Reza Naserasr, Eric Sopena & Petru Valicov, Exact square coloring of subcubic planar graphs, Discrete Applied Mathematics, Vol. 293. Pp. 74-89, Elsevier. 2021. [URL]
[hal-03282430:1]
Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira & Ahmed Hadj Kacem, A model transformation approach for multiscale modeling of software architectures applied to smart cities, Concurrency and Computation: Practice and Experience, Distributed Computing for Smart Networks: Recent Advances and Future Trends (DiCES‐N2019). AMMCS19. Security and Privacy in IoT Communication (IOTSEC19). SKG2019, Vol. 34(7). Pp. e6298, Wiley. 06. 2021. [URL]
[hal-03285158:1]
Jean-Charles Lamirel, Younes Gueddari, Yuqi Wang, Pascal Cuxac, Anthony Perez & Nicolas Dugué, Analysis of the dynamics and influence of the research work of Prof. Liu Zeyuan in China featuring a new hybrid approach combining community detection with topic tracking, Scientometrics, Vol. 126(7). Pp. 6273-6300, Springer Verlag. 05. 2021. [URL]
[hal-03241714:1]
Actes de l'atelier APIMU 2021 @ EIAH : Apprendre la Pensée Informatique de la Maternelle à l'Université, Julien Broisin and Christophe Declercq and Cédric Fluckiger and Yannick Parmentier and Yvan Peter and Yann Secq (Ed.). Fribourg (virtuel), Switzerland(Atelier 11), HAL. 06. 2021. [URL]
[hal-03427217:1]
Special Issue on MCU 2018, Jérôme Durand-Lose and Jarkko Kari and Sergey Verlan (Ed.), Vol. 181(2-3), Polskie Towarzystwo Matematyczne. 2021. [URL]
[hal-04270168:1]
Frédéric Alexandre, Christian Bessiere, Jean-François Bonnefon, Tristan Cazenave, Raja Chatila, Antoine Cornuejols, Frédéric Cuppens, Sébastien Destercke, Béatrice Daille, Jérôme Euzenat, Jean-Gabriel Ganascia, Malik Ghallab, Christian Wolf, Catherine Pelachaud, Nicolas Maudet, Matthieu Geist, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Pierre Marquis, Christel Vrain, Marie-Christine Rousset, Engelbert Mephu-Nguifo, Jacques Nicolas, Vianney Perchet, Philippe Dague, Patrick Saint Dizier, Frédéric Saubion, Christine Solnon & Karim Tabia, Artificial Intelligence. What is it, exactly?, Sébastien Konieczny and Henri Prade (Ed.), College Publication. 01. 2021. [URL]
[hal-03461232:1]
Mirian Halfeld Ferrari & Carmem Hara, DOING : Intelligent Data -- from data to knowledge (workshop of ADBIS 2021), Springer Communications in Computer and Information Science, Vol. 1450. Pp. 93. 08. 2021. [URL]
[hal-03261865:1]
Frédéric Loulergue & Franz Wotawa, Tests and Proofs, Lecture Notes in Computer Science(12740), Springer. 2021. [URL]
[hal-03160688:1]
Virginia Niculescu, Frédéric Loulergue & Adrian Sterca, Reflection on the Design of Parallel Programming Frameworks, in Evaluation of Novel Approaches to Software Engineering. Pp. 154-181. 02. 2021. [URL]
[tel-03256882:1]
Radu Ciucanu, Secure Outsourced Data Analytics, Université d'Orléans. Habilitation `a Diriger des Recherches. 06. 2021. [URL]
[tel-03544194:1]
Nguyen-Viet-Dung Nghiem, Clustering and knowledge integration, Thèse de Doctorat. Université d'Orléans. 12. 2021. [URL]
[hal-03626702:1]
Louis Gross, Alexis Bernard, Patrick Pineau, Alain Roques, Laura Poitou, Christelle Robinet, Mathieu Laparie, Maurane Buradino, Anne Sophie Brinquin, Fréderic Moal & Jérôme Rousselet, Automatisation du suivi de la phénologie de la processionnaire du pin, in Seconde réunion du comité technique de l'observatoire des chenilles processionnaires. Paris, France. 11. 2021. [URL]
[hal-03478246:1]
Ghada Arfaoui, Olivier Blazy, Xavier Bultel, Pierre-Alain Fouque, Thibaut Jacques, Adina Nedelcu & Cristina Onete, How to (Legally) Keep Secrets from Mobile Operators, in Computer Security - ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part I, Elisa Bertino and Haya Shulman and Michael Waidner (Ed.). Online, zz, Lecture Notes in Computer Science, Vol. 12972. Pp. 23-43, Springer. 2021. [URL]
[hal-03478247:1]
Olivier Blazy, Xavier Bultel, Pascal Lafourcade & Octavio Perez-Kempner, Generic Plaintext Equality and Inequality Proofs, in Financial Cryptography and Data Security Conference, Nikita Borisov and Claudia Díaz (Ed.). Online, zz, Lecture Notes in Computer Science, Vol. 12674. Pp. 415-435, Springer. 2021. [URL]
[hal-03537371:1]
Angèle Bossuat & Xavier Bultel, Unlinkable and Invisible $textbackslashgamma$-Sanitizable Signatures, in ACNS 2021, Applied Cryptography and Network Security. Kamakura / Virtual, Japan, Lecture Notes in Computer Science, Vol. 12726. Pp. 251-283, Springer International Publishing. 06. 2021. [URL]
[hal-03435956:1]
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin & Léo Robert, Generic Construction for Identity-based Proxy Blind Signature, in FPS 2022 : The 14th International Symposium on Foundations & Practice of Security. Paris, France, Lecture Notes in Computer Science (LNCS), Springer. 12. 2021. [URL]
[hal-03133505:1]
Jacques Chabin, Cristina Ciferri, Mirian Halfeld-Ferrari, Carmem Hara & Raqueline Penteado, Role-Based Access Control on Graph Databases, in SOFSEM 2021: Theory and Practice of Computer Science - 47th International Conference on Current Trends in Theory and Practice of Computer Science. Bolzano-Bozen, Italy. Pp. 519-534. 01. 2021. [URL]
[hal-03339875:1]
Guillaume Cleuziou & Frédéric Flouvat, Learning student program embeddings using abstract execution traces, in 14th International Conference on Educational Data Mining, Iternational Education Data Mining Society (Ed.). Paris, France, Proceedings of the 14th International Conference on Educational Data Mining. Pp. 252-262. 06. 2021. [URL]
[hal-03379720:1]
Sandrine da Col, Radu Ciucanu, Marta Soare, Nassim Bouarour & Sihem Amer-Yahia, DashBot: An ML-Guided Dashboard Generation System Authors' Copy, in 30th ACM International Conference on Information and Knowledge Management. Queensland (in line), Australia. 11. 2021. [URL]
[hal-03374493:1]
Christophe Crespelle, Benjamin Gras & Anthony Perez, Completion to Chordal Distance-Hereditary Graphs: A Quartic Vertex-Kernel, in Graph-Theoretic Concepts in Computer Science - 47th International Workshop, Graph-Theoretic Concepts in Computer Science. Varsovie, Poland, Lecture Notes in Computer Science, Vol. 12911. Pp. 156-168, Springer International Publishing. 06. 2021. [URL]
[lirmm-03328636:2]
Tom Davot, Lucas Isenmann & Jocelyn Thiebaut, On the approximation hardness of geodetic set and its variants, in COCOON 2021 - 27th International Computing and Combinatorics Conference. Tainan, Taiwan, Province Of China, LNCS, Vol. 13025. Pp. 76-88. 10. 2021. [URL]
[hal-03259515:1]
Martin Delacourt, Rice's theorem for generic limit sets of cellular automata, in AUTOMATA 2021, Alonso Castillo-Ramirez and Pierre Guillon and Kévin Perrot (Ed.). Marseille, France, 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021). 07. 2021. [URL]
[hal-03324798:1]
Maël Dumas, Anthony Perez & Ioan Todinca, A cubic vertex-kernel for Trivially Perfect Editing, in 46th International Symposium on Mathematical Foundations of Computer Science, MFCS, Filippo Bonchi and Simon J. Puglisi (Ed.). Tallinn, Estonia, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Vol. 202. Pp. 45:1-45:14, Leibniz International Proceedings in Informatics (LIPIcs). 08. 2021. [URL]
[hal-03483395:1]
Maël Dumas, Anthony Perez & Ioan Todinca, Polynomial Kernels for Strictly Chordal Edge Modification Problems, in 16th International Symposium on Parameterized and Exact Computation, IPEC, Petr A. Golovach and Meirav Zehavi (Ed.). Lisbonne (online), Portugal, 16th International Symposium on Parameterized and Exact Computation, Vol. 214. Pp. 17:1-17:16, Leibniz International Proceedings in Informatics (LIPIcs). 09. 2021. [URL]
[hal-03503664:1]
Luiz Fernandes, Marcilio de Souto & Ana Lorena, Evaluating Data Characterization Measures for Clustering Problems in Meta-learning, in Proc. of the 28th International Conference Neural Information Processing (ICONIP). Bali, Indonesia, Proc. of Neural Information Processing - 28th International Conference (ICONIP), Vol. 1. Pp. 621-632. 12. 2021. [URL]
[hal-03540673:1]
Florent Foucaud, Suchismita Mishra, Narayanan Narayanan, Reza Naserasr & Petru Valicov, Cliques in exact distance powers of graphs of given maximum degree, in LAGOS 2021 - 11th Latin and American Algorithms, Graphs and Optimisation Symposium. Sao Paulo, Brazil, Procedia Computer Science, Vol. 195. Pp. 427-436. 05. 2021. [URL]
[hal-03533606:1]
Sylvain Jubertie, Guillaume Quintin, Florent de Martin & Kenny Péou, Application of the vectorization library NSIMD to the EFISPEC3D kernel, in Fifth EAGE Workshop on High Performance Computing for Upstream. Online, France. Pp. 1-5, European Association of Geoscientists & Engineers. 09. 2021. [URL]
[hal-03512277:1]
Adriano Kultzak, Cristina Morimoto, Aurora Pozo & Marcilio de Souto, Multi-objective Clustering: A~Data-Driven Analysis of~MOCLE, MOCK and~Delta-MOCK, in Proc. of International Conference on Neural Information Processing. ICONIP 2021. Bali, Indonesia, Communications in Computer and Information Science, Vol. 1516. Pp. 46-54, Springer International Publishing. 12. 2021. [URL]
[hal-03442592:1]
Fergal Martin-Tricot, Cédric Eichler & Pascal Berthomé, Secure key distribution in heterogeneous interoperable industrial Internet of Things, in 2021 17th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). Bologna, France. Pp. 74-79, IEEE. 10. 2021. [URL]
[hal-03456325:1]
Ciro Medeiros, Umberto Costa & Martin Musicante, Standard Matching-Choice Expressions for Defining Path Queries in Graph Databases, in ADBIS 2021: New Trends in Database and Information Systems, New Trends in Database and Information Systems. Tartu, Estonia, Communications in Computer and Information Science, Vol. 1450. Pp. 97-108, Springer International Publishing. 2021. [URL]
[hal-03456323:1]
Ciro Medeiros, Martin Musicante & Mirian Halfeld-Ferrari, The Formal-Language-Constrained Graph Minimization Problem, in ADBIS 2021: New Trends in Database and Information Systems, New Trends in Database and Information Systems. Tartu, Estonia, Communications in Computer and Information Science, Vol. 1450. Pp. 139-145, Springer International Publishing. 2021. [URL]
[hal-03168420:1]
Anthony Perez, GeST: A New Image Segmentation Technique based on Graph Embedding, in VISAPP 2021. Online Streaming, France, Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Vol. 4. Pp. 245-252, SCITEPRESS - Science and Technology Publications. 02. 2021. [URL]
[hal-03197434:1]
Thibault Prouteau, Victor Connes, Nicolas Dugué, Anthony Perez, Jean-Charles Lamirel, Nathalie Camelin & Sylvain Meignier, SINr: Fast Computing of Sparse Interpretable Node Representations is not a Sin!, in Advances in Intelligent Data Analysis XIX, 19th International Symposium on Intelligent Data Analysis, IDA 2021, Advances in Intelligent Data Analysis XIX. Porto, Portugal, Lecture Notes in Computer Science(12695). Pp. 325-337, Springer, Cham. 04. 2021. [URL]
[hal-03526678:1]
Sébastien Rivault, Mostafa Bamha, Sophie Robert & Sébastien Limet, A Scalable MapReduce Similarity Join Computation Using LSH, in HLPP 2021: 14th International Symposium on High-Level Parallel Programming and Applications. Cluj-Napoca, Romania, Proceedings of the 14th international symposium on High-Level Parallel PRogramming and Applications. 2021. [URL]
[hal-03338928:1]
Salwa Souaf & Frédéric Loulergue, Experience report: Teaching code analysis and verification using Frama-C, in 1st International Workshop on Applicable Formal Methods (appFM). Beijing, China, Electronic Proceedings in Theoretical Computer Science. 11. 2021. [URL]
[hal-03251820:1]
Hério Sousa, Marcilio de Souto, Reginaldo Kuroshu & Ana Carolina Lorena, Automatic recovering the number k of clusters in the data by active query selection, in Proc. of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing. Korea, France. Pp. 1021-1029, ACM. 03. 2021. [URL]
[hal-03526611:1]
Haoran Wang, Chong Li, Thibaut Tachon, Hongxing Wang, Sheng Yang, Sébastien Limet & Sophie Robert, Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization, in European Conference on Parallel Processing EuroPar 2021, Euro-Par 2021: Parallel Processing. Lisbon, Portugal, Lecture Notes in Computer Science, Vol. 12820. Pp. 201-216, Springer International Publishing. 2021. [URL]
[hal-03049752:1]
Guillaume Cleuziou & Frédéric Flouvat, Apprentissage d'embeddings de codes pour l'enseignement de la programmation : une approche fondée sur l'analyse des traces d'exécution, in 21èmes Journées Extraction et Gestion des Connaissances (EGC 2021), RNTI (Ed.). Montpellier, France, Extraction et Gestion des connaissances (EGC). Pp. 107-118. 01. 2021. [URL]
[hal-03292743:1]
Guillaume Cleuziou, Frédéric Flouvat, Matthieu Exbrayat, Julien Robert & Romuald Thion, Apprentissage de représentations pour l'enseignement de la programmation : une approche centrée enseignant, in 10e Conférence sur les Environnements Informatiques pour l'Apprentissage Humain. Fribourg, Switzerland, Transformations dans le domaine des EIAH : innovations technologiques et d’usage(s). Pp. 58-69. 06. 2021. [URL]
[hal-03223424:1]
Loïc Grobol & Benoît Crabbé, Analyse en dépendances du français avec des plongements contextualisés, in TALN/RECITAL 2021. Lille (virtuel), France, Actes de la 28e Conférence sur le Traitement Automatique des Langues Naturelles. 06. 2021. [URL]
[hal-03265924:1]
Nicolas Hiot, Anne-Lyse Minard & Flora Badin, DOING@DEFT : utilisation de lexiques pour une classification efficace de cas cliniques, in Traitement Automatique des Langues Naturelles, Pascal Denis and Natalia Grabar and Amel Fraisse and Rémi Cardon and Bernard Jacquemin and Eric Kergosien and Antonio Balvet (Ed.). Lille, France. Pp. 41-53, ATALA. 2021. [URL]
[hal-03241686:1]
Yannick Parmentier & Sylvie Kirchmeyer, Donner du sens à l 'objet numérique dans la formation des futurtextperiodcenteredetextperiodcentereds professeurtextperiodcenteredetextperiodcentereds des écoles, in Atelier guillemotleft Apprendre la Pensée Informatique de la Maternelle à l'Université guillemotright, dans le cadre de la conférence Environnements Informatiques pour l'Apprentissage Humain (EIAH), Julien Broisin and Christophe Declercq and Cédric Fluckiger and Yannick Parmentier and Yvan Peter and Yann Secq (Ed.). Fribourg/Virtuel, Switzerland. Pp. 34-45. 06. 2021. [URL]
[hal-03539033:1]
Sara Taki, Cédric Eichler & Benjamin Nguyen, Privacy Over RDF datasets, in BDA 2021 Conference. Paris, France. 10. 2021. [URL]
[hal-03626661:1]
Marta Bílková, Sabine Frittella & Daniil Kozhemiachenko, Constraint Tableaux for Two-Dimensional Fuzzy Logics, in TABLEAUX 2021: 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Birmingham, United Kingdom, Lecture Notes in Computer Science, Vol. 12842. Pp. 20-37. 09. 2021. [URL]
[hal-03560227:1]
Cédric Eichler, Projet SENDUP : SEmantic Networks of Data: Utility and Privacy, in Journées Informatique en Région Centre-Val de Loire. Blois, France. 2021. [URL]
[hal-03739737:1]
Vincent Hugot, Adrien Jousse, Christian Toinard & Benjamin Venelle, A safe dynamic access control providing mandatory automotive cybersecurity, in 2021 International Conference on Computational Science and Computational Intelligence (CSCI). Las Vegas, United States. Pp. 848-851, IEEE. 12. 2021. [URL]
[hal-03533584:1]
Sylvain Jubertie, Kenny Peou, Guillaume Quintin & Fabrice Dupros, Portability across Arm NEON and SVE vector instruction sets using the NSIMD library: a case study on a Seismic Spectral-Element kernel, in HPCS 2020. Virtual/Online Event, Spain. 03. 2021. [URL]
[hal-03626749:1]
Jérôme Rousselet, Louis Gross, Alexis Bernard, Patrick Pineau, Fréderic Moal, Maurane Buradino & Mathieu Laparie, Phénologie de la processionnaire du pin : vers de nouveaux outils de suivi à distance et en temps réel, in Séminaire Phénologie Tempo 2021. Fontainebleau, France. 10. 2021. [URL]
[hal-03566266:1]
Sara Taki, Cédric Eichler & Benjamin Nguyen, Using projection to improve Differential Privacy on RDF graphs, in BDA 2021-37ème Conférence sur la Gestion de Données -- Principes, Technologies et Applications. Paris, France. 10. 2021. [URL]
[hal-03436421:1]
Jean-Yves Antoine, Sylvie Billot, Guillaume Cleuziou, Matthieu Exbrayat, Béatrice Bouchou Markhoff & Jean-Yves Ramel, Charte éthique et déontologique de l'ICVL : une proposition. Blois, France. 10. 2021. [URL]
[hal-03687511:1]
Marco Baldi, Jean-Christophe Deneuville, Edoardo Persichetti & Paolo Santini, Cryptanalysis of a code-based signature scheme without trapdoors. 07. 2021. [URL]
[hal-03553053:1]
Jacques Chabin, Mirian Halfeld-Ferrari, Béatrice Markhoff & Thanh Binh Nguyen, Querying Linked Data: how to ensure user's quality requirements. 07. 2021. [URL]
[hal-04006877:1]
Florence Habets, Nadia Amraoui, Dominique Thiéry, Jean-Pierre Vergnes, Thierry Morel, Patrick Le Moigne, Simon Munier, Delphine Leroux, Jean-Raynald de Dreuzy, Laurent Longuevergne, Philippe Ackerer, François Besson, Pierre Etchevers, Fabienne Rousset, Jean-Marie Willemet, Pascal Viennot & Nicolas Gallois, Plateforme de modélisation hydrogéologique nationale AQUI-FR. 05. 2021. [URL]
[hal-03276756:2]
Sébastien Rivault, Mostafa Bamha, Sébastien Limet & Sophie Robert, A Scalable MapReduce Similarity Join Algorithm Using LSH. 06. 2021. [URL]
International Refereed Journals
[hal-03537350:1]
A Aliabad, M Badie & Sajad Nazari, On Commutative Gelfand Rings, Journal of Mathematical Extension. 10. 2021. [URL]
[hal-03117557:1]
Victor Barella, Luís P.F. Garcia, Marcilio de Souto, Ana Lorena & André C.P.L.F. de Carvalho, Assessing the data complexity of imbalanced datasets, Information Sciences, Vol. 553. Pp. 83-109, Elsevier. 04. 2021. [URL]
[hal-03126362:1]
Florent Becker, Tom Besson, Jérôme Durand-Lose, Aurélien Emmanuel, Mohammad-Hadi Foroughmand-Araabi, Sama Goliaei & Shahrzad Heydarshahi, Abstract Geometrical Computation 10: An Intrinsically Universal Family of Signal Machines, ACM Transactions on Computation Theory, Vol. 13(1). Pp. 1-31, ACM. 2021. [URL]
[hal-03540598:1]
Florent Becker, Pedro Montealegre, Ivan Rapaport & Ioan Todinca, The role of randomness in the broadcast congested clique model, Information and Computation, Vol. 281. Pp. 104669, Elsevier. 12. 2021. [URL]
[hal-03339848:1]
Gaëtan Caillaut & Guillaume Cleuziou, Multi-instance learning of pretopological spaces to model complex propagation phenomena: Application to lexical taxonomy learning, Artificial Intelligence(301). Pp. 103556, Elsevier. 07. 2021. [URL]
[hal-03329965:1]
Jacques Chabin, Cédric Eichler, Mirian Halfeld Ferrari & Nicolas Hiot, Graph rewriting rules for RDF database evolution: optimizing side-effect processing, International Journal of Web Information Systems, Vol. 17(6), Emerald Publishing Limited. 08. 2021. [URL]
[hal-03517397:1]
Jules Chouquet & Lionel Vaux, An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets, Logical Methods in Computer Science, Vol. Volume 17, Issue 4, Logical Methods in Computer Science Association. 12. 2021. [URL]
[hal-03178944:1]
Frederic Dabrowski, On Single-Valuedness in Textually Aligned SPMD Programs, International Journal of Parallel Programming, International Journal of Parallel Programming. 05. 2021. [URL]
[hal-03266838:1]
Jérôme Durand-Lose & Aurélien Emmanuel, Abstract Geometrical Computation 11: Slanted Firing Squad Synchronisation on Signal Machines, Theoretical Computer Science, Vol. 894. Pp. 103-120, Elsevier. 2021. [URL]
[hal-03540582:1]
Laurent Feuilloley, Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport, Éric Rémila & Ioan Todinca, Compact Distributed Certification of Planar Graphs, Algorithmica, Vol. 83(7). Pp. 2215-2244, Springer Verlag. 07. 2021. [URL]
[hal-03540625:1]
Florent Foucaud, Narges Ghareghani, Aida Roshany-Tabrizi & Pouyeh Sharifani, Characterizing extremal graphs for open neighbourhood location-domination, Discrete Applied Mathematics, Vol. 302. Pp. 76-79, Elsevier. 2021. [URL]
[hal-03318912:1]
Florent Foucaud, Benjamin Gras, Anthony Perez & Florian Sikora, On the Complexity of Broadcast Domination and Multipacking in Digraphs, Algorithmica, Vol. 83(9). Pp. 2651-2677, Springer Verlag. 09. 2021. [URL]
[hal-03201544:1]
Florent Foucaud, Hervé Hocquard & Dimitri Lajou, Complexity and algorithms for injective edge-coloring in graphs, Information Processing Letters, Vol. 170. Pp. 106121, Elsevier. 09. 2021. [URL]
[hal-02925881:3]
Florent Foucaud, Hervé Hocquard, Suchismita Mishra, Narayanan Narayanan, Reza Naserasr, Eric Sopena & Petru Valicov, Exact square coloring of subcubic planar graphs, Discrete Applied Mathematics, Vol. 293. Pp. 74-89, Elsevier. 2021. [URL]
[hal-03282430:1]
Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira & Ahmed Hadj Kacem, A model transformation approach for multiscale modeling of software architectures applied to smart cities, Concurrency and Computation: Practice and Experience, Distributed Computing for Smart Networks: Recent Advances and Future Trends (DiCES‐N2019). AMMCS19. Security and Privacy in IoT Communication (IOTSEC19). SKG2019, Vol. 34(7). Pp. e6298, Wiley. 06. 2021. [URL]
[hal-03285158:1]
Jean-Charles Lamirel, Younes Gueddari, Yuqi Wang, Pascal Cuxac, Anthony Perez & Nicolas Dugué, Analysis of the dynamics and influence of the research work of Prof. Liu Zeyuan in China featuring a new hybrid approach combining community detection with topic tracking, Scientometrics, Vol. 126(7). Pp. 6273-6300, Springer Verlag. 05. 2021. [URL]
Books
[hal-03241714:1]
Actes de l'atelier APIMU 2021 @ EIAH : Apprendre la Pensée Informatique de la Maternelle à l'Université, Julien Broisin and Christophe Declercq and Cédric Fluckiger and Yannick Parmentier and Yvan Peter and Yann Secq (Ed.). Fribourg (virtuel), Switzerland(Atelier 11), HAL. 06. 2021. [URL]
[hal-03427217:1]
Special Issue on MCU 2018, Jérôme Durand-Lose and Jarkko Kari and Sergey Verlan (Ed.), Vol. 181(2-3), Polskie Towarzystwo Matematyczne. 2021. [URL]
Book Chapters
[hal-04270168:1]
Frédéric Alexandre, Christian Bessiere, Jean-François Bonnefon, Tristan Cazenave, Raja Chatila, Antoine Cornuejols, Frédéric Cuppens, Sébastien Destercke, Béatrice Daille, Jérôme Euzenat, Jean-Gabriel Ganascia, Malik Ghallab, Christian Wolf, Catherine Pelachaud, Nicolas Maudet, Matthieu Geist, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Pierre Marquis, Christel Vrain, Marie-Christine Rousset, Engelbert Mephu-Nguifo, Jacques Nicolas, Vianney Perchet, Philippe Dague, Patrick Saint Dizier, Frédéric Saubion, Christine Solnon & Karim Tabia, Artificial Intelligence. What is it, exactly?, Sébastien Konieczny and Henri Prade (Ed.), College Publication. 01. 2021. [URL]
[hal-03461232:1]
Mirian Halfeld Ferrari & Carmem Hara, DOING : Intelligent Data -- from data to knowledge (workshop of ADBIS 2021), Springer Communications in Computer and Information Science, Vol. 1450. Pp. 93. 08. 2021. [URL]
[hal-03261865:1]
Frédéric Loulergue & Franz Wotawa, Tests and Proofs, Lecture Notes in Computer Science(12740), Springer. 2021. [URL]
[hal-03160688:1]
Virginia Niculescu, Frédéric Loulergue & Adrian Sterca, Reflection on the Design of Parallel Programming Frameworks, in Evaluation of Novel Approaches to Software Engineering. Pp. 154-181. 02. 2021. [URL]
Thesis
[tel-03256882:1]
Radu Ciucanu, Secure Outsourced Data Analytics, Université d'Orléans. Habilitation `a Diriger des Recherches. 06. 2021. [URL]
[tel-03544194:1]
Nguyen-Viet-Dung Nghiem, Clustering and knowledge integration, Thèse de Doctorat. Université d'Orléans. 12. 2021. [URL]
Invited Papers
[hal-03626702:1]
Louis Gross, Alexis Bernard, Patrick Pineau, Alain Roques, Laura Poitou, Christelle Robinet, Mathieu Laparie, Maurane Buradino, Anne Sophie Brinquin, Fréderic Moal & Jérôme Rousselet, Automatisation du suivi de la phénologie de la processionnaire du pin, in Seconde réunion du comité technique de l'observatoire des chenilles processionnaires. Paris, France. 11. 2021. [URL]
International Conference or Workshop with Proceedings
[hal-03478246:1]
Ghada Arfaoui, Olivier Blazy, Xavier Bultel, Pierre-Alain Fouque, Thibaut Jacques, Adina Nedelcu & Cristina Onete, How to (Legally) Keep Secrets from Mobile Operators, in Computer Security - ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part I, Elisa Bertino and Haya Shulman and Michael Waidner (Ed.). Online, zz, Lecture Notes in Computer Science, Vol. 12972. Pp. 23-43, Springer. 2021. [URL]
[hal-03478247:1]
Olivier Blazy, Xavier Bultel, Pascal Lafourcade & Octavio Perez-Kempner, Generic Plaintext Equality and Inequality Proofs, in Financial Cryptography and Data Security Conference, Nikita Borisov and Claudia Díaz (Ed.). Online, zz, Lecture Notes in Computer Science, Vol. 12674. Pp. 415-435, Springer. 2021. [URL]
[hal-03537371:1]
Angèle Bossuat & Xavier Bultel, Unlinkable and Invisible $textbackslashgamma$-Sanitizable Signatures, in ACNS 2021, Applied Cryptography and Network Security. Kamakura / Virtual, Japan, Lecture Notes in Computer Science, Vol. 12726. Pp. 251-283, Springer International Publishing. 06. 2021. [URL]
[hal-03435956:1]
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin & Léo Robert, Generic Construction for Identity-based Proxy Blind Signature, in FPS 2022 : The 14th International Symposium on Foundations & Practice of Security. Paris, France, Lecture Notes in Computer Science (LNCS), Springer. 12. 2021. [URL]
[hal-03133505:1]
Jacques Chabin, Cristina Ciferri, Mirian Halfeld-Ferrari, Carmem Hara & Raqueline Penteado, Role-Based Access Control on Graph Databases, in SOFSEM 2021: Theory and Practice of Computer Science - 47th International Conference on Current Trends in Theory and Practice of Computer Science. Bolzano-Bozen, Italy. Pp. 519-534. 01. 2021. [URL]
[hal-03339875:1]
Guillaume Cleuziou & Frédéric Flouvat, Learning student program embeddings using abstract execution traces, in 14th International Conference on Educational Data Mining, Iternational Education Data Mining Society (Ed.). Paris, France, Proceedings of the 14th International Conference on Educational Data Mining. Pp. 252-262. 06. 2021. [URL]
[hal-03379720:1]
Sandrine da Col, Radu Ciucanu, Marta Soare, Nassim Bouarour & Sihem Amer-Yahia, DashBot: An ML-Guided Dashboard Generation System Authors' Copy, in 30th ACM International Conference on Information and Knowledge Management. Queensland (in line), Australia. 11. 2021. [URL]
[hal-03374493:1]
Christophe Crespelle, Benjamin Gras & Anthony Perez, Completion to Chordal Distance-Hereditary Graphs: A Quartic Vertex-Kernel, in Graph-Theoretic Concepts in Computer Science - 47th International Workshop, Graph-Theoretic Concepts in Computer Science. Varsovie, Poland, Lecture Notes in Computer Science, Vol. 12911. Pp. 156-168, Springer International Publishing. 06. 2021. [URL]
[lirmm-03328636:2]
Tom Davot, Lucas Isenmann & Jocelyn Thiebaut, On the approximation hardness of geodetic set and its variants, in COCOON 2021 - 27th International Computing and Combinatorics Conference. Tainan, Taiwan, Province Of China, LNCS, Vol. 13025. Pp. 76-88. 10. 2021. [URL]
[hal-03259515:1]
Martin Delacourt, Rice's theorem for generic limit sets of cellular automata, in AUTOMATA 2021, Alonso Castillo-Ramirez and Pierre Guillon and Kévin Perrot (Ed.). Marseille, France, 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021). 07. 2021. [URL]
[hal-03324798:1]
Maël Dumas, Anthony Perez & Ioan Todinca, A cubic vertex-kernel for Trivially Perfect Editing, in 46th International Symposium on Mathematical Foundations of Computer Science, MFCS, Filippo Bonchi and Simon J. Puglisi (Ed.). Tallinn, Estonia, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Vol. 202. Pp. 45:1-45:14, Leibniz International Proceedings in Informatics (LIPIcs). 08. 2021. [URL]
[hal-03483395:1]
Maël Dumas, Anthony Perez & Ioan Todinca, Polynomial Kernels for Strictly Chordal Edge Modification Problems, in 16th International Symposium on Parameterized and Exact Computation, IPEC, Petr A. Golovach and Meirav Zehavi (Ed.). Lisbonne (online), Portugal, 16th International Symposium on Parameterized and Exact Computation, Vol. 214. Pp. 17:1-17:16, Leibniz International Proceedings in Informatics (LIPIcs). 09. 2021. [URL]
[hal-03503664:1]
Luiz Fernandes, Marcilio de Souto & Ana Lorena, Evaluating Data Characterization Measures for Clustering Problems in Meta-learning, in Proc. of the 28th International Conference Neural Information Processing (ICONIP). Bali, Indonesia, Proc. of Neural Information Processing - 28th International Conference (ICONIP), Vol. 1. Pp. 621-632. 12. 2021. [URL]
[hal-03540673:1]
Florent Foucaud, Suchismita Mishra, Narayanan Narayanan, Reza Naserasr & Petru Valicov, Cliques in exact distance powers of graphs of given maximum degree, in LAGOS 2021 - 11th Latin and American Algorithms, Graphs and Optimisation Symposium. Sao Paulo, Brazil, Procedia Computer Science, Vol. 195. Pp. 427-436. 05. 2021. [URL]
[hal-03533606:1]
Sylvain Jubertie, Guillaume Quintin, Florent de Martin & Kenny Péou, Application of the vectorization library NSIMD to the EFISPEC3D kernel, in Fifth EAGE Workshop on High Performance Computing for Upstream. Online, France. Pp. 1-5, European Association of Geoscientists & Engineers. 09. 2021. [URL]
[hal-03512277:1]
Adriano Kultzak, Cristina Morimoto, Aurora Pozo & Marcilio de Souto, Multi-objective Clustering: A~Data-Driven Analysis of~MOCLE, MOCK and~Delta-MOCK, in Proc. of International Conference on Neural Information Processing. ICONIP 2021. Bali, Indonesia, Communications in Computer and Information Science, Vol. 1516. Pp. 46-54, Springer International Publishing. 12. 2021. [URL]
[hal-03442592:1]
Fergal Martin-Tricot, Cédric Eichler & Pascal Berthomé, Secure key distribution in heterogeneous interoperable industrial Internet of Things, in 2021 17th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). Bologna, France. Pp. 74-79, IEEE. 10. 2021. [URL]
[hal-03456325:1]
Ciro Medeiros, Umberto Costa & Martin Musicante, Standard Matching-Choice Expressions for Defining Path Queries in Graph Databases, in ADBIS 2021: New Trends in Database and Information Systems, New Trends in Database and Information Systems. Tartu, Estonia, Communications in Computer and Information Science, Vol. 1450. Pp. 97-108, Springer International Publishing. 2021. [URL]
[hal-03456323:1]
Ciro Medeiros, Martin Musicante & Mirian Halfeld-Ferrari, The Formal-Language-Constrained Graph Minimization Problem, in ADBIS 2021: New Trends in Database and Information Systems, New Trends in Database and Information Systems. Tartu, Estonia, Communications in Computer and Information Science, Vol. 1450. Pp. 139-145, Springer International Publishing. 2021. [URL]
[hal-03168420:1]
Anthony Perez, GeST: A New Image Segmentation Technique based on Graph Embedding, in VISAPP 2021. Online Streaming, France, Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Vol. 4. Pp. 245-252, SCITEPRESS - Science and Technology Publications. 02. 2021. [URL]
[hal-03197434:1]
Thibault Prouteau, Victor Connes, Nicolas Dugué, Anthony Perez, Jean-Charles Lamirel, Nathalie Camelin & Sylvain Meignier, SINr: Fast Computing of Sparse Interpretable Node Representations is not a Sin!, in Advances in Intelligent Data Analysis XIX, 19th International Symposium on Intelligent Data Analysis, IDA 2021, Advances in Intelligent Data Analysis XIX. Porto, Portugal, Lecture Notes in Computer Science(12695). Pp. 325-337, Springer, Cham. 04. 2021. [URL]
[hal-03526678:1]
Sébastien Rivault, Mostafa Bamha, Sophie Robert & Sébastien Limet, A Scalable MapReduce Similarity Join Computation Using LSH, in HLPP 2021: 14th International Symposium on High-Level Parallel Programming and Applications. Cluj-Napoca, Romania, Proceedings of the 14th international symposium on High-Level Parallel PRogramming and Applications. 2021. [URL]
[hal-03338928:1]
Salwa Souaf & Frédéric Loulergue, Experience report: Teaching code analysis and verification using Frama-C, in 1st International Workshop on Applicable Formal Methods (appFM). Beijing, China, Electronic Proceedings in Theoretical Computer Science. 11. 2021. [URL]
[hal-03251820:1]
Hério Sousa, Marcilio de Souto, Reginaldo Kuroshu & Ana Carolina Lorena, Automatic recovering the number k of clusters in the data by active query selection, in Proc. of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing. Korea, France. Pp. 1021-1029, ACM. 03. 2021. [URL]
[hal-03526611:1]
Haoran Wang, Chong Li, Thibaut Tachon, Hongxing Wang, Sheng Yang, Sébastien Limet & Sophie Robert, Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization, in European Conference on Parallel Processing EuroPar 2021, Euro-Par 2021: Parallel Processing. Lisbon, Portugal, Lecture Notes in Computer Science, Vol. 12820. Pp. 201-216, Springer International Publishing. 2021. [URL]
National Conference or Workshop with Proceedings
[hal-03049752:1]
Guillaume Cleuziou & Frédéric Flouvat, Apprentissage d'embeddings de codes pour l'enseignement de la programmation : une approche fondée sur l'analyse des traces d'exécution, in 21èmes Journées Extraction et Gestion des Connaissances (EGC 2021), RNTI (Ed.). Montpellier, France, Extraction et Gestion des connaissances (EGC). Pp. 107-118. 01. 2021. [URL]
[hal-03292743:1]
Guillaume Cleuziou, Frédéric Flouvat, Matthieu Exbrayat, Julien Robert & Romuald Thion, Apprentissage de représentations pour l'enseignement de la programmation : une approche centrée enseignant, in 10e Conférence sur les Environnements Informatiques pour l'Apprentissage Humain. Fribourg, Switzerland, Transformations dans le domaine des EIAH : innovations technologiques et d’usage(s). Pp. 58-69. 06. 2021. [URL]
[hal-03223424:1]
Loïc Grobol & Benoît Crabbé, Analyse en dépendances du français avec des plongements contextualisés, in TALN/RECITAL 2021. Lille (virtuel), France, Actes de la 28e Conférence sur le Traitement Automatique des Langues Naturelles. 06. 2021. [URL]
[hal-03265924:1]
Nicolas Hiot, Anne-Lyse Minard & Flora Badin, DOING@DEFT : utilisation de lexiques pour une classification efficace de cas cliniques, in Traitement Automatique des Langues Naturelles, Pascal Denis and Natalia Grabar and Amel Fraisse and Rémi Cardon and Bernard Jacquemin and Eric Kergosien and Antonio Balvet (Ed.). Lille, France. Pp. 41-53, ATALA. 2021. [URL]
[hal-03241686:1]
Yannick Parmentier & Sylvie Kirchmeyer, Donner du sens à l 'objet numérique dans la formation des futurtextperiodcenteredetextperiodcentereds professeurtextperiodcenteredetextperiodcentereds des écoles, in Atelier guillemotleft Apprendre la Pensée Informatique de la Maternelle à l'Université guillemotright, dans le cadre de la conférence Environnements Informatiques pour l'Apprentissage Humain (EIAH), Julien Broisin and Christophe Declercq and Cédric Fluckiger and Yannick Parmentier and Yvan Peter and Yann Secq (Ed.). Fribourg/Virtuel, Switzerland. Pp. 34-45. 06. 2021. [URL]
Poster sessions
[hal-03539033:1]
Sara Taki, Cédric Eichler & Benjamin Nguyen, Privacy Over RDF datasets, in BDA 2021 Conference. Paris, France. 10. 2021. [URL]
Unrefereed publications at Conferences or Workshops
[hal-03626661:1]
Marta Bílková, Sabine Frittella & Daniil Kozhemiachenko, Constraint Tableaux for Two-Dimensional Fuzzy Logics, in TABLEAUX 2021: 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Birmingham, United Kingdom, Lecture Notes in Computer Science, Vol. 12842. Pp. 20-37. 09. 2021. [URL]
[hal-03560227:1]
Cédric Eichler, Projet SENDUP : SEmantic Networks of Data: Utility and Privacy, in Journées Informatique en Région Centre-Val de Loire. Blois, France. 2021. [URL]
[hal-03739737:1]
Vincent Hugot, Adrien Jousse, Christian Toinard & Benjamin Venelle, A safe dynamic access control providing mandatory automotive cybersecurity, in 2021 International Conference on Computational Science and Computational Intelligence (CSCI). Las Vegas, United States. Pp. 848-851, IEEE. 12. 2021. [URL]
[hal-03533584:1]
Sylvain Jubertie, Kenny Peou, Guillaume Quintin & Fabrice Dupros, Portability across Arm NEON and SVE vector instruction sets using the NSIMD library: a case study on a Seismic Spectral-Element kernel, in HPCS 2020. Virtual/Online Event, Spain. 03. 2021. [URL]
[hal-03626749:1]
Jérôme Rousselet, Louis Gross, Alexis Bernard, Patrick Pineau, Fréderic Moal, Maurane Buradino & Mathieu Laparie, Phénologie de la processionnaire du pin : vers de nouveaux outils de suivi à distance et en temps réel, in Séminaire Phénologie Tempo 2021. Fontainebleau, France. 10. 2021. [URL]
[hal-03566266:1]
Sara Taki, Cédric Eichler & Benjamin Nguyen, Using projection to improve Differential Privacy on RDF graphs, in BDA 2021-37ème Conférence sur la Gestion de Données -- Principes, Technologies et Applications. Paris, France. 10. 2021. [URL]
Other Publications
[hal-03436421:1]
Jean-Yves Antoine, Sylvie Billot, Guillaume Cleuziou, Matthieu Exbrayat, Béatrice Bouchou Markhoff & Jean-Yves Ramel, Charte éthique et déontologique de l'ICVL : une proposition. Blois, France. 10. 2021. [URL]
[hal-03687511:1]
Marco Baldi, Jean-Christophe Deneuville, Edoardo Persichetti & Paolo Santini, Cryptanalysis of a code-based signature scheme without trapdoors. 07. 2021. [URL]
[hal-03553053:1]
Jacques Chabin, Mirian Halfeld-Ferrari, Béatrice Markhoff & Thanh Binh Nguyen, Querying Linked Data: how to ensure user's quality requirements. 07. 2021. [URL]
[hal-04006877:1]
Florence Habets, Nadia Amraoui, Dominique Thiéry, Jean-Pierre Vergnes, Thierry Morel, Patrick Le Moigne, Simon Munier, Delphine Leroux, Jean-Raynald de Dreuzy, Laurent Longuevergne, Philippe Ackerer, François Besson, Pierre Etchevers, Fabienne Rousset, Jean-Marie Willemet, Pascal Viennot & Nicolas Gallois, Plateforme de modélisation hydrogéologique nationale AQUI-FR. 05. 2021. [URL]
[hal-03276756:2]
Sébastien Rivault, Mostafa Bamha, Sébastien Limet & Sophie Robert, A Scalable MapReduce Similarity Join Algorithm Using LSH. 06. 2021. [URL]
University of Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 