Différences
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/07/13 10:17] ecoquery [Topics] |
research:start [2012/11/20 16:22] ecoquery [Software] |
===== 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: [[http://liris.cnrs.fr/membres/?idn=ecoquery&mode=liste&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]]. |