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 |
|
Valentin GUIEN - 19 novembre 2026 09:00 - Amphi 3 - Pôle commun Détection automatique d'anomalies dans le rythme circadien d'animaux laitiers |
Dernières Publications
Guilherme D. da Fonseca, Yan Gerard - 20 août 2026
Shadoks Approach to Knapsack Polygonal Packing
Computing in Geometry and Topology
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
Valentin Guien, Violaine Antoine, Luis E C Rocha, Romain Lardy, Isabelle Veissier - 19 septembre 2027
Understanding Specific Cows’ Behavior Through Cows’ Activity
Lecture Notes in 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
Shadoks Approach to Knapsack Polygonal Packing
Computing in Geometry and Topology
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
Valentin Guien, Violaine Antoine, Luis E C Rocha, Romain Lardy, Isabelle Veissier - 19 septembre 2027
Understanding Specific Cows’ Behavior Through Cows’ Activity
Lecture Notes in 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