Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

First Page		Document Content
Date: 2018-05-10 06:54:26 Mathematical analysis Probability theory Statistical theory Evolutionary developmental biology Gene expression Gene regulatory network Networks Systems biology Linear temporal logic Normal distribution Model theory		Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗ Add to Reading List Source URL: pub.ist.ac.at Download Document from Source Website File Size: 377,11 KB Share Document on Facebook

	Integrative analysis of the zinc ﬁnger transcription factor Lame duck in the Drosophila myogenic gene regulatory network Brian W. Bussera,1, Di Huangb,1, Kevin R. Rogackia,1, Elizabeth A. Lanea, Leila Shokric, Ting Nia DocID: 1uOGK - View Document
	Inferring Gene Regulatory Network Models for Plant Stem Cell Regulation Henrik J¨onsson1, Marcus Heisler2, G. Venugopala Reddy2, Elliot M. Meyerowitz2 and Eric Mjolsness4 1Complex Systems Division, Department of Theoret DocID: 1uLM1 - View Document
	Por Sae-Seaw Final Paper – Bioc218 June 6, 2010 A review of graphical models for gene regulatory network inference using microarray data Introduction An important problem in systems biology is the inference of gene reg DocID: 1u4CV - View Document
	Genome Informatics 11: 227–A Simulation Tool for Regulatory Network of Gene Expressions in the Patterning of Multicellular Organisms DocID: 1sqeR - View Document
	Genome Informatics 11: 278–Quantitative Modeling of Gene Regulatory Network: Identifying the Network by Means of Genetic DocID: 1s5ZP - View Document