Publications on HAL

logo de HalLIG page on the Hal archive is the portal for all LIG publications since 2009. It also contains a large part of older publications before 2009. Hal is a national open archive of publications and bibliographic notes.


The last 50 LIG publications

See all LIG publications on HAL.

2020

Journal articles

titre
Contextuality in multipartite pseudo-telepathy graph games
auteur
Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix
article
Journal of Computer and System Sciences, Elsevier, 2020, 107, pp.156-165. ⟨10.1016/j.jcss.2019.06.005⟩
Accès au bibtex
BibTex
titre
Algebraic graph rewriting with controlled embedding
auteur
Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro
article
Theoretical Computer Science, Elsevier, 2020, 802, pp.19-37. ⟨10.1016/j.tcs.2019.06.004⟩
Accès au bibtex
BibTex
titre
Ethical Teaching Analytics in a Context-Aware Classroom: A Manifesto
auteur
Romain Laurent, Dominique Vaufreydaz, Philippe Dessus
article
ERCIM News, ERCIM, 2020, pp.39-40
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02438020/file/ERCIM%20News%20No120_FC4-img.pdf BibTex
titre
Collaborative Smartphone-Based User Positioning in a Multiple-User Context Using Wireless Technologies
auteur
Viet-Cuong Ta, Trung-Kien Dao, Dominique Vaufreydaz, Eric Castelli
article
Sensors, MDPI, 2020, pp.25. ⟨10.3390/s20020405⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02435610/file/sensors-20-00405%20%281%29.pdf BibTex

Conference papers

titre
On the Optimization of Recursive Relational Queries: Application to Graph Queries
auteur
Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda
article
SIGMOD 2020 - ACM International Conference on Management of Data, Jun 2020, Portland, United States. pp.1-23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01673025/file/paper.pdf BibTex
titre
Path Planning Problems with Side Observations---When Colonels Play Hide-and-Seek
auteur
Dong Quan Vu, Patrick Loiseau, Alonso Silva, Long Tran-Thanh
article
AAAI 2020 - Thirty-Fourth AAAI Conference on Artificial Intelligence, Feb 2020, New-York, United States. pp.1-15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02375789/file/Vu-etal_SOPPP_AAAI2020-full.pdf BibTex
titre
Review of Quantitative Empirical Evaluations of Technology for People with Visual Impairments
auteur
Emeline Brulé, Brianna Tomlinson, Oussama Metatla, Christophe Jouffrais, Marcos Serrano
article
CHI 2020, 2020, Honolulu, United States. ⟨10.1145/3313831.3376749⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02437881/file/Survey_of_evaluation_approaches_AT_for_visually_impaired_people%284%29.pdf BibTex

Software

titre
StarPU
auteur
Simon Archipoff, Cédric Augonnet, Olivier Aumage, Guillaume Beauchamp, Bérenger Bramas, Alfredo Buttari, Adrien Cassagne, Jérôme Clet-Ortega, Terry Cojean, Nicolas Collin, Vincent Danjean, Alexandre Denis, Lionel Eyraud-Dubois, Nathalie Furmento, Sylvain Henry, Andra Hugo, Mehdi Juhoor, Alexis Juven, Maël Keryell-Even, Yanis Khorsi, Thibaut Lambert, Erwan Leria, Benoît Lizé, Mariem Makni, Stojce Nakov, Raymond Namyst, Leandro Nesi Lucas, Joris Pablo, Damien Pasqualinotto, Samuel Pitoiset, Nguyen Quôc-Dinh, Cyril Roelandt, Chiheb Sakka, Corentin Salingue, Mello Schnorr Lucas, Marc Sergent, Anthony Simonet, Luka Stanisic, Subervie Bérangère, François Tessier, Samuel Thibault, Videau Brice, Leo Villeveygoux, Pierre-André Wacrenier
article
2020, ⟨swh:1:dir:b6e19d99449a78805e7a55a341fbaba2bc431973⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02443512/file/starpu-1.3.3.zip BibTex

Preprints, Working Papers, ...

