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
Antoine Dailly, Harmender Gahlawat, Zin Mar Myint - 15 octobre 2026
The Closed Geodetic Game: algorithms and strategies
Theoretical Computer Science
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani - 2 septembre 2026
Optimal asynchronous perpetual finite grid exploration
Theoretical Computer Science
Florent Foucaud, Arti Pandey, Kaustav Paul - 15 août 2026
Characterizing optimal monitoring edge-geodetic sets for some structured graph classes
Discrete Applied Mathematics
Ali Abbassi, Yann Dujardin, Eric Gourdin, Philippe Lacomme, Caroline Prodhon - 12 octobre 2026
Fixed-qubit CVaR-VQE and quantum-inspired QUBO sampling for static and dynamic restricted vertex multicut in telecom resilience
Scientific Reports
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
The Closed Geodetic Game: algorithms and strategies
Theoretical Computer Science
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani - 2 septembre 2026
Optimal asynchronous perpetual finite grid exploration
Theoretical Computer Science
Florent Foucaud, Arti Pandey, Kaustav Paul - 15 août 2026
Characterizing optimal monitoring edge-geodetic sets for some structured graph classes
Discrete Applied Mathematics
Ali Abbassi, Yann Dujardin, Eric Gourdin, Philippe Lacomme, Caroline Prodhon - 12 octobre 2026
Fixed-qubit CVaR-VQE and quantum-inspired QUBO sampling for static and dynamic restricted vertex multicut in telecom resilience
Scientific Reports
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