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:29]
ecoquery [Topics]
research:start [2018/06/21 10:29] (Version actuelle)
ecoquery
Ligne 5: Ligne 5:
  
 ===== Topics ===== ===== Topics =====
-  * Politiques de sécurité (langagesinférence+  * Security Policies (languagesinference). 
-  * Approches déclaratives pour l'énumération de motifs intéressants, [[http://liris.cnrs.fr/dag|projet DAG]]. +  * Declarative approaches for interesting pattern enumeration [[http://liris.cnrs.fr/dag|DAG project]].  
-  * Web services (spécification, composition), [[http://www.compas-ict.eu/projet COMPAS]], projet JCJC servicemosaic. +  * Web services (specification, composition), [[http://www.compas-ict.eu/|COMPAS project]], ANR JCJC servicemosaic project
-  * Contraintes: programmation par contrainteslangages avec contraintesvérification à base de contraintes+  * Constraint programmingconstraint languagesconstraint based verification
-  * Typage: typage des langages de programmation par contraintescontraintes de sous-typage. +  * Typing of constraint programming languagessubtyping 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]].