Publications de l'auteur Daniel K. Schneider


Voir le profil PISTOU de l'auteur

La liste contient 3 élément(s)

(Les éditeurs apparaissent en italique)


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