Sébastien Hoarau

According to our database, Sébastien Hoarau authored at least 10 papers between 1995 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

A Proposal for a Programming Skills Framework Integrating Computational Thinking and Python Programming Concepts.

Sébastien Hoarau, Christophe Declercq, Sophie Chane-Lune

Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1, 2025

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

Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1, 2025

2024

Design and Evaluation of a Web-based Distributed Pair Programming Tool for Novice Programmers.

José Colin, Sébastien Hoarau, Christophe Declercq, Julien Broisin

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

2000

cTI: Bottom-Up Termination Inference for Logic Programs.

Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel

Proceedings of the WLP 2000, 2000

1998

CLP(chi) for Automatically Proving Program Properties.

Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard

J. Log. Program., 1998

Inferring and Compiling Termination for Constraint Logic Programs.

Sébastien Hoarau, Frédéric Mesnard

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Inférer et compiler la terminaison des programmes logiques avec contraintes.

Sébastien Hoarau, Frédéric Mesnard

Proceedings of the JFPLC'98, 1998

1996

PLC(Bool) pour la détection de variables numériques bornées.

Sébastien Hoarau, Frédéric Mesnard

Proceedings of the JFPLC'96, 1996

CLP(chi) for Proving Program Properties.

Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard

Proceedings of the Frontiers of Combining Systems, 1996

1995

Contrôle dynamique de la résolution pour les programmes logiques avec contraintes.

Frédéric Mesnard, Sébastien Hoarau

Proceedings of the JFPLC'95, 1995