Home  > Publications
 
 

Publications by year

2010

Modeling and formal verification of biological regulatory networks : an integrative approach
P.T. Monteiro, A.T. Freitas, D. Ropers, R. Mateescu, H. de Jong
Proceedings of First Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH10), Ottawa, Canada, 2010
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
G. Batt, M. Page, I. Cantone, G. Goessler, P. Monteiro, H. de Jong
Bioinformatics, 26(18) :i603-i610, 2010.
The carbon assimilation network in Escherichia coli is densely connected and largely sign-determined by directions of metabolic fluxes
V. Baldazzi, D. Ropers,Y. Markowicz, D. Kahn, J. Geiselmann, H. de Jong
Actes des Journées Ouvertes Biologie Informatique et Mathématiques, JOBIM 2010, 11-12, 2010.
From qualitative to quantitative models of gene regulatory networks in bacteria (extended abstract)
H. de Jong
Proceedings of 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010), Budapest, Hungary, 2010.
image1 Summary Hidde de Jong 28.6 ko
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
G. Batt, M. Page, I. Cantone, G. Goessler, P. Monteiro, H. de Jong
Technical Report INRIA, RR-7284, 2010.
 [1-5] [6-9]