Dominique Schneider (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider: Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. IJCAI 2005: 370-375

1 Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider: Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. ISMB (Supplement of Bioinformatics) 2005: 19-28

Selection of 2 from 4 records - Dominique Schneider has 8 coauthors

2		Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider: Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. IJCAI 2005: 370-375
1		Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider: Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. ISMB (Supplement of Bioinformatics) 2005: 19-28