Emmanuel Coquery

	2009
18		Ahmed Azough, Emmanuel Coquery, Mohand-Said Hacid: Supporting Web Service Protocol Changes by Propagation. Web Intelligence 2009: 438-441
	2008
17		Paul El Khoury, Amine Mokhtari, Emmanuel Coquery, Mohand-Said Hacid: An Ontological Interface for Software Developers to Select Security Patterns. DEXA Workshops 2008: 297-301
16		Karima Mokhtari, Salima Benbernou, Mohand-Said Hacid, Emmanuel Coquery, Frank Leymann: Verification of Privacy Timed Properties in Web Service Protocols. IEEE SCC (2) 2008: 593-594
15		Paul El Khoury, Emmanuel Coquery, Mohand-Said Hacid: Consistency checking of role assignments in inter-organizational collaboration. SPRINGL 2008: 82-88
	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		Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid: Privacy-Aware Web Service Protocol Replaceability. ICWS 2007: 1048-1055
	2005
12		Emmanuel Coquery, François Fages: A Type System for CHR. CSCLP 2005: 100-117
11		Emmanuel Coquery, François Fages: A Type System for CHR. ICLP 2005: 402-403
10		Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk: Descriptive Typing Rules for Xcerpt. PPSWR 2005: 85-100
	2004
9		François Fages, Emmanuel Coquery: Typing constraint logic programs CoRR cs.PL/0405100: (2004)
	2003
8		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		Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. Technique et Science Informatiques 22(1): 253-266 (2003)
	2002
4		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	Ahmed Azough	[18]
2	Salima Benbernou	[13] [14] [16]
3	Sacha Berger	[10]
4	Wlodzimierz Drabent (Wlodek Drabent)	[10]
5	François Fages	[1] [2] [3] [4] [5] [7] [8] [9] [11] [12]
6	Nawal Guermouche	[13] [14]
7	Mohand-Said Hacid	[13] [14] [15] [16] [17] [18]
8	Paul El Khoury	[15] [17]
9	Frank Leymann	[16]
10	Amine Mokhtari	[17]
11	Karima Mokhtari	[16]
12	Artur Wilk	[10]

Colors in the list of coauthors