Publications

International journals

2011 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Efficient Constraint Propagation for Graph Coloring in Electronic Notes in Discrete Mathematics,vol. 37, pp. 243-248, 2011.

2007 K. Xu, Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Random constraint satisfaction: easy generation of hard (satisfiable) instances in Artificial Intelligence,vol. 171, n° 8-9, pp. 514-534, 2007.

International conferences

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Constraint Solving using Parallel Singleton Arc Consistency in 1st Workshop on Cloud Computing and Optimization,2014.

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sliced Table Constraints: Combining Compression and Tabular Reduction in CPAIOR,2014.

2007 Christophe Lecoutre, Fred Hemery, A Study of Residual Supports in Arc Consistency in 20th International Joint Conference on Artificial Intelligence(IJCAI’07),pp. 125-130, 2007.

2006 Christophe Lecoutre, Fred Hemery, A study of residual supports in arc consistency CPAI’2006, pp. 31-45, 2006.

2005 Christophe Lecoutre, Frederic Boussemart, Fred Hemery, Abscon 2005 in 2nd International Workshop on Constraint Propagation And Implementation(CPAI’05),pp. 67-72, 2005.

2005 K. Xu, Frederic Boussemart, Fred Hemery, Christophe Lecoutre, A simple model to generate hard satisfiable instances in 19th International Joint Conference on Artificial Intelligence(IJCAI’05),pp. 337-342, 2005.

2005 Gilles Gonçalves, Fred Hemery, Aneta Poniszewska, Representation of Extended RBAC Model Using UML Language in 31th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2005),pp. 405-409, 2005.

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Revision ordering heuristics for the Constraint Satisfaction Problem in 1st International Workshop on Constraint Propagation and Implementation,pp. 9-43, 2004.

2003 Gilles Gonçalves, Fred Hemery, Aneta Poniszewska, Verification of Access Control Coherence in Information System during Modifications in 12th IEEE International Workshops on Enabling Technologies Infrastructure for Collaborative Enterprises (WETICE’2003),pp. 9-11, 2003.

1997 Jean-Michel Hannoff, Jean-Christophe Nicolas, Fred Hemery, Approach to Service Uses in Federated Systems Information in Database and Expert Systems Applications, Federated and Distributed Databases (DEXA Workshop 1997),1997.

1993 Jean-Marc Geib, Fred Hemery, The Mapping of Communicating Active Components on Multicomputer Machines in PARCO 1993,Elsevier, pp. 613-618, 1993.

National conferences

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Les contraintes table fragmentées : combiner la compression et la réduction tabulaire in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),pp. 133-142, 2014.

2013 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, STR et compression de contraintes tables in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 143-146, 2013.

2011 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Contrôle statistique du processus de propagation de contraintes in 7ièmes Journées Francophones de Programmation par Contraintes (JFPC’11),pp. 65-74, 2011.

2006 Fred Hemery, Christophe Lecoutre, Lahkdar Sais, Frederic Boussemart, Extracting MUCs from Constraint Networks ECAI’2006, pp. 113-117, 2006.

2006 Christophe Lecoutre, Fred Hemery, Une étude des supports résiduels pour la consistance d’arc in Journées Francophones de Programmation par Contraintes,2006.

2006 Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart, Extraction de noyaux insatisfiables minimaux de réseaux de contraintes in Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06),2006.

2005 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Description and Representation of the Problems selected for the first International Constraint Satisfaction Solver Competition CPAI’2005, pp. 7-26, 2005.

2005 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Inférence de supports pour les algorithmes de filtrage générique in Premières Journées Francophones de Programmation par Contraintes,Université d’Artois, pp. 89-98, 2005.

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Heuristiques de choix de variables dirigées par les conflits in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC’04),pp. 91-105, 2004.

2004 Gilles Gonçalves, Fred Hemery, Aneta Poniszewska, Ingénierie des rôles : de la conception à l’évolution des schémas de sécurité in Atelier Sécurité des Systèmes d’Information, XXII Congrès INFORSID ( INFORSID 2004),2004.

2004 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Techniques de retour-arrière intelligent versus heuristiques dirigées par les conflits in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC’04),pp. 235-250, 2004.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, De AC3 à AC7 in 12èmes Journées Francophones de Programmation Logique avec Contraintes (JFPLC’03),Hermès, pp. 267-280, 2003.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Problèmes de satisfaction de contraintes aléatoires en intention in 9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC’03),pp. 249-262, 2003.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Au coeur de la consistance d’arc in 9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC’03),pp. 233-247, 2003.

2001 Gilles Gonçalves, Fred Hemery, Une plate-forme UML-XML pour la gestion des rôles s’un système d’information in Congrès INFORSID (INFORSID 2001),pp. 111-122, 2001.

2000 Gilles Gonçalves, Fred Hemery, Des cas d’utilisation en UML à la gestion de rôles dans un système d’information in Congrès INFORSID (INFORSID 2000),pp. 367-379, 2000.

Technical reports

2012 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sebastien Tabary, Optimization du montage de prets immobiliers : modelisation du probleme 2012.