 | 2011 |
| 24 |  | Sarah Nait Bahloul,
Emmanuel Coquery,
Mohand-Said Hacid:
Access control to materialized views: an inference-based approach.
EDBT/ICDT Ph.D. Workshop 2011: 19-24 |
| 23 |  | Emmanuel Coquery,
Saïd Jabbour,
Lakhdar Sais:
A Constraint Programming Approach for Enumerating Motifs in a Sequence.
ICDM Workshops 2011: 1091-1097 |
| 22 |  | Emad Elabd,
Emmanuel Coquery,
Mohand-Said Hacid:
Timed Web Services Analysis after Removing Complex Implicit Transitions.
ICWS 2011: 153-160 |
| 2010 |
| 21 |  | Emad Elabd,
Emmanuel Coquery,
Mohand-Said Hacid:
Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control.
ICWS 2010: 409-416 |
| 20 |  | Emad Elabd,
Emmanuel Coquery,
Mohand-Said Hacid:
Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control.
SEKE 2010: 235-240 |
| 19 |  | Zohra Bellahsene,
Salima Benbernou,
Hélène Jaudoin,
Francois Pinet,
Olivier Pivert,
Farouk Toumani,
Stephan Bernard,
Pierre Colomb,
Remi Coletta,
Emmanuel Coquery,
Fabien De Marchi,
Fabien Duchateau,
Mohand-Said Hacid,
Allel HadjAli,
Mathieu Roche:
FORUM: a flexible data integration system based on data semantics.
SIGMOD Record 39(2): 11-18 (2010) |
| 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) |