Les deux révisions précédentes
Révision précédente
Prochaine révision
|
Révision précédente
|
research:start [2012/07/27 13:08] ecoquery [Publications] |
research:start [2018/06/21 10:29] (Version actuelle) ecoquery |
===== Topics ===== | ===== Topics ===== |
* Security Policies (languages, inference). | * Security Policies (languages, inference). |
* Declarative approaches for interesting pattern enumeration [[http://liris.cnrs.fr/dag|DAG project]]. [[http://liris.cnrs.fr/wdpm2012|WDPM@ICDM2012 Workshop]]. | * Declarative approaches for interesting pattern enumeration [[http://liris.cnrs.fr/dag|DAG project]]. |
* Web services (specification, composition), [[http://www.compas-ict.eu/|COMPAS project]], ANR JCJC servicemosaic project. | * Web services (specification, composition), [[http://www.compas-ict.eu/|COMPAS project]], ANR JCJC servicemosaic project. |
* Constraint programming, constraint languages, constraint based verification. | * Constraint programming, constraint languages, constraint based verification. |
===== Publications ===== | ===== Publications ===== |
| |
Publication list: [[http://liris.cnrs.fr/membres/?idn=ecoquery&mode=liste&onglet=publis|at LIRIS since 2006]], [[:research:publis2006|before 2006]],[[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Coquery:Emmanuel.html|@DBLP]]. | Publication list: [[https://liris.cnrs.fr/membres/?idn=ecoquery&onglet=publis|at LIRIS since 2006]], [[:research:publis2006|before 2006]],[[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Coquery:Emmanuel.html|@DBLP]]. |
| |
PhD Thesis (in french): {{:research:these.pdf|manuscript}},{{:research:soutenance.pdf|slides}}. | PhD Thesis (in french): {{:research:these.pdf|manuscript}},{{:research:soutenance.pdf|slides}}. |
| |
* [[:research:satminer|SATMiner]]: Software for finding interesting pattern using constraint programming and SAT backend. | * [[:research:satminer|SATMiner]]: Software for finding interesting pattern using constraint programming and SAT backend. |
* [[http://contraintes.inria.fr/~coquery/tclp|TCLP]]: A typing softer for contraint logic languages and [[http://dtai.cs.kuleuven.be/CHR/|CHR]]. | * [[:research:tclp:start|TCLP]]: A typing softer for contraint logic languages and [[http://dtai.cs.kuleuven.be/CHR/|CHR]]. |