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)

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

Xavier Boucher, Sébastien Saetta, Cemre Gunes Şengül-Vautier, Johanna Clerc, Magali Coldefy, Loïc Rohr, Yvonne Quenum, Eric Fakra - 17 septembre 2026
Reducing seclusion and mechanical restraint: a systemic and decision-oriented framework for mental health services
Mental Health Review Journal

Antoine Dailly, Harmender Gahlawat, Zin Mar Myint - 15 octobre 2026
The Closed Geodetic Game: algorithms and strategies
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

Guilherme D. da Fonseca, Yan Gerard - 20 août 2026
Shadoks Approach to Knapsack Polygonal Packing
Computing in Geometry and Topology