SMT Solvers for Rodin. - David Déharbe; Pascal Fontaine; Yoann Guyot; Laurent Voisin (ABZ, 2012)

Integrating SMT solvers in Rodin. - David Déharbe; Pascal Fontaine; Yoann Guyot; Laurent Voisin (Sci. Comput. Program., 2014)

OscaR, an Open Source Toolbox for Optimising Logistics and Supply Chain Systems. - Renaud De Landtsheer; Christophe Ponsard; Yoann Guyot (ERCIM News, 2016)

Decision Making Support in the Scheduling of Chemotherapy Coping with Quality of Care, Resources and Ethical Constraints. - Christophe Ponsard; Renaud De Landtsheer; Yoann Guyot; François Roucoux; Bernard Lambeau (ICEIS (1), 2017)

Quality of Care Driven Scheduling of Clinical Pathways Under Resource and Ethical Constraints. - Christophe Ponsard; Renaud De Landtsheer; Yoann Guyot; François Roucoux; Bernard Lambeau (ICEIS (Revised Selected Papers), 2017)

Supporting Efficient Global Moves on Sequences in Constraint-based Local Search Engines. - Renaud De Landtsheer; Gustavo Ospina; Yoann Guyot; Fabian Germeau; Christophe Ponsard (ICORES, 2017)

Reasoning on Sequences in Constraint-Based Local Search Frameworks. - Renaud De Landtsheer; Yoann Guyot; Gustavo Ospina; Fabian Germeau; Christophe Ponsard (CPAIOR, 2018)