Author:
Claessen Koen,Fisher Jasmin,Ishtiaq Samin,Piterman Nir,Wang Qinsi
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: 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)
2. Lecture Notes in Computer Science;D. Benque,2012
3. Beyer, A., Thomason, P., Li, X., Scott, J., Fisher, J.: Mechanistic insights into metabolic disturbance during type-2 diabetes and obesity using qualitative networks. T. Comp. Sys. Biology 12, 146–162 (2010)
4. Bonzanni, N., Krepska, E., Feenstra, K.A., Fokkink, W., Kielmann, T., Bal, H., Heringa, J.: Executing multicellular differentiation: Quantitative predictive modelling of C.elegans vulval development. Bioinformatics 25(16), 2049–2056 (2009)
5. Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F.: Modeling and querying biomolecular interaction networks. Th. Comp. Sci. 325(1), 25–44 (2004)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献