Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
research:start [2012/06/26 10:32]
ecoquery [Topics]
research:start [2018/06/21 10:29] (Version actuelle)
ecoquery
Ligne 6: Ligne 6:
 ===== Topics ===== ===== Topics =====
   * Security Policies (languages, inference).   * Security Policies (languages, inference).
-  * Declarative approaches for interesting pattern enumeration [[http://liris.cnrs.fr/dag|DAG project]].+  * 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.
   * Typing of constraint programming languages, subtyping constraints.   * Typing of constraint programming languages, subtyping constraints.
- 
 ===== Publications ===== ===== Publications =====
  
-Publication list: [[http://liris.cnrs.fr/membres/?idn=ecoquery&mode=liste&onglet=publis|at LIRIS since 2006]], [[:research:publis2006|before 2006]].+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}}.
- 
 ===== Software ===== ===== Software =====
  
   * [[: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]].