Mathieu Liedloff

Professeur des Universités ·  LIFO  ·  Université d'Orléans
mathieu.liedloff [at] univ-orleans [dot] fr

LIFO - Bâtiment 3IA
rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2 (FRANCE)
téléphone: (+33) 2 38 49 25 82

Enseignant-chercheur en informatique à l'université d'Orléans, je suis membre du pôle informatique de l' UFR Sciences et Techniques et du Laboratoire d'Informatique Fondamentale d'Orléans. Je suis également membre du Conseil Régional du Numérique. Mon domaine de recherche est l'algorithmique, particulièrement pour les problèmes NP-difficiles de graphes et d'ordonnancement. J'enseigne dans toutes les formations où mes compétences sont appréciées :)


Mon parcours

Enseignant - Chercheur

Université d'Orléans
Depuis septembre 2022, je suis Professeur des Universités à l'U.F.R. Sciences et Techniques de l'Université d'Orléans (section CNU 27). De septembre 2008 à août 2022, j'étais Maître de conférences dans cette même U.F.R.
J'effectue mes activités de recherche au Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), je suis membre de l'équipe GAMoC, et Habilité à Diriger des Recherche depuis 2015. Je suis également membre de la fédération de recherche Informatique-Centre Val de Loire et du GDR Informatique Mathématique.

Principales responsabilités :

Septembre 2008 - maintenant

Délégation CNRS

Laboratoire d'informatique, de robotique et de microélectronique de Montpellier
Accueilli dans l'équipe de recherche AlGCo (Algorithmes, Graphes et Combinatoire) du laboratoire CNRS LIRMM de Montpellier.
Février 2015 - Août 2015

Attaché Temporaire d'Enseignement et de Rercherche

Université de Metz
Chargé d'enseignements au département d'informatique de l'UFR MIM et chercheur au laboratoire LITA.
Octobre 2007 - Août 2008

Doctorant et Moniteur en informatique

Université de Metz

