Emmanuel Coquery

According to our database1, Emmanuel Coquery authored at least 30 papers between 2001 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


RQL: A Query Language for Rule Discovery in Databases.
Theor. Comput. Sci., 2017

Interactive Mapping Specification with Exemplar Tuples.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Access Control Enforcement for Selective Disclosure of Linked Data.
Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Inference Leakage Detection for Authorization Policies over RDF Data.
Proceedings of the Data and Applications Security and Privacy XXIX, 2015

RQL: A SQL-Like Query Language for Discovering Meaningful Rules.
Proceedings of the 2014 IEEE International Conference on Data Mining Workshops, 2014

From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation.
Int. J. Web Service Res., 2012

Authorization Policies for Materialized Views.
Proceedings of the Information Security and Privacy Research, 2012

A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence.
Proceedings of the ECAI 2012, 2012

Timed Web Services Analysis after Removing Complex Implicit Transitions.
Proceedings of the IEEE International Conference on Web Services, 2011

A Constraint Programming Approach for Enumerating Motifs in a Sequence.
Proceedings of the Data Mining Workshops (ICDMW), 2011

Access control to materialized views: an inference-based approach.
Proceedings of the 2011 Joint EDBT/ICDT Ph.D. Workshop, Uppsala, Sweden, March 25, 2011, 2011

FORUM: a flexible data integration system based on data semantics.
SIGMOD Record, 2010

Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control.
Proceedings of the IEEE International Conference on Web Services, 2010

Supporting Web Service Protocol Changes by Propagation.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009

Consistency checking of role assignments in inter-organizational collaboration.
Proceedings of the SIGSPATIAL ACM GIS 2008 International Workshop on Security and Privacy in GIS and LBS, 2008

An Ontological Interface for Software Developers to Select Security Patterns.
Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

Verification of Privacy Timed Properties in Web Service Protocols.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

Privacy-Aware Web Service Protocol Replaceability.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Préservation de l'Intimité dans les Protocoles de Conversations.
Proceedings of the Extraction et gestion des connaissances (EGC'2007), 2007

Descriptive Typing Rules for Xcerpt.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

A Type System for CHR.
Proceedings of the Logic Programming, 21st International Conference, 2005

A Type System for CHR.
Proceedings of the Recent Advances in Constraints, 2005

TCLP: A type checker for CLP(X).
Proceedings of the 13th International Workshop on Logic Programming Environments, 2003

Contraintes de sous-typage dans les quasi-treillis.
Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003

Subtyping Constraints in Quasi-lattices.
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

Surcharge et sous-typage dans TCLP.
Proceedings of the Programmation en logique avec contraintes, 2002

TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.
Proceedings of the Logic Programming, 18th International Conference, 2002

Typing constraint logic programs.
TPLP, 2001

Programmes logiques avec contraintes typés.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001