Différences

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

--- research:start [2012/07/27 13:08]
ecoquery [Publications]
+++ research:start [2012/11/27 11:28]
ecoquery [Topics]
@@ Ligne 6: / Ligne 6: @@
 ===== Topics =====
   * 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.
   * Constraint programming, constraint languages, constraint based verification.
@@ Ligne 18: / Ligne 18: @@
   * [[: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]].

Emmanuel COQUERY