Emmanuel Coquery

Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi: A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. ECAI 2012: 258-263

Sarah Nait Bahloul, Emmanuel Coquery, Mohand-Said Hacid: Authorization Policies for Materialized Views. SEC 2012: 525-530

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

Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais: A Constraint Programming Approach for Enumerating Motifs in a Sequence. ICDM Workshops 2011: 1091-1097

Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid: Timed Web Services Analysis after Removing Complex Implicit Transitions. ICWS 2011: 153-160

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)

Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid: Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control. ICWS 2010: 409-416

Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid: Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control. SEKE 2010: 235-240

Ahmed Azough, Emmanuel Coquery, Mohand-Said Hacid: Supporting Web Service Protocol Changes by Propagation. Web Intelligence 2009: 438-441

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

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

Paul El Khoury, Emmanuel Coquery, Mohand-Said Hacid: Consistency checking of role assignments in inter-organizational collaboration. SPRINGL 2008: 82-88

Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid: Préservation de l'Intimité dans les Protocoles de Conversations. EGC 2007: 203-204

Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid: Privacy-Aware Web Service Protocol Replaceability. ICWS 2007: 1048-1055

Emmanuel Coquery, François Fages: A Type System for CHR. CSCLP 2005: 100-117

Emmanuel Coquery, François Fages: A Type System for CHR. ICLP 2005: 402-403

Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk: Descriptive Typing Rules for Xcerpt. PPSWR 2005: 85-100

François Fages, Emmanuel Coquery: Typing constraint logic programs. CoRR cs.PL/0405100 (2004)

Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. Technique et Science Informatiques 22(1): 253-266 (2003)

Emmanuel Coquery, François Fages: Subtyping Constraints in Quasi-lattices. FSTTCS 2003: 136-148

Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. JFPLC 2003: 253-266

Emmanuel Coquery: TCLP: A type checker for CLP(X). WLPE 2003: 17-30

Emmanuel Coquery, François Fages: TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ICLP 2002: 480

Emmanuel Coquery, François Fages: Surcharge et sous-typage dans TCLP. JFPLC 2002: 273-

François Fages, Emmanuel Coquery: Typing constraint logic programs. TPLP 1(6): 751-777 (2001)

Emmanuel Coquery, François Fages: Programmes logiques avec contraintes typés. JFPLC 2001: 223-238