Présentation
Le Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) est une Unité Mixte de Recherche (UMR 6158) en informatique, et plus généralement en Sciences et Technologies de l'Information et de la Communication (STIC).
(lire la suite)Séminaires à venir
|
Eric Bourreau - LIRMM - 5 novembre 2026 13:30 - salle A002 Accélérations quantiques pour les problèmes combinatoires : du plus court chemin à l’ordonnancement en atelier |
|
Séminaires thématiques à venir
|
ALCOLOCO - Le Vu Pham - LIMOS - 22 octobre 2026 15:00 - salle A002 Full-Cover and Non-Overlapping Uni-domination in Graphs: Bounds and Complexity |
Dernières Publications
Zhifei Zheng, Sami Cherif, Matthieu Py, Rui Shibasaki, Chu-Min Li, Laurent Deroussi, Nathalie Grangeon - 1 août 2026
Balancing power with logic: Exact satisfiability-based methods for energy-aware assembly lines
Computers and Operations Research
Carlos Fernandez Hernandez, Christelle Caillouet, Alexandre Guitton, Oana Iova, Fabrice Valois - 1 octobre 2026
Closing the gap between the things network and the optimal downlink scheduler
Computer Communications
Florent Foucaud, Atrayee Majumder, Tobias Mömke, Aida Roshany-Tabrizi - 21 octobre 2026
Polynomial-time algorithms for Path Cover and Path Partition on trees and graphs of bounded treewidth
Theoretical Computer Science
Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini, Dhekra Mahmoud, Jannik Dreier, Pascal Lafourcade - 27 août 2026
Secure and verifiable coercion-resistant electronic exam
Journal of Cybersecurity
Ahmed Mahfouz, Kamal Almouh, Khouloud Samrouth, Nader Bakir, Gérard Chalhoub - 10 septembre 2026
BTFA: Behavioral Two Factor Authentication For IAM Systems
Mobile Networks and Applications
Balancing power with logic: Exact satisfiability-based methods for energy-aware assembly lines
Computers and Operations Research
Carlos Fernandez Hernandez, Christelle Caillouet, Alexandre Guitton, Oana Iova, Fabrice Valois - 1 octobre 2026
Closing the gap between the things network and the optimal downlink scheduler
Computer Communications
Florent Foucaud, Atrayee Majumder, Tobias Mömke, Aida Roshany-Tabrizi - 21 octobre 2026
Polynomial-time algorithms for Path Cover and Path Partition on trees and graphs of bounded treewidth
Theoretical Computer Science
Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini, Dhekra Mahmoud, Jannik Dreier, Pascal Lafourcade - 27 août 2026
Secure and verifiable coercion-resistant electronic exam
Journal of Cybersecurity
Ahmed Mahfouz, Kamal Almouh, Khouloud Samrouth, Nader Bakir, Gérard Chalhoub - 10 septembre 2026
BTFA: Behavioral Two Factor Authentication For IAM Systems
Mobile Networks and Applications