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 Prochaine révision Les deux révisions suivantes | ||
research:start [2012/06/26 10:29] ecoquery [Topics] |
research:start [2012/11/20 16:22] ecoquery [Software] |
||
---|---|---|---|
Ligne 5: | Ligne 5: | ||
===== Topics ===== | ===== Topics ===== | ||
- | * Politiques de sécurité | + | * Security Policies |
- | * Approches déclaratives pour l' | + | * Declarative approaches for interesting pattern enumeration |
- | * Web services (spécification, composition), | + | * Web services (specification, composition), |
- | * Contraintes: | + | * Constraint programming, constraint languages, constraint based verification. |
- | * Typage: typage des langages de programmation par contraintes, contraintes de sous-typage. | + | * Typing of constraint programming languages, subtyping constraints. |
===== Publications ===== | ===== Publications ===== | ||
- | Publication list: [[http:// | + | Publication list: [[http:// |
PhD Thesis (in french): {{: | PhD Thesis (in french): {{: | ||
- | |||
===== Software ===== | ===== Software ===== | ||
* [[: | * [[: | ||
- | * [[http:// | + | * [[:research:tclp:start|TCLP]]: A typing softer for contraint logic languages and [[http:// |