Préparation d'un doctorat en informatique (soutenu en 2007) au laboratoire LITA et chargé d'enseignements à l'UFR MIM de l'université de Metz (devenue l'Université de Lorraine).

Octobre 2004 - Septembre 2007

Mes études

en Lorraine (Forbach, Metz, Nancy)

Mon parcours scolaire en quelques mots : après l'obtention d'un Bac Scientifique, j'ai obtenu un DEUG MIAS Mathématiques, Informatique Applications aux Sciences (=L1+L2 de maths-info), une Licence d'Informatique (=L3), une Maîtrise d'informatique (=M1), puis un DEA d'informatique (=M2).

Dans une vie antérieure ...

Activités d'enseignement

L'essentiel de mes enseignements s'adresse à des étudiants de Licence et de Master informatique de l'université d'Orléans. J'assure ou j'ai également assuré des enseignements à des étudiants de gestion, de DUT, de mécanique-électronique, ainsi qu'à des étudiants de Master et Doctorat pour la graduate school GSON. Je suis aussi intervenu dans le DIU Enseigner l'Informatique au Lycée afin de former les enseignants de NSI.

Mes expériences :

  • Algorithmique
    • initiation (L1)
    • graphes et structures de données (L2, DUT 1)
    • paradigmes classiques (L3, M1)
    • avancée, approximation, probabiliste (M1, M2)
  • Programmation
    • impérative (L1, L3)
    • fonctionnelle (L2)
    • objet (L3)
  • Réseaux, Sécurité, Cryptographie (L3, M1)
  • Recherche Opérationnelle (L3)
  • Calculabilité et Complexité (M1)
  • Base de Données (M1, M2)
vidéo de cours
Etudiants: consultez Celene pour les supports
de cours, TD, TP et matériel complémentaire.

Activités de recherche

Algorithmicien, je suis spécialisé dans la conception et l'analyse des algorithmes.

Certains problèmes s'avèrent plus difficiles à résoudre que d'autres. C'est notamment le cas des problèmes NP-difficiles pour lesquels aucune méthode algorithmique efficace n'est connue à ce jour. Pour autant, ces problèmes existent et sont même assez courants ! Il est important de (savoir) les identifier pour ensuite s'orienter vers les bonnes approches algorithmiques. Je m'intéresse plus particulièrement aux problèmes NP-difficiles de graphes et d'ordonnancement. Ces modèles, très généraux, ont l'avantage d'offrir un cadre pour la modélisation de nombreux problèmes.

Vous avez un problème ? J'ai (peut-être) la solution !
Derrière cette phrase d'accroche prétentieuse, se cache la recherche en informatique. Peut-être que des pistes ont déjà été explorées ou que la construction d'un algorithme demandera un temps de recherche et fera avancer la science.

Mon activité de recherche consiste donc à trouver des méthodes algorithmiques, les plus efficaces possibles, pour résoudre des problèmes. L'efficacité pouvant être mesurée par la qualité de la solution construite, le temps d'exécution ou l'espace mémoire.

Je suis ouvert aux collaborations (académiques, industrielles, stages).



énumération de stables
énumération d'ensembles stables dans un graphe

Keywords : algorithms; graphs; scheduling; moderately exponential-time algorithms, fixed-paramaterized and polynomial-time algorithms


Publications

Retrouvez-moi également sur DBLP, HAL, Google Scholar, ArXiV, ORCID, ResearchGate, IdRef, zbMath.

Chapitres d'ouvrages scientifiques

  1. Algorithmes modérément exponentiels pour problèmes NP-difficiles [ lien ]
    Christophe Lenté, Mathieu Liedloff, Vincent T'Kindt, Ioan Todinca

    Informatique Mathématique, une photographie en 2015, Chapitre 2, p. 47-85. Nicolas Ollinger (Editor), CNRS Édition, 2015, ISBN: 978-2-271-08791-1.

Articles dans des revues internationales avec comité de lecture

  1. An exact algorithm for the minimum dominating clique problem [ lien ]
    Dieter Kratsch, Mathieu Liedloff

    Theor. Comput. Sci. 385 (1-3), p. 226-240, (2007).

  2. Efficient algorithms for Roman domination on some classes of graphs [ lien ]
    Mathieu Liedloff, Ton Kloks, Jiping Liu, Sheng-Lung Peng

    Discret. Appl. Math. 156 (18), p. 3400-3415, (2008).

  3. Finding a dominating set on bipartite graphs [ lien ]
    Mathieu Liedloff

    Inf. Process. Lett. 107 (5), p. 154-157, (2008).

  4. Sort and Search: Exact algorithms for generalized domination [ lien ]
    Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff

    Inf. Process. Lett. 109 (14), p. 795-798, (2009).

  5. Exponential time algorithms for the minimum dominating set problem on some graph classes [ lien ]
    Serge Gaspers, Dieter Kratsch, Mathieu Liedloff, Ioan Todinca

    ACM Trans. Algorithms 6 (1), p. 9:1-9:21, (2009).

  6. Exact exponential-time algorithms for finding bicliques [ lien ]
    Daniel Binkele-Raible, Henning Fernau, Serge Gaspers, Mathieu Liedloff

    Inf. Process. Lett. 111 (2), p. 64-67, (2010).

  7. Iterative compression and exact algorithms [ lien ]
    Fedor V. Fomin, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff, Saket Saurabh

    Theor. Comput. Sci. 411 (7-9), p. 1045-1053, (2010).

  8. Exact Algorithms for L(2, 1)-Labeling of Graphs [ lien ]
    Frédéric Havet, Martin Klazar, Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff

    Algorithmica 59 (2), p. 169-194, (2011).

  9. Branch and Recharge: Exact Algorithms for Generalized Domination [ lien ]
    Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff

    Algorithmica 61 (2), p. 252-273, (2011).

  10. Breaking the 2^n -barrier for Irredundance: Two lines of attack [ lien ]
    Daniel Binkele-Raible, Ljiljana Brankovic, Marek Cygan, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Marcin Pilipczuk, Peter Rossmanith, Jakub Onufry Wojtaszczyk

    J. Discrete Algorithms 9 (3), p. 214-230, (2011).

  11. An exact algorithm for connected red-blue dominating set [ lien ]
    Faisal N. Abu-Khzam, Amer E. Mouawad, Mathieu Liedloff

    J. Discrete Algorithms 9 (3), p. 252-262, (2011).

  12. An exact algorithm for the Maximum Leaf Spanning Tree problem [ lien ]
    Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible, Peter Rossmanith

    Theor. Comput. Sci. 412 (45), p. 6290-6302, (2011).

  13. On Independent Sets and Bicliques in Graphs [ lien ]
    Serge Gaspers, Dieter Kratsch, Mathieu Liedloff

    Algorithmica 62 (3-4), p. 637-658, (2012).

  14. A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set [ lien ]
    Serge Gaspers, Mathieu Liedloff

    Discret. Math. Theor. Comput. Sci. 14 (1), p. 29-42, (2012).

  15. Exact and Parameterized Algorithms for Max Internal Spanning Tree [ lien ]
    Daniel Binkele-Raible, Henning Fernau, Serge Gaspers, Mathieu Liedloff

    Algorithmica 65 (1), p. 95-128, (2013).

  16. Determining the L(2, 1)-span in polynomial space [ lien ]
    Konstanty Junosza-Szaniawski, Jan Kratochvíl, Mathieu Liedloff, Pawel Rzazewski

    Discret. Appl. Math. 161 (13-14), p. 2052-2061, (2013).

  17. Colorings with few Colors: Counting, Enumeration and Combinatorial Bounds [ lien ]
    Jean-François Couturier, Petr A. Golovach, Dieter Kratsch, Mathieu Liedloff, Artem V. Pyatkin

    Theory Comput. Syst. 52 (4), p. 645-667, (2013).

  18. Fast exact algorithm for L(2, 1)-labeling of graphs [ lien ]
    Konstanty Junosza-Szaniawski, Jan Kratochvíl, Mathieu Liedloff, Peter Rossmanith, Pawel Rzazewski

    Theor. Comput. Sci. 505 , p. 42-54, (2013).

  19. On an extension of the Sort & Search method with application to scheduling theory [ lien ]
    Christophe Lenté, Mathieu Liedloff, Ameur Soukhal, Vincent T'kindt

    Theor. Comput. Sci. 511 , p. 13-22, (2013).

  20. Solving Capacitated Dominating Set by using covering by subsets and maximum matching [ lien ]
    Mathieu Liedloff, Ioan Todinca, Yngve Villanger

    Discret. Appl. Math. 168 , p. 60-68, (2014).

  21. (Circular) backbone colouring: Forest backbones in planar graphs [ lien ]
    Frédéric Havet, Andrew D. King, Mathieu Liedloff, Ioan Todinca

    Discret. Appl. Math. 169 , p. 119-134, (2014).

  22. Complexity of splits reconstruction for low-degree trees [ lien ]
    Serge Gaspers, Mathieu Liedloff, Maya Jakobine Stein, Karol Suchan

    Discret. Appl. Math. 180 , p. 89-100, (2015).

  23. On the number of minimal dominating sets on some graph classes [ lien ]
    Jean-François Couturier, Romain Letourneur, Mathieu Liedloff

    Theor. Comput. Sci. 562 , p. 634-642, (2015).

  24. On finding optimal polytrees [ lien ]
    Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider

    Theor. Comput. Sci. 592 , p. 49-58, (2015).

  25. Treewidth and Pathwidth parameterized by the vertex cover number [ lien ]
    Mathieu Chapelle, Mathieu Liedloff, Ioan Todinca, Yngve Villanger

    Discret. Appl. Math. 216 , p. 114-129, (2017).

  26. Exact exponential algorithms to find tropical connected sets of minimum size [ lien ]
    Mathieu Chapelle, Manfred Cochefert, Dieter Kratsch, Romain Letourneur, Mathieu Liedloff

    Theor. Comput. Sci. 676 , p. 33-41, (2017).

  27. Algorithms Parameterized by Vertex Cover and Modular Width, Through Potential Maximal Cliques [ lien ]
    Fedor V. Fomin, Mathieu Liedloff, Pedro Montealegre, Ioan Todinca

    Algorithmica 80 (4), p. 1146-1169, (2018).

  28. Exact algorithms for weak Roman domination [ lien ]
    Mathieu Chapelle, Manfred Cochefert, Jean-François Couturier, Dieter Kratsch, Romain Letourneur, Mathieu Liedloff, Anthony Perez

    Discret. Appl. Math. 248 , p. 79-92, (2018).

  29. Exact exponential algorithms for 3-machine flowshop scheduling problems [ lien ]
    Lei Shang, Christophe Lenté, Mathieu Liedloff, Vincent T'kindt

    J. Sched. 21 (2), p. 227-233, (2018).

  30. Fixing improper colorings of graphs [ lien ]
    Valentin Garnero, Konstanty Junosza-Szaniawski, Mathieu Liedloff, Pedro Montealegre, Pawel Rzazewski

    Theor. Comput. Sci. 711 , p. 66-78, (2018).

  31. The many facets of upper domination [ lien ]
    Cristina Bazgan, Ljiljana Brankovic, Katrin Casel, Henning Fernau, Klaus Jansen, Kim-Manuel Klein, Michael Lampis, Mathieu Liedloff, Jérôme Monnot, Vangelis Th. Paschos

    Theor. Comput. Sci. 717 , p. 2-25, (2018).

  32. Beyond Classes of Graphs with "Few" Minimal Separators: FPT Results Through Potential Maximal Cliques [ lien ]
    Mathieu Liedloff, Pedro Montealegre, Ioan Todinca

    Algorithmica 81 (3), p. 986-1005, (2019).

  33. Enumeration and maximum number of maximal irredundant sets for chordal graphs [ lien ]
    Petr A. Golovach, Dieter Kratsch, Mathieu Liedloff, Mohamed Yosri Sayadi

    Discret. Appl. Math. 265 , p. 69-85, (2019).

  34. Enumeration and maximum number of minimal dominating sets for chordal graphs [ lien ]
    Petr A. Golovach, Dieter Kratsch, Mathieu Liedloff, Mohamed Yosri Sayadi

    Theor. Comput. Sci. 783 , p. 41-52, (2019).

  35. Moderate exponential-time algorithms for scheduling problems [ lien ]
    Vincent T'Kindt, Federico Della Croce, Mathieu Liedloff

    4OR - Q.J. Oper. Res. 20 (4), p. 533-566, (2022).

Articles dans des revues nationales

  1. Hommage à Dieter Kratsch [ lien ]
    Mathieu Liedloff, Michaël Rao

    1024 - Bulletin de la SiF 17 , p. 123-125, (2021).

Conférences internationales avec actes et comité de lecture

  1. Roman Domination over Some Graph Classes [ lien ]
    Mathieu Liedloff, Ton Kloks, Jiping Liu, Sheng-Lung Peng

    Workshop on Graph-Theoretic Concepts in Computer Science (WG 2005), Lecture Notes in Computer Science 3787, p. 103-114, (2005).

  2. An Exact Algorithm for the Minimum Dominating Clique Problem [ lien ]
    Dieter Kratsch, Mathieu Liedloff

    International Workshop on Parameterized and Exact Computation (IWPEC 2006), Lecture Notes in Computer Science 4169, p. 130-141, (2006).

  3. Exponential Time Algorithms for the Minimum Dominating Set Problem on Some Graph Classes [ lien ]
    Serge Gaspers, Dieter Kratsch, Mathieu Liedloff

    Scandinavian Workshop on Algorithm Theory (SWAT 2006), Lecture Notes in Computer Science 4059, p. 148-159, (2006).

  4. A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set in Graphs [ lien ]
    Serge Gaspers, Mathieu Liedloff

    Workshop on Graph-Theoretic Concepts in Computer Science (WG 2006), Lecture Notes in Computer Science 4271, p. 78-89, (2006).

  5. Exact Algorithms for L (2, 1)-Labeling of Graphs [ lien ]
    Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff

    International Symposium on Mathematical Foundations of Computer Science (MFCS 2007), Lecture Notes in Computer Science 4708, p. 513-524, (2007).

  6. Branch and Recharge: Exact Algorithms for Generalized Domination [ lien ]
    Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff

    Workshop on Algorithms and Data Structures (WADS 2007), Lecture Notes in Computer Science 4619, p. 507-518, (2007).

  7. Iterative Compression and Exact Algorithms [ lien ]
    Fedor V. Fomin, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff, Saket Saurabh

    International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), Lecture Notes in Computer Science 5162, p. 335-346, (2008).

  8. On Independent Sets and Bicliques in Graphs [ lien ]
    Serge Gaspers, Dieter Kratsch, Mathieu Liedloff

    Workshop on Graph-Theoretic Concepts in Computer Science (WG 2008), Lecture Notes in Computer Science 5344, p. 171-182, (2008).

  9. An Exact Algorithm for the Maximum Leaf Spanning Tree Problem [ lien ]
    Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible, Peter Rossmanith

    International Workshop on Parameterized and Exact Computation (IWPEC 2009), Lecture Notes in Computer Science 5917, p. 161-172, (2009).

  10. An Exact Algorithm for Connected Red-Blue Dominating Set [ lien ]
    Faisal N. Abu-Khzam, Amer E. Mouawad, Mathieu Liedloff

    International Conference on Algorithms and Complexity (CIAC 2010), Lecture Notes in Computer Science 6078, p. 25-36, (2010).

  11. A Parameterized Route to Exact Puzzles: Breaking the 2 ^ n -Barrier for Irredundance [ lien ]
    Daniel Binkele-Raible, Ljiljana Brankovic, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Peter Rossmanith

    International Conference on Algorithms and Complexity (CIAC 2010), Lecture Notes in Computer Science 6078, p. 311-322, (2010).

  12. Solving Capacitated Dominating Set by Using Covering by Subsets and Maximum Matching [ lien ]
    Mathieu Liedloff, Ioan Todinca, Yngve Villanger

    Workshop on Graph-Theoretic Concepts in Computer Science (WG 2010), Lecture Notes in Computer Science 6410, p. 88-99, (2010).

  13. Fast Exact Algorithm for L(2, 1)-Labeling of Graphs [ lien ]
    Konstanty Junosza-Szaniawski, Jan Kratochvíl, Mathieu Liedloff, Peter Rossmanith, Pawel Rzazewski

    Conference on Theory and Applications of Models of Computation (TAMC 2011), Lecture Notes in Computer Science 6648, p. 82-93, (2011).

  14. Complexity of Splits Reconstruction for Low-Degree Trees [ lien ]
    Serge Gaspers, Mathieu Liedloff, Maya Stein, Karol Suchan

    Workshop on Graph-Theoretic Concepts in Computer Science (WG 2011), Lecture Notes in Computer Science 6986, p. 167-178, (2011).

  15. On Finding Optimal Polytrees [ lien ]
    Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider

    Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012), (2012).

  16. Determining the L(2, 1)-Span in Polynomial Space [ lien ]
    Konstanty Junosza-Szaniawski, Jan Kratochvíl, Mathieu Liedloff, Pawel Rzazewski

    Workshop on Graph-Theoretic Concepts in Computer Science (WG 2012), Lecture Notes in Computer Science 7551, p. 126-137, (2012).

  17. Exact Algorithms for Weak Roman Domination [ lien ]
    Mathieu Chapelle, Manfred Cochefert, Jean-François Couturier, Dieter Kratsch, Mathieu Liedloff, Anthony Perez

    International Workshop on Combinatorial Algorithms (IWOCA 2013), Lecture Notes in Computer Science 8288, p. 81-93, (2013).

  18. Treewidth and Pathwidth Parameterized by the Vertex Cover Number [ lien ]
    Mathieu Chapelle, Mathieu Liedloff, Ioan Todinca, Yngve Villanger

    Workshop on Algorithms and Data Structures (WADS 2013), Lecture Notes in Computer Science 8037, p. 232-243, (2013).

  19. Exact Exponential Algorithms to Find a Tropical Connected Set of Minimum Size [ lien ]
    Mathieu Chapelle, Manfred Cochefert, Dieter Kratsch, Romain Letourneur, Mathieu Liedloff

    International Symposium on Parameterized and Exact Computation (IPEC 2014), Lecture Notes in Computer Science 8894, p. 147-158, (2014).

  20. Algorithms Parameterized by Vertex Cover and Modular Width, through Potential Maximal Cliques [ lien ]
    Fedor V. Fomin, Mathieu Liedloff, Pedro Montealegre-Barba, Ioan Todinca

    Scandinavian Workshop on Algorithm Theory (SWAT 2014), Lecture Notes in Computer Science 8503, p. 182-193, (2014).

  21. End-Vertices of Graph Search Algorithms [ lien ]
    Dieter Kratsch, Mathieu Liedloff, Daniel Meister

    International Conference on Algorithms and Complexity (CIAC 2015), Lecture Notes in Computer Science 9079, p. 300-312, (2015).

  22. Fixing Improper Colorings of Graphs [ lien ]
    Konstanty Junosza-Szaniawski, Mathieu Liedloff, Pawel Rzazewski

    International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015), Lecture Notes in Computer Science 8939, p. 266-276, (2015).

  23. Beyond Classes of Graphs with "Few" Minimal Separators: FPT Results Through Potential Maximal Cliques [ lien ]
    Mathieu Liedloff, Pedro Montealegre, Ioan Todinca

    Workshop on Graph-Theoretic Concepts in Computer Science (WG 2015), Lecture Notes in Computer Science 9224, p. 499-512, (2015).

  24. Algorithmic Aspects of Upper Domination: A Parameterised Perspective [ lien ]
    Cristina Bazgan, Ljiljana Brankovic, Katrin Casel, Henning Fernau, Klaus Jansen, Kim-Manuel Klein, Michael Lampis, Mathieu Liedloff, Jérôme Monnot, Vangelis Th. Paschos

    International Conference on Algorithmic Aspects in Information and Management (AAIM 2016), Lecture Notes in Computer Science 9778, p. 113-124, (2016).

  25. Upper Domination: Complexity and Approximation [ lien ]
    Cristina Bazgan, Ljiljana Brankovic, Katrin Casel, Henning Fernau, Klaus Jansen, Kim-Manuel Klein, Michael Lampis, Mathieu Liedloff, Jérôme Monnot, Vangelis Th. Paschos

    International Workshop on Combinatorial Algorithms (IWOCA 2016), Lecture Notes in Computer Science 9843, p. 241-252, (2016).

  26. Enumerating Minimal Tropical Connected Sets [ lien ]
    Dieter Kratsch, Mathieu Liedloff, Mohamed Yosri Sayadi

    International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017), Lecture Notes in Computer Science 10139, p. 217-228, (2017).

  27. Enumeration and Maximum Number of Maximal Irredundant Sets for Chordal Graphs [ lien ]
    Petr A. Golovach, Dieter Kratsch, Mathieu Liedloff, Mohamed Yosri Sayadi

    Workshop on Graph-Theoretic Concepts in Computer Science (WG 2017), Lecture Notes in Computer Science 10520, p. 289-302, (2017).

  28. Enumerating Minimal Connected Dominating Sets [ lien ]
    Faisal N. Abu-Khzam, Henning Fernau, Benjamin Gras, Mathieu Liedloff, Kevin Mann

    European Symposium on Algorithms (ESA 2022), LIPIcs 244, p. 1:1-1:15, (2022).

