Search results for "Emmanuel Coquery"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais	A Constraint Programming Approach for Enumerating Motifs in a Sequence.	ICDM Workshops	2011	DBLP DOI BibTeX RDF
1	Sarah Nait Bahloul, Emmanuel Coquery, Mohand-Said Hacid	Access control to materialized views: an inference-based approach.	EDBT/ICDT Ph.D. Workshop	2011	DBLP DOI BibTeX RDF
1	Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid	Timed Web Services Analysis after Removing Complex Implicit Transitions.	ICWS	2011	DBLP DOI BibTeX RDF	Implicit transitions, Web Services, Business protocols
1	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	2010	DBLP DOI BibTeX RDF
1	Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid	Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control.	SEKE	2010	DBLP BibTeX RDF
1	Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid	Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control.	ICWS	2010	DBLP DOI BibTeX RDF
1	Ahmed Azough, Emmanuel Coquery, Mohand-Said Hacid	Supporting Web Service Protocol Changes by Propagation.	Web Intelligence	2009	DBLP DOI BibTeX RDF
1	Karima Mokhtari, Salima Benbernou, Mohand-Said Hacid, Emmanuel Coquery, Frank Leymann	Verification of Privacy Timed Properties in Web Service Protocols.	IEEE SCC	2008	DBLP DOI BibTeX RDF	timed-related properties, privacy, business protocol
1	Paul El Khoury, Emmanuel Coquery, Mohand-Said Hacid	Consistency checking of role assignments in inter-organizational collaboration.	SPRINGL	2008	DBLP DOI BibTeX RDF	bridge rules, role based access control, description logic, roles, inter-organizational
1	Paul El Khoury, Amine Mokhtari, Emmanuel Coquery, Mohand-Said Hacid	An Ontological Interface for Software Developers to Select Security Patterns.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	Ontology, Profiles, Security Patterns
1	Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid	Préservation de l'Intimité dans les Protocoles de Conversations.	EGC	2007	DBLP BibTeX RDF
1	Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid	Privacy-Aware Web Service Protocol Replaceability.	ICWS	2007	DBLP DOI BibTeX RDF
1	Emmanuel Coquery, François Fages	A Type System for CHR.	ICLP	2005	DBLP DOI BibTeX RDF
1	Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk	Descriptive Typing Rules for Xcerpt.	PPSWR	2005	DBLP DOI BibTeX RDF
1	Emmanuel Coquery, François Fages	A Type System for CHR.	CSCLP	2005	DBLP DOI BibTeX RDF
1	François Fages, Emmanuel Coquery	Typing constraint logic programs	CoRR	2004	DBLP BibTeX RDF
1	Emmanuel Coquery, François Fages	Contraintes de sous-typage dans les quasi-treillis.	Technique et Science Informatiques	2003	DBLP BibTeX RDF
1	Emmanuel Coquery	TCLP: A type checker for CLP(X).	WLPE	2003	DBLP BibTeX RDF
1	Emmanuel Coquery, François Fages	Contraintes de sous-typage dans les quasi-treillis.	JFPLC	2003	DBLP BibTeX RDF
1	Emmanuel Coquery, François Fages	Subtyping Constraints in Quasi-lattices.	FSTTCS	2003	DBLP DOI BibTeX RDF
1	Emmanuel Coquery, François Fages	Surcharge et sous-typage dans TCLP.	JFPLC	2002	DBLP BibTeX RDF
1	Emmanuel Coquery, François Fages	TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.	ICLP	2002	DBLP DOI BibTeX RDF
1	François Fages, Emmanuel Coquery	Typing constraint logic programs.	TPLP	2001	DBLP DOI BibTeX RDF
1	Emmanuel Coquery, François Fages	Programmes logiques avec contraintes typés.	JFPLC	2001	DBLP BibTeX RDF

Publications of "Emmanuel Coquery" ( http://dblp.L3S.de/Authors/Emmanuel_Coquery )