Laboratoire de recherche en informatique

Présentation du laboratoire

Le LRI couvre un large spectre en recherche fondamentale et appliquée en informatique : algorithmique, science des données (apprentissage statistique, base de données, fouille de données, bio-informatique, modélisation, Big Data), vérification, sécurité et sureté du logiciel (possiblement embarqué), interaction humain-machine, calcul hautes performances, optimisation et réseaux. Le laboratoire est porteur de l'Equipex Digiscope, membre fondateur du Labex Digicosme, partenaire de l'Institut de Recherche Technologique SystemX et du pôle de compétitivité d'envergure mondiale System@tic Paris-Région, membre fondateur des Lidex CDS et ISN de l'Université Paris-Saclay, partenaire des Initiatives de Recherche Stratégique CDS-2 et Nutriperso. Son expertise de niveau international dans les sciences du numérique en fait un interlocuteur majeur des acteurs économiques nationaux et internationaux.

Les 20 dernières publications

Titre Auteurs Date de publication Source
Deeply integrating C11 code support into Isabelle/PIDE Burkhart Wolff, Frédéric Tuong 23/12/2019 Electronic Proceedings in Theoretical Computer Science, EPTCS
Anti-k-labeling of graphs Lin Chen 15/12/2019 Applied Mathematics and Computation
Multi-evaluation of pointing and application to dyspraxia evaluation Michel Beaudouin-Lafon, Yves Guiard, Julien Gori 10/12/2019 IHM 2019 - Actes de la 31e Conference Francophone sur l'Interaction Homme-Machine
Metabolic therapies inhibit tumor growth in vivo and in silico Sabine Peres 01/12/2019 Scientific Reports
Measuring semantic similarity of clinical trial outcomes using deep pre-trained language representations Sanjay Kamath 01/12/2019 Journal of Biomedical Informatics: X
Bounds on Autocorrelation Coefficients of Rudin-Shapiro Polynomials Alain Denise 01/12/2019 Analysis Mathematica
Efficient Decision Making under Uncertainty in a Power System Investment Problem O. Teytaud 01/12/2019 2019 IEEE Symposium Series on Computational Intelligence, SSCI 2019
Anomaly detection with conditional variational autoencoders Gianluca Cerminara, Adrian Alan Pol, Victor Berger 01/12/2019 Proceedings - 18th IEEE International Conference on Machine Learning and Applications, ICMLA 2019
LoRa-MAB: Toward an intelligent resource allocation approach for LoRaWAN Steven Martin, Duc Tuyen Ta 01/12/2019 2019 IEEE Global Communications Conference, GLOBECOM 2019 - Proceedings
Download and fly: An online solution for the UAV 3D trajectory planning problem in smart cities Luigi Di Puglia Pugliese 25/11/2019 DIVANet 2019 - Proceedings of the 9th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications
Learning a local symmetry with neural networks Aurélien Decelle 06/11/2019 Physical Review E
Customizations and expression breakdowns in ecosystems of communication apps Wendy E. MacKay, Carla F. Griggio, Joanna McGrenere 01/11/2019 Proceedings of the ACM on Human-Computer Interaction
Optimizing coverage of simulated driving scenarios for the autonomous vehicle Marc Schoenauer 01/11/2019 2019 8th IEEE International Conference on Connected Vehicles and Expo, ICCVE 2019 - Proceedings
A solution to the split merge problem for blockchain-based applications in ad hoc networks Steven Martin, Alexandre Laube, Khaldoun Al Agha 01/11/2019 2019 8th International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, PEMWN 2019
Rapid prototyping formal systems in MMT: 5 case studies Florian Rabe 12/10/2019 Electronic Proceedings in Theoretical Computer Science, EPTCS
Space-optimal naming in population protocols Janna Burman, Joffroy Beauquier 01/10/2019 Leibniz International Proceedings in Informatics, LIPIcs
Efficient Block replication to optimize the blockchain resources Steven Martin, Alexandre Laube, Khaldoun Al Agha, ... 01/10/2019 2019 3rd Cyber Security in Networking Conference, CSNet 2019
Knowledge based situation discovery for avionics maintenance Chantal Reynaud, Luis Palacios Medinacelli, Yue Ma 23/09/2019 K-CAP 2019 - Proceedings of the 10th International Conference on Knowledge Capture
An approach toward a prediction of the presence of asbestos in buildings based on incomplete temporal descriptions of marketed products Nathalie Pernelle, Thamer Mecharnia 23/09/2019 K-CAP 2019 - Proceedings of the 10th International Conference on Knowledge Capture
Adaptive beamforming and user association in heterogeneous cloud radio access networks: A mobility-aware performance-cost trade-off Steven Martin, Nhan Nguyen-Thanh, Lila Boukhatem, ... 04/09/2019 Computer Networks