Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédente | ||
research:start [2012/06/19 09:51] ecoquery créée |
research:start [2018/06/21 10:29] ecoquery |
||
---|---|---|---|
Ligne 5: | Ligne 5: | ||
===== Topics ===== | ===== Topics ===== | ||
+ | * Security Policies (languages, inference). | ||
+ | * Declarative approaches for interesting pattern enumeration [[http:// | ||
+ | * Web services (specification, | ||
+ | * Constraint programming, | ||
+ | * Typing of constraint programming languages, subtyping constraints. | ||
===== Publications ===== | ===== Publications ===== | ||
- | Publication list: [[http:// | + | Publication list: [[https:// |
PhD Thesis (in french): {{: | PhD Thesis (in french): {{: | ||
- | |||
===== Software ===== | ===== Software ===== | ||
* [[: | * [[: | ||
- | * [[http:// | + | * [[:research:tclp:start|TCLP]]: A typing softer for contraint logic languages and [[http:// |