Ban3

Informations sur l'auteur

Delphine Ropers

http://pistou.imag.fr/site/author/1814

  
 

Publications de l'auteur

La liste contient 6 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2008
1
Hidde de Jong, Pedro Tiago Monteiro, Delphine Ropers, Radu Mateescu, Ana Teresa Freitas.
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks.
Bioinformatics, 24(16):i227--i233, 2008.
Www-128x128
bibtex/ html
2005
2
Hidde de Jong, Grégory Batt, Delphine Ropers, Johannes Geiselmann, Radu Mateescu, Michel Page, Daniel K. Schneider.
Validation of Qualitative Models of Genetic Regulatory Networks by Model Checking: Analysis of the Nutritional Stress Response in Escherichia Coli.
Bioinformatics, 21(Suppl~1):i19--i28, 2005.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2008
3
Hidde de Jong, Pedro Tiago Monteiro, Delphine Ropers, Radu Mateescu, Ana Teresa Freitas.
Malik Ghallab.
Temporal Logic Patterns for Querying Qualitative Models of Genetic Interaction Networks.
Proceedings of the 18th European Conference on Artificial Intelligence ECAI'08 (Patras, Greece), :229--233, jul 2008.
Www-128x128
bibtex/ html
4
Pedro Tiago Monteiro, Delphine Ropers, Radu Mateescu, Ana Teresa Freitas.
Anna Tramontano.
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks.
Proceedings of the 7th European Conference on Computational Biology ECCB'08 (Cagliari, Sardinia-Italy), sep 2008. Note: Full version available as INRIA Research Report RR-6470.
Www-128x128
bibtex/ html
2005
5
Hidde de Jong, Grégory Batt, Delphine Ropers, Johannes Geiselmann, Radu Mateescu, Michel Page, Daniel K. Schneider.
Leslie Pack Kaelbling, Alessandro Saffiotti.
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
Proceedings of the 19th International Joint Conference on Artificial Intelligence IJCAI'05 (Edinburgh, Scotland), :370--375, jul 2005.
bibtex/ html
Scientific popularization [OV]
2008
6
Hidde de Jong, Delphine Ropers, Radu Mateescu, Johannes Geiselmann.
Bioinformatique~: de la cellule à la puce.
may 2008. Note: La Recherche no.~419.
bibtex/ html