Workshops internationaux

  1. Exact Exponential-Time Algorithms for Finding Bicliques in a Graph [ lien ]
    Henning Fernau, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff, Daniel Raible

    Cologne Twente Workshop (CTW 2009), p. 205-209, (2009).

  2. Exponential-time algorithms for scheduling problems
    Mathieu Liedloff, Christophe Lenté, Ameur Soukhal, Vincent T'Kindt

    Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2011), (2011).

  3. Sort & Search Exponential-Time Algorithms for Scheduling Problems,
    Christophe Lenté, Mathieu Liedloff, Ameur Soukhal, Vincent T'Kindt

    Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2011), p. 523-528, (2011).

  4. Towards Finding Optimal Polytrees
    Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider

    Workshop on Discrete Optimization in Machine Learning (DISCML 2011), (2011).

  5. Scheduling parallel machines with exponential algorithms
    Christophe Lenté, Mathieu Liedloff, Ameur Soukhal, Vincent T'Kindt

    International Conference on Project Management and Scheduling (PMS 2012), p. 203-206, (2012).

  6. Scheduling parallel machines with exponential algorithms
    Christophe Lenté, Mathieu Liedloff, Ameur Soukhal, Vincent T'Kindt

    International Workshop on Approximation, Parameterized and EXact algorithms (APEX 2012), (2012).

  7. A tight bound on the number of minimal dominating sets in split graph
    Jean-François Couturier, Mathieu Liedloff

    Cologne Twente Workshop (CTW 2013), CTIT Workshop Proceedings WP 13-01, p. 67-70, (2013).

  8. A Study of worst-case complexity for parallel machine scheduling problems based on an extension of the Sort & Search method
    Vincent T'Kindt, Christophe Lenté, Mathieu Liedloff

    Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2013), (2013).

  9. On the Number of Minimal Dominating Sets on Cobipartite and Interval Graphs
    Jean-François Couturier, Romain Letourneur, Mathieu Liedloff

    International colloquium on graph theory and combinatorics (ICGT 2014), (2014).

  10. An exponential dynamic programming algorithm for the 3-machine flowshop scheduling problem to minimize the makespan
    Lei Shang, Christophe Lenté, Mathieu Liedloff, Vincent T'Kindt

    Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2015), p. 755-758, (2015).

  11. On Maximal Irredundant Sets and (sigma, rho)-Dominating Sets in Paths
    Petr Golovach, Dieter Kratsch, Mathieu Liedloff, Michaël Rao, Mohamed Yosri Sayadi

    Workshop on Enumeration Problems and Applications : Theory and Applications (WEPA 2016), (2016).

  12. Enumeration of Minimal Connected Dominating Sets in chordal bipartite graphs
    Benjamin Gras, Mathieu Liedloff

    Cologne Twente Workshop (CTW 2019), p. 63-56, (2019).

