Fred Hemery

According to our database, Fred Hemery authored at least 19 papers between 1991 and 2014.

Collaborative distances:

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

2014

Sliced Table Constraints: Combining Compression and Tabular Reduction.

Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

2011

Efficient Constraint Propagation for Graph Coloring.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy Modeliar

Electron. Notes Discret. Math., 2011

2007

Random constraint satisfaction: Easy generation of hard (satisfiable) instances.

Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre

Artif. Intell., 2007

A Study of Residual Supports in Arc Consistency.

Christophe Lecoutre, Fred Hemery

Proceedings of the IJCAI 2007, 2007

2006

Extracting MUCs from Constraint Networks.

Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Representation of Extended RBAC Model Using UML Language.

Aneta Poniszewska-Maranda, Gilles Goncalves, Fred Hemery

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

A Simple Model to Generate Hard Satisfiable Instances.

Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Backjump-Based Techniques versus Conflict-Directed Heuristics.

Christophe Lecoutre, Frédéric Boussemart, Fred Hemery

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Boosting Systematic Search by Weighting Constraints.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Support Inference for Generic Filtering.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

De AC3 à AC7.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre

Tech. Sci. Informatiques, 2003

Verification of Access Control Coherence in Information System during Modifications.

Gilles Goncalves, Fred Hemery, Aneta Poniszewska

Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

Implicit Random Constraint Satisfaction Problems.

Christophe Lecoutre, Frédéric Boussemart, Fred Hemery

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.

Christophe Lecoutre, Frédéric Boussemart, Fred Hemery

Proceedings of the Principles and Practice of Constraint Programming, 2003

2001

Une plate-forme UML-XML pour la gestion des rôles d'un Système d'Information.

Gilles Goncalves, Fred Hemery

Proceedings of the Actes du XIXème Congrès INFORSID, Martigny, Suisse, 24-27 mai, 2001, 2001

2000

Des cas d'utilisation en UML à la gestion de rôles dans un système d'information.

Gilles Goncalves, Fred Hemery

Proceedings of the Actes du XVIIIème Congrès INFORSID, Lyon, France, 16-19 mai, 2000, 2000

1997

Approach to Service Uses in Federated Systems Information.

Jean-Michel Hannoff, Jean-Christophe Nicolas, Fred Hemery

Proceedings of the Eighth International Workshop on Database and Expert Systems Applications, 1997

1993

The Mapping of Communicating Active Components on Multicomputer Machines.

Fred Hemery, Jean-Marc Geib

Proceedings of the Parallel Computing: Trends and Applications, 1993

1991

An analysis of communication and multiprogramming in the Helios operating system.

Fred Hemery, Dominique Lazure, Eric Delattre, Jean-François Méhaut

Microprocessing and Microprogramming, 1991