Contrôle dynamique de la résolution pour les programmes logiques avec contraintes. - Frédéric Mesnard; Sébastien Hoarau (JFPLC, 1995)

CLP(chi) for Proving Program Properties. - Frédéric Mesnard; Sébastien Hoarau; Alexandra Maillard (FroCoS, 1996)

PLC(Bool) pour la détection de variables numériques bornées. - Sébastien Hoarau; Frédéric Mesnard (JFPLC, 1996)

Inférer et compiler la terminaison des programmes logiques avec contraintes. - Sébastien Hoarau; Frédéric Mesnard (JFPLC, 1998)

Inferring and Compiling Termination for Constraint Logic Programs. - Sébastien Hoarau; Frédéric Mesnard (LOPSTR, 1998)

CLP(chi) for Automatically Proving Program Properties. - Frédéric Mesnard; Sébastien Hoarau; Alexandra Maillard (J. Log. Program., 1998)

cTI: Bottom-Up Termination Inference for Logic Programs. - Serge Burckel; Sébastien Hoarau; Frédéric Mesnard; Ulrich Neumerkel (WLP, 2000)

Design and Evaluation of a Web-based Distributed Pair Programming Tool for Novice Programmers. - José Colin; Sébastien Hoarau; Christophe Declercq; Julien Broisin (ITiCSE (1), 2024)

Evaluation of Different Group Formation Methods in the Context of Distributed Pair Programming: Design and Experiment in Higher Education. - José Colin; Sébastien Hoarau; Julien Broisin (ITiCSE (1), 2025)

A Proposal for a Programming Skills Framework Integrating Computational Thinking and Python Programming Concepts. - Sébastien Hoarau; Christophe Declercq; Sophie Chane-Lune (ITiCSE (1), 2025)