A Lazy Query Scheme for Reachability Analysis in Petri Nets. - Loïg Jezequel; Didier Lime; Bastien Sérée (Petri Nets, 2021)

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. - Bastien Sérée; Loïg Jezequel; Didier Lime (LATA, 2021)

Problèmes d'optimisation des les graphes paramétrés. (Optimisation problems in parametrized graphs). - Bastien Sérée (2022)