Search the dblp DataBase

Publications of Author

1. Emmanuel Coquery, François Fages
   A Type System for CHR. [Citation Graph (0, 0)][DBLP]
   CSCLP, 2005, pp:100-117 [Conf]
   
2. Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid
   Préservation de l'Intimité dans les Protocoles de Conversations. [Citation Graph (0, 0)][DBLP]
   EGC, 2007, pp:203-204 [Conf]
   
3. Emmanuel Coquery, François Fages
   Subtyping Constraints in Quasi-lattices. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2003, pp:136-148 [Conf]
   
4. Emmanuel Coquery, François Fages
   TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. [Citation Graph (0, 0)][DBLP]
   ICLP, 2002, pp:480- [Conf]
   
5. Emmanuel Coquery, François Fages
   A Type System for CHR. [Citation Graph (0, 0)][DBLP]
   ICLP, 2005, pp:402-403 [Conf]
   
6. Emmanuel Coquery, François Fages
   Programmes logiques avec contraintes typés. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2001, pp:223-238 [Conf]
   
7. Emmanuel Coquery, François Fages
   Surcharge et sous-typage dans TCLP. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:273-0 [Conf]
   
8. Emmanuel Coquery, François Fages
   Contraintes de sous-typage dans les quasi-treillis. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2003, pp:253-266 [Conf]
   
9. Emmanuel Coquery
   TCLP: A type checker for CLP(X). [Citation Graph (0, 0)][DBLP]
   WLPE, 2003, pp:17-30 [Conf]
   
10. Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk
    Descriptive Typing Rules for Xcerpt. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2005, pp:85-100 [Conf]
    
11. François Fages, Emmanuel Coquery
    Typing constraint logic programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
    
12. François Fages, Emmanuel Coquery
    Typing constraint logic programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:6, pp:751-777 [Journal]
    
13. Emmanuel Coquery, François Fages
    Contraintes de sous-typage dans les quasi-treillis. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:253-266 [Journal]
    
14. Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid
    Privacy-Aware Web Service Protocol Replaceability. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:1048-1055 [Conf]
    
15. 
    Verification of Privacy Timed Properties in Web Service Protocols. [Citation Graph (, )][DBLP]
    
    
16. 
    An Ontological Interface for Software Developers to Select Security Patterns. [Citation Graph (, )][DBLP]
    
    
17. 
    Consistency checking of role assignments in inter-organizational collaboration. [Citation Graph (, )][DBLP]
    
    
18. 
    Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control. [Citation Graph (, )][DBLP]
    
    
19. 
    Supporting Web Service Protocol Changes by Propagation. [Citation Graph (, )][DBLP]