The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Emmanuel Coquery: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.093secs, Finished in 0.094secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002