Show Menu
Hide Menu
Accueil LIP6
Mot du directeur
Organigrammes
Organisation du LIP6
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Localisation & Contact
Recherche
Axes & Équipes
Publications
Doctorants
Actualité
Invités
Invités précédents du LIP6
Archives
Formation
Rapport d'activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Emplois
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
LIP6
Centre National de la Recherche Scientifique
Sorbonne Universté
image/svg+xml
Accueil LIP6
Annuaire
ZIAT Ghiles
Post-Doctorant
Équipe :
APR
Date de départ : 31/12/2019
https://lip6.fr/Ghiles.Ziat
Date de départ : 31/12/2019
Publications 2017-2019
Toutes
Conférences
Thèse
2019
Gh. Ziat
: “
A Combination of Abstract Interpretation and Constraint Programming
”, thèse, soutenance 03/07/2019, direction de recherche Miné, Antoine, co-encadrement : Truchet, Charlotte (2019)
Gh. Ziat, A. Maréchal, M. Pelleau, A. Miné, Ch. Truchet
: “
Combination of Boxes and Polyhedra Abstractions for Constraint Solving
”, The 8
th
International Workshop on Numerical and Symbolic Abstract Domains, Porto, Portugal (2019)
2018
Gh. Ziat, M. Pelleau, Ch. Truchet, A. Miné
: “
Finding solutions by finding inconsistencies
”, CP 2018 - 24
th
International Conference on Principles and Practice of Constraint Programming, Lille, France, pp. 1-16 (2018)
2017
Gh. Ziat, M. Pelleau, Ch. Truchet, A. Miné
: “
Améliorer la propagation : l’Importance d’être Inconsistant
”, Treizièmes journées Francophones de Programmation par Contraintes, Montreuil sur Mer, France (2017)
Mentions légales
Carte du site