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)

Soutenances de thèses

Arun RAVEENDRAN NAIR SHEELA - 13 novembre 2026 14:00 - Salle A102
Hybridization of Description Logics and Logic Programming for the Aeronautics Domain

Dernières Publications

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

Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani - 2 septembre 2026
Optimal asynchronous perpetual finite grid exploration
Theoretical Computer Science

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

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

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