Ci-dessous, les différences entre deux révisions de la page.
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:// | + | * Declarative approaches for interesting pattern enumeration [[http:// |
* Web services (specification, | * Web services (specification, | ||
* Constraint programming, | * Constraint programming, | ||
* Typing of constraint programming languages, subtyping constraints. | * 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:// |