titre
Work Stealing Simulator
auteur
Mohammed Khatiri, Denis Trystram, Frédéric Wagner
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02444049/file/1910.02803.pdf BibTex
titre
Scheduling on Two Types of Resources: a Survey
auteur
Clement Mommessin, Olivier Beaumont, Louis-Claude Canon, Lionel Eyraud-Dubois, Giorgio Lucarelli, Loris Marchal, Bertrand Simon, Denis Trystram
article
2020
Accès au bibtex
https://arxiv.org/pdf/1909.11365 BibTex
titre
On Monographs, Monadic Many-Sorted Algebras and Graph Structures
auteur
Thierry Boy de la Tour
article
2020
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-02428793/file/hal.pdf BibTex

2019

Journal articles

titre
L’adaptation pour une persuasion durable
auteur
Anthony Foulonneau, Eric Villain, Gaëlle Calvary
article
Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2019, 8 (1), pp.83-103
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02429288/file/jips%20-%20TILT.pdf BibTex
titre
Building a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of Non-Affine Programs Scalable
auteur
Manuel Selva, Fabian Gruber, Diogo Sampaio, Christophe Guillon, Louis-Noël Pouchet, Fabrice Rastello
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 16 (4), pp.1-26. ⟨10.1145/3363785⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02418987/file/taco-hal.pdf BibTex
titre
Fuzzy4U : un moteur d’adaptation en logique floue pour l’accessibilité des interfaces utilisateurs
auteur
Tanguy Giuffrida, Eric Céret, Sophie Dupuy-Chessa, Jean-Philippe Poli
article
Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2019, Volume 8, Issue 1, Special issue : the best of IHM'2018 (1), pp.27-59
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02390539/file/JIPS19_Fuzzy4U_avec%20photos%281%29.pdf BibTex
titre
Graph Generators: State of the Art and Open Challenges
auteur
Angela Bonifati, Irena Holubovà, Arnau Prat-Pérez
article
ACM Computing Surveys, Association for Computing Machinery, In press
Accès au bibtex
BibTex
titre
A trichotomy for regular simple path queries on graphs
auteur
Guillaume Bagan, Angela Bonifati, Benoit Groz
article
Journal of Computer and System Sciences, Elsevier, In press, 108, pp.29-48. ⟨10.1016/j.jcss.2019.08.006⟩
Accès au bibtex
BibTex
titre
Reply: Limitations in the creation of an automatic diagnosis tool for dysgraphia
auteur
Thibault Asselborn, Thomas Gargot, Łukasz Kidziński, Wafa Johal, David Cohen, Caroline Jolly, Pierre Dillenbourg
article
npj Digital Medicine, Nature Research 2019, 2 (1), ⟨10.1038/s41746-019-0115-z⟩
Accès au bibtex
BibTex
titre
Le contexte persuasif
auteur
Anthony Foulonneau, Gaëlle Calvary, Eric Villain
article
Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2019, 8 (1), pp.38-57
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02428822/file/jips%20-%20Le%20contexte%20persuasif.pdf BibTex
titre
A context-aware recommendation-based system for service composition in smart environments
auteur
Soufiane Faieq, Agnès Front, Rajaa Saidi, Hamid El Ghazi, Moulay Driss Rahmani
article
Service Oriented Computing and Applications, Springer, 2019, ⟨10.1007/s11761-019-00277-7⟩
Accès au bibtex
BibTex
titre
A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models
auteur
Francisco Durán, Camilo Rocha, Gwen Salaün
article
Science of Computer Programming, Elsevier, 2019, 183, pp.1-32. ⟨10.1016/j.scico.2019.102303⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02345895/file/main.pdf BibTex
titre
What can millions of laboratory test results tell us about the temporal aspect of data quality? Study of data spanning 17 years in a clinical data warehouse
auteur
Vincent Looten, Liliane Kong Win Chang, Antoine Neuraz, Marie-Anne Landau-Loriot, Benoit Vedie, Jean-Louis Paul, Laetitia Mauge, Nadia Rivet, Angela Bonifati, Gilles Chatellier, Anita Burgun, Bastien Rance
article
Computer Methods and Programs in Biomedicine, Elsevier, 2019, 181, pp.1-20. ⟨10.1016/j.cmpb.2018.12.030⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01978796/file/BioQuality_preprint.pdf BibTex
titre
Should one use term proximity or multi-word terms for Arabic information retrieval?
auteur
Abdelkader El Mahdaouy, Éric Gaussier, Saïd Ouatik El Alaoui
article
Computer Speech and Language, Elsevier, 2019, 58, pp.76-97. ⟨10.1016/j.csl.2019.04.002⟩
Accès au bibtex
BibTex
titre
A survey of challenges for runtime verification from advanced application domains (beyond software)
auteur
César Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o Lourenço, Dejan Nickovic, Gordon Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
article
Formal Methods in System Design, Springer Verlag, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02433558/file/fmsd8.pdf BibTex
titre
A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions
auteur
Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler, Imen Grida Ben Yahia
article
IEEE Transactions on Network and Service Management, IEEE, 2019, pp.1-15. ⟨10.1109/TNSM.2019.2948420⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02370378/file/survey_TNSM.pdf BibTex
titre
An Ideal Testbed for Planet–Disk Interaction: Two Giant Protoplanets in Resonance Shaping the PDS 70 Protoplanetary Disk
auteur
Jaehan Bae, Zhaohuan Zhu, Clément Baruteau, Myriam Benisty, Cornelis Dullemond, Stefano Facchini, Andrea Isella, Miriam Keppler, Laura Perez, Richard Teague
article
The Astrophysical journal letters, Bristol : IOP Publishing, 2019, 884 (2), pp.L41. ⟨10.3847/2041-8213/ab46b0⟩
Accès au bibtex
BibTex
titre
Smart Detection: An Online Approach for DoS/DDoS Attack Detection Using Machine Learning
auteur
Francisco Sales De Lima Filho, Frederico Silveira, Agostinho de Medeiros Brito Junior, Genoveva Vargas-Solar, Luiz Silveira
article
Security and communication networks, John Wiley & Sons, Ltd, 2019, 2019, pp.1-15. ⟨10.1155/2019/1574749⟩
Accès au bibtex
BibTex
titre
Le sens des mots. L'Europe dans le vocabulaire de Jacques Chirac
auteur
Dominique Labbé, Cyril Labbé
article
Documents Numériques, 2019, 22 (1-2), pp.31-61
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-02299918/file/LabbeLabbeChiracEurope.pdf BibTex
titre
ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in Multicores
auteur
Athena Abdi, Alain Girault, Hamid Zarandi
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, 30 (10), pp.2193-2210. ⟨10.1109/TPDS.2019.2906172⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02400019/file/main.pdf BibTex
titre
Decoding human fetal liver haematopoiesis
auteur
Dorin-Mirel Popescu, Rachel Botting, Emily Stephenson, Kile Green, Simone Webb, Laura Jardine, Emily Calderbank, Krzysztof Polanski, Issac Goh, Mirjana Efremova, Meghan Acres, Daniel Maunder, Peter Vegh, Yorick Gitton, Jong-Eun Park, Roser Vento-Tormo, Zhichao Miao, David Dixon, Rachel Rowell, David Mcdonald, James Fletcher, Elizabeth Poyner, Gary Reynolds, Michael Mather, Corina Moldovan, Lira Mamanova, Frankie Greig, Matthew Young, Kerstin Meyer, Steven Lisgo, Jaume Bacardit, Andrew Fuller, Ben Millar, Barbara Innes, Susan Lindsay, Michael Stubbington, Monika Kowalczyk, Bo Li, Orr Ashenberg, Marcin Tabaka, Danielle Dionne, Timothy Tickle, Michal Slyper, Orit Rozenblatt-Rosen, Andrew Filby, Peter Carey, Alexandra-Chloé Villani, Anindita Roy, Aviv Regev, Alain Chédotal, Irene Roberts, Berthold Göttgens, Sam Behjati, Elisa Laurenti, Sarah Teichmann, Muzlifah Haniffa
article
Nature, Nature Publishing Group, 2019, 574 (7778), pp.365-371. ⟨10.1038/s41586-019-1652-y⟩
Accès au bibtex
BibTex
titre
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
auteur
Antoine El-Hokayem, Yliès Falcone
article
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02283429/file/tosem-author.pdf BibTex
titre
Primal–Dual and Dual-Fitting Analysis of Online Scheduling Algorithms for Generalized Flow-Time Problems
auteur
Spyros Angelopoulos, Giorgio Lucarelli, Thang Nguyen Kim
article
Algorithmica, Springer Verlag, 2019, 81 (9), pp.3391-3421. ⟨10.1007/s00453-019-00583-8⟩
Accès au bibtex
BibTex
titre
KnobSlider: Design of a Shape-Changing Parameter Control UI and Study of User Preferences on Its Speed and Tangibility
auteur
Hyunyoung Kim, Céline Coutrix, Anne Roudaut
article
Frontiers in Robotics and AI, Frontiers Media S.A., 2019, 6, ⟨10.3389/frobt.2019.00079⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02413591/file/Frontiers19-KnobSlider-Kim.pdf BibTex
titre
Viability-Based Guaranteed Safe Robot Navigation
auteur
Mohamed Bouguerra, Thierry Fraichard, Mohamed Fezari
article
Journal of Intelligent and Robotic Systems, Springer Verlag, 2019, 95 (2), pp.459-471. ⟨10.1007/s10846-018-0955-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01924855/file/18-jirs-bouguerra-etal-author.pdf BibTex
titre
The Application of Ontologies in Multi-Agent Systems in the Energy Sector: A Scoping Review
auteur
Zheng Ma, Mette Jessen Schultz, Kristoffer Christensen, Magnus Vaerbak, Yves Demazeau, Bo Jørgensen
article
Energies, MDPI, 2019, 12 (16), pp.3200. ⟨10.3390/en12163200⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02268957/file/energies-12-03200-v2.pdf BibTex
titre
HyperPNN: Hyperspectral Pansharpening via Spectrally Predictive Convolutional Neural Networks
auteur
Lin He, Jiawei Zhu, Jun Li, Antonio Plaza, Jocelyn Chanussot, Bo Li
article
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, IEEE, 2019, 12 (8), pp.3092-3100. ⟨10.1109/JSTARS.2019.2917584⟩
Accès au bibtex
BibTex
titre
Scalable Interactive Dynamic Graph Clustering on Multicore CPUs
auteur
Son Mai, Sihem Amer-Yahia, Ira Assent, Mathias Skovgaard Birk, Martin Storgaard Dieu, Jon Jacobsen, Jesper Kristensen
article
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, 2019, 31 (7), pp.1239-1252. ⟨10.1109/TKDE.2018.2828086⟩
Accès au bibtex
BibTex
titre
Making emergency calls more accessible to older adults through a hands-free speech interface in the house
auteur
Michel Vacher, Frédéric Aman, Solange Rossato, François Portet, B Lecouteux
article
ACM Transactions on Accessible Computing , ACM New York, NY, USA 2019, 12 (2), pp.8:1-8:25. ⟨10.1145/3310132⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02009828/file/2019_TACCESS_Vacher_DRAFT.pdf BibTex
titre
Learners’ agency and CSCL technologies: towards an emancipatory perspective
auteur
Pierre Tchounikine
article
International Journal of Computer-Supported Collaborative Learning, Springer Verlag, 2019, 14 (2), pp.237-250. ⟨10.1007/s11412-019-09302-5⟩
Accès au bibtex
BibTex
titre
A Decision-Making approach where Argumentation added value tackles Social Choice deficiencies
auteur
Pierre Bisquert, Madalina Croitoru, Christos Kaklamanis, Nikos Karanikolas
article
Progress in Artificial Intelligence, Springer, 2019, 8 (2), pp.229-239. ⟨10.1007/s13748-019-00173-3⟩
Accès au bibtex
BibTex
titre
Interactive Mapping Specification with Exemplar Tuples
auteur
Angela Bonifati, Ugo Comignani, Emmanuel Coquery, Romuald Thion
article
ACM Transactions on Database Systems, Association for Computing Machinery, 2019, 44 (3), pp.44
Accès au bibtex
BibTex
titre
Exercise-based games interventions at home in individuals with a neurological disease: A systematic review and meta-analysis
auteur
Anaïck Perrochon, Benoit Borel, Dan Istrate, Maxence Compagnat, Jean-Christophe Daviet
article
Annals of Physical and Rehabilitation Medicine, Elsevier Masson, 2019, ⟨10.1016/j.rehab.2019.04.004⟩
Accès au bibtex
BibTex
titre
Exercise-based games interventions at home in individuals with a neurological disease: A systematic review and meta-analysis
auteur
Courtney Wilkinson-Maitland, Alan Hamilton, Jean Bourbeau, Hélène Perrault, Dennis Jensen, François Maltais, Thierry Weissland, Arnaud Faupin, Pierre-Marie Leprêtre, Jeremy Coquart, Alain Duhamel, Régis Matran, Pascal Delsart, Claire Mounier-Vehier, Murielle Garcin, Anaïck Perrochon, Benoit Borel, Dan Istrate, Maxence Compagnat, Jean-Christophe Daviet
article
Annals of Physical and Rehabilitation Medicine, Elsevier Masson, 2019, 57 (1-2), pp.138-143. ⟨10.1016/j.rehab.2019.04.004⟩
Accès au bibtex
BibTex
titre
OntoSIDES: Ontology-based student progress monitoring on the national evaluation system of French Medical Schools
auteur
Olivier Palombi, Fabrice Jouanot, Nafissetou Nziengam, Behrooz Omidvar-Tehrani, Marie-Christine Rousset, Adam Sanchez
article
Artificial Intelligence in Medicine, Elsevier, 2019, 96, pp.59-67. ⟨10.1016/j.artmed.2019.03.006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02089318/file/OntoSidesRevision.pdf BibTex
titre
Coupled Ensembles of Neural Networks
auteur
Anuvabh Dutt, Georges Quénot, Denis Pellerin
article
Neurocomputing, Elsevier, 2019, ⟨10.1016/j.neucom.2018.10.092⟩
Accès au bibtex
BibTex
titre
Modeling High-throughput Applications for in situ Analytics
auteur
Guillaume Aupy, Brice Goglin, Valentin Honoré, Bruno Raffin
article
International Journal of High Performance Computing Applications, SAGE Publications, In press, 33 (6), pp.1185-1200. ⟨10.1177/1094342019847263⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02091340/file/paper.pdf BibTex
titre
Nested-unit Petri nets
auteur
Hubert Garavel
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, 104, pp.60-85. ⟨10.1016/j.jlamp.2018.11.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02072190/file/Garavel-19.pdf BibTex
titre
Pansharpening via Detail Injection Based Convolutional Neural Networks
auteur
Lin He, Yizhou Rao, Jun Li, Jocelyn Chanussot, Antonio Plaza, Jiawei Zhu, Bo Li
article
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, IEEE, 2019, 12 (4), pp.1188-1204. ⟨10.1109/JSTARS.2019.2898574⟩
Accès au bibtex
BibTex
titre
User group analytics: hypothesis generation and exploratory analysis of user data
auteur
Behrooz Omidvar-Tehrani, Sihem Amer-Yahia, Ria Mae Borromeo
article
The VLDB Journal, Springer, 2019, 28 (2), pp.243-266. ⟨10.1007/s00778-018-0527-4⟩
Accès au bibtex
BibTex
titre
Lock–Unlock: Is That All? A Pragmatic Analysis of Locking in Software Systems
auteur
Rachid Guerraoui, Hugo Guiroux, Renaud Lachaize, Vivien Quéma, Vasileios Trigonakis
article
ACM Transactions on Computer Systems, Association for Computing Machinery, 2019, 36 (1), pp.1-149. ⟨10.1145/3301501⟩
Accès au bibtex
BibTex
titre
Multi-Level Elasticity for Data Stream Processing
auteur
Vania Marangozova-Martin, Ahmed El Rheddane, Noel de Palma
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, pp.1-12. ⟨10.1109/TPDS.2019.2907950⟩
Accès au bibtex
BibTex