Ban3

Informations sur l'auteur

Daniel K. Schneider

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

  
 

Publications de l'auteur

La liste contient 3 é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]
2005
1
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]
2009
2
Daniel K. Schneider, K. Benetos, Jean-Philippe Pernin, Valérie Emin.
Subjective representations of educational design systems.
VIDLATEL Workshop, in conjunction with ICALT Conference, Riga, Latvia, July 2009, :p. 738-740, 2009.
bibtex/ html
2005
3
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