Emmanuel Coquery

2007
14		Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid: Préservation de l'Intimité dans les Protocoles de Conversations. EGC 2007: 203-204
13	EE	Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid: Privacy-Aware Web Service Protocol Replaceability. ICWS 2007: 1048-1055
2005
12	EE	Emmanuel Coquery, François Fages: A Type System for CHR. CSCLP 2005: 100-117
11	EE	Emmanuel Coquery, François Fages: A Type System for CHR. ICLP 2005: 402-403
10	EE	Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk: Descriptive Typing Rules for Xcerpt. PPSWR 2005: 85-100
2004
9	EE	François Fages, Emmanuel Coquery: Typing constraint logic programs CoRR cs.PL/0405100: (2004)
2003
8	EE	Emmanuel Coquery, François Fages: Subtyping Constraints in Quasi-lattices. FSTTCS 2003: 136-148
7		Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. JFPLC 2003: 253-266
6		Emmanuel Coquery: TCLP: A type checker for CLP(X). WLPE 2003: 17-30
5	EE	Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. Technique et Science Informatiques 22(1): 253-266 (2003)
2002
4	EE	Emmanuel Coquery, François Fages: TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ICLP 2002: 480
3		Emmanuel Coquery, François Fages: Surcharge et sous-typage dans TCLP. JFPLC 2002: 273-
2001
2		Emmanuel Coquery, François Fages: Programmes logiques avec contraintes typés. JFPLC 2001: 223-238
1		François Fages, Emmanuel Coquery: Typing constraint logic programs. TPLP 1(6): 751-777 (2001)

Coauthor Index

1	Salima Benbernou	[13] [14]
2	Sacha Berger	[10]
3	Wlodzimierz Drabent (Wlodek Drabent)	[10]
4	François Fages	[1] [2] [3] [4] [5] [7] [8] [9] [11] [12]
5	Nawal Guermouche	[13] [14]
6	Mohand-Said Hacid	[13] [14]
7	Artur Wilk	[10]

Colors in the list of coauthors