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 thématiques à venir
|
ALCOLOCO - Benjamin Bergougnoux - LIS, Marseille - 4 juin 2026 15:00 - A113 Neighborhood operator logics: efficient model checking in terms of width parameters |
Dernières Publications
Dipayan Chakraborty, Florent Foucaud, Michael Antony Henning, Tero Laihonen - 13 mars 2026
A note on partitioning the vertex set of a graph into a dominating set and a locating dominating set
The Electronic Journal of Combinatorics
Hassan Maatouk, Didier Rullière, Xavier Bay - 19 mars 2026
Truncated multivariate normal distribution under linear and nonlinear constraints
Technometrics
Sandip Das, Florent Foucaud, Sk Samim Islam, Joydeep Mukherjee - 15 juin 2026
Relation between broadcast domination and multipacking numbers on chordal and other hyperbolic graphs
Discrete Applied Mathematics
Ali Abbassi, Yann Dujardin, Eric Gourdin, Philippe Lacomme, Caroline Prodhon - 14 janvier 2026
Assessing Quantum Annealing to solve the Minimum vertex multicut
Psykhe (Santiago)
Anthony Bertrand, Engelbert Mephu Nguifo, Violaine Antoine, David Hill - 2 avril 2026
A K-Means, Ward and DBSCAN Repeatability Study
Cloud Computing and Data Science
A note on partitioning the vertex set of a graph into a dominating set and a locating dominating set
The Electronic Journal of Combinatorics
Hassan Maatouk, Didier Rullière, Xavier Bay - 19 mars 2026
Truncated multivariate normal distribution under linear and nonlinear constraints
Technometrics
Sandip Das, Florent Foucaud, Sk Samim Islam, Joydeep Mukherjee - 15 juin 2026
Relation between broadcast domination and multipacking numbers on chordal and other hyperbolic graphs
Discrete Applied Mathematics
Ali Abbassi, Yann Dujardin, Eric Gourdin, Philippe Lacomme, Caroline Prodhon - 14 janvier 2026
Assessing Quantum Annealing to solve the Minimum vertex multicut
Psykhe (Santiago)
Anthony Bertrand, Engelbert Mephu Nguifo, Violaine Antoine, David Hill - 2 avril 2026
A K-Means, Ward and DBSCAN Repeatability Study
Cloud Computing and Data Science