Fred Hemery

21 papers A* 2A 4B 4C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2014 B conf
Sliced Table Constraints: Combining Compression and Tabular Reduction.
CPAIOR
Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel
2011 J jnl
Efficient Constraint Propagation for Graph Coloring.
Electron. Notes Discret. Math.
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy Modeliar
2007 A* conf
A Study of Residual Supports in Arc Consistency.
IJCAI
Christophe Lecoutre, Fred Hemery
2007 J jnl
Random constraint satisfaction: Easy generation of hard (satisfiable) instances.
Artif. Intell.
Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
2006 A conf
Extracting MUCs from Constraint Networks.
ECAI
Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart
2005 J jnl
A Simple Model to Generate Hard Satisfiable Instances
CoRR
Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
2005 A* conf
A Simple Model to Generate Hard Satisfiable Instances.
IJCAI
Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
2005 B conf
Representation of Extended RBAC Model Using UML Language.
SOFSEM
Aneta Poniszewska-Maranda, Gilles Goncalves, Fred Hemery
2004 B conf
Backjump-Based Techniques versus Conflict-Directed Heuristics.
ICTAI
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
2004 A conf
Boosting Systematic Search by Weighting Constraints.
ECAI
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
2004 A conf
Support Inference for Generic Filtering.
CP
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
2003 — conf
De AC3 à AC7.
JFPLC
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
2003 J jnl
De AC3 à AC7.
Tech. Sci. Informatiques
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
2003 A conf
Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.
CP
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
2003 B conf
Implicit Random Constraint Satisfaction Problems.
ICTAI
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
2003 C conf
Verification of Access Control Coherence in Information System during Modifications.
WETICE
Gilles Goncalves, Fred Hemery, Aneta Poniszewska
2001 — conf
Une plate-forme UML-XML pour la gestion des rôles d'un Système d'Information.
INFORSID
Gilles Goncalves, Fred Hemery
2000 — conf
Des cas d'utilisation en UML à la gestion de rôles dans un système d'information.
INFORSID
Gilles Goncalves, Fred Hemery
1997 — conf
Approach to Service Uses in Federated Systems Information.
DEXA Workshop
Jean-Michel Hannoff, Jean-Christophe Nicolas, Fred Hemery
1993 — conf
The Mapping of Communicating Active Components on Multicomputer Machines.
PARCO
Fred Hemery, Jean-Marc Geib
1991 J jnl
An analysis of communication and multiprogramming in the Helios operating system.
Microprocessing and Microprogramming
Fred Hemery, Dominique Lazure, Eric Delattre, Jean-François Méhaut