Finding Solutions by Finding Inconsistencies. - Ghiles Ziat; Marie Pelleau; Charlotte Truchet; Antoine Miné (CP, 2018)

Combination of Boxes and Polyhedra Abstractions for Constraint Solving. - Ghiles Ziat; Alexandre Maréchal; Marie Pelleau; Antoine Miné; Charlotte Truchet (FM Workshops (2), 2019)

A combination of abstract interpretation and constraint programming. (Une combinaison d'interprétation abstraite et de programmation par contraintes). - Ghiles Ziat (2019)

Abstract domains for constraint programming with differential equations. - Ghiles Ziat; Olivier Mullier; Julien Alexandre Dit Sandretto; Christophe Garion; Alexandre Chapoutot; Xavier Thirioux (NSAD@SAS, 2020)

Constraint-based Verification of Formation Control. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Christophe Garion; Xavier Thirioux; Ghiles Ziat (CDC, 2021)

Automated Random Testing of Numerical Constrained Types. - Ghiles Ziat; Matthieu Dien; Vincent Botbol (CP, 2021)

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. - Ghiles Ziat; Vincent Botbol; Matthieu Dien; Arnaud Gotlieb; Martin Pépin; Catherine Dubois (CoRR, 2022)

An Efficient and Uniform CSP Solution Generator Generator. - Ghiles Ziat; Martin Pépin (CP, 2025)