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 - Praneet Kumar Patra - LIMOS - 8 octobre 2026 15:00 - salle A002 Inclusive and Exclusive vertex splits to specific graph classes |
|
ALCOLOCO - Nicolas Schivre - LIMOS - 8 octobre 2026 15:25 - salle A002 Output-linear time enumeration of potential maximal cliques |
Dernières Publications
Florent Foucaud, Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale - 1 mars 2027
Metric Dimension and Geodetic Set Parameterized by Vertex Cover
Journal of Computer and System Sciences
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
François D’assise Sanou, Hamadoun Tall, Gérard Chalhoub, Tiguiane Yelemou - 15 août 2026
LoRaFlexSim: a modular simulator for large-scale LoRa/LoRaWAN network performance evaluation
Annals of Telecommunications - annales des télécommunications
Rui Ma, Yuan Zhang, Philippe Ciais, Wei Li, Jingfeng Xiao, Yingping Wang, Liyang Liu, Songyan Zhu - 29 juin 2026
Assimilation of Satellite‐Based Forest Biomass, Productivity and Leaf Area Index in a Global Land Model Incorporating Parameter Spatial Variations and Age Effects
Journal of Advances in Modeling Earth Systems
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
Metric Dimension and Geodetic Set Parameterized by Vertex Cover
Journal of Computer and System Sciences
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
François D’assise Sanou, Hamadoun Tall, Gérard Chalhoub, Tiguiane Yelemou - 15 août 2026
LoRaFlexSim: a modular simulator for large-scale LoRa/LoRaWAN network performance evaluation
Annals of Telecommunications - annales des télécommunications
Rui Ma, Yuan Zhang, Philippe Ciais, Wei Li, Jingfeng Xiao, Yingping Wang, Liyang Liu, Songyan Zhu - 29 juin 2026
Assimilation of Satellite‐Based Forest Biomass, Productivity and Leaf Area Index in a Global Land Model Incorporating Parameter Spatial Variations and Age Effects
Journal of Advances in Modeling Earth Systems
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