Emmanuel Coquery

2008
17	EE	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	EE	K. Mokhtari, Salima Benbernou, Mohand-Said Hacid, Emmanuel Coquery, Mohand-Said Hacid, Frank Leymann: Verification of Privacy Timed Properties in Web Service Protocols. IEEE SCC (2) 2008: 593-594
15	EE	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	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] [16]
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] [15] [16] [17]
7	Paul El Khoury	[15] [17]
8	Frank Leymann	[16]
9	Amine Mokhtari	[17]
10	K. Mokhtari	[16]
11	Artur Wilk	[10]

Colors in the list of coauthors