Workshops et congrès nationaux

  1. Complexité d'algorithmes exponentiels : application au domaine de l'ordonnancement
    Christophe Lenté, Mathieu Liedloff, Emmanuel Neron, Ameur Soukhal, Vincent T'Kindt

    Congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2010), (2010).

  2. Algorithmes Exponentiels Pour Des Problèmes D'Ordonnancement à Une Machine Et Machines Parallèles
    Christophe Lenté, Mathieu Liedloff, Ameur Soukhal, Vincent T'Kindt

    Congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2011), (2011).

  3. Généralisation de la méthode Trier et Chercher : application à des problèmes à machines parallèles
    Christophe Lenté, Mathieu Liedloff, Ameur Soukhal, Vincent T'Kindt

    Congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2012), (2012).

  4. Complexité au pire des cas d'algorithmes exponentiels pour des problèmes de séquencement
    Christophe Lenté, Mathieu Liedloff, Ameur Soukhal, Vincent T'Kindt

    Congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2012), (2012).

  5. Programmation dynamique exponentielle pour des problèmes d'ordonnancement de type flowshop à 3 machines
    Lei Shang, Christophe Lenté, Mathieu Liedloff, Vincent T'Kindt

    Congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2016), (2016).

Mémoires

  1. Problèmes NP-complets : introduction au domaine et preuves de NP-complétudes
    Mathieu Liedloff

    mémoire de maîtrise, Université de Metz, 2003.

  2. Domination Romaine
    Mathieu Liedloff

    mémoire de DEA, Université de Metz, 2004.

  3. Algorithmes exacts et exponentiels pour les problèmes NP-difficiles : domination, variantes et généralisations [ lien ]
    Mathieu Liedloff

    thèse de doctorat, Université de Metz, 2007.

  4. Algorithmes exponentiels pour l'étiquetage, la domination et l'ordonnancement [ lien ]
    Mathieu Liedloff

    habilitation à diriger des recherches, Université d'Orléans, 2015.


Informatique dans le secondaire

Avant d'être à l'université, l'étudiant fut collégien puis lycéen.

Je suis impliqué dans plusieurs dispositifs en relation avec l'enseignement de l'informatique dans le secondaire :

  • IREM Centre-Val de Loire.

    Animation d'un groupe IREM informatique au lycée et au collège au sein de l'IREM-Centre val de Loire (Université d'Orléans). Le groupe est composé d'enseignants de collège, de lycée, de CPGE, et d'université. L'objectif est d'échanger sur nos expériences pédagogiques, sur la didactique de l'informatique et de produire des ressources.

  • Journées JEDI.

    Depuis 2016 (en pause entre 2020 et 2022 pour cause de pandémie), organisation d'une journée dédiée à l'informatique en collège et lycée. La Journée Exploration et Découverte de l'Informatique (JEDI) accueille jusqu'à 120 enseignants de l'académie d'Orléans-Tours et propose des ateliers et exposés pour découvrir ou approfondir des concepts en informatique.

  • Formatik et DIU EIL.

    A la demande du rectorat, de l'inspection académique ou d'enseignants, des actions de formations peuvent être mises en place (formation au programme d'ISN, de NSI, de CPGE). Ces formations prennent la forme d'une formation longue (DIU Enseigner l'Informatique au Lycée, proposé par l'université d'Orléans) ou des journées spécifiques (Formatik).

  • 1 scientifique, 1 classe. Chiche !

    Faire intervenir un chercheur dans l'enseignement de SNT en classe de seconde, voila l'idée du dispositif proposé par INRIA. L'objectif est la promotion du numérique, auprès des élèves de seconde, par des chercheurs qui inventent le numérique de demain.


Pour toutes questions sur ces dispositifs ou comment les intégrer, merci de me contacter.
Je suis ouvert aux interventions, actions de formation, de médiation ou vulgarisation scientifique.
activité JEDI

Quelques liens