An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and in silico Gene Perturbation Experiments
暂无分享,去创建一个
Giovanni De Micheli | Ioannis Xenarios | Luis Mendoza | Abhishek Garg | A. Garg | I. Xenarios | G. Micheli | L. Mendoza
[1] Guanyu Wang,et al. Growth factors, cytokines, chemokines and neuropeptides in the modeling of T-cells. , 2002, In vivo.
[2] S. Szabo,et al. Molecular mechanisms regulating Th1 immune responses. , 2003, Annual review of immunology.
[3] Denis Thieffry,et al. Alternative Epigenetic States Understood in Terms of Specific Regulatory Structures , 2002, Annals of the New York Academy of Sciences.
[4] Martine Labbé,et al. Identification of all steady states in large networks by logical analysis , 2003, Bulletin of mathematical biology.
[5] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[6] Giovanni De Micheli,et al. Synthesis and Optimization of Digital Circuits , 1994 .
[7] R Thomas,et al. Dynamical behaviour of biological regulatory networks--I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. , 1995, Bulletin of mathematical biology.
[8] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[9] Denis Thieffry,et al. Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..
[10] Denis Thieffry,et al. Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. , 2003, Journal of theoretical biology.
[11] J. Hemmen,et al. Cytokine-modulated regulation of helper T cell populations. , 2000, Journal of theoretical biology.
[12] Edmund M. Clarke,et al. Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[13] Kenneth M. Murphy,et al. Decision making in the immune system: The lineage decisions of helper T cells , 2002, Nature Reviews Immunology.
[14] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[15] A S Perelson,et al. Localized memories in idiotypic networks. , 1990, Journal of theoretical biology.
[16] Enrico Macii,et al. Markovian analysis of large finite state machines , 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[17] Pierre Hansen,et al. Identification Of All Steady States In Large Biological Systems By Logical Analysis , 2007 .
[18] Robert K. Brayton,et al. Implicit state enumeration of finite state machines using BDD's , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[19] Adrien Richard,et al. Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. , 2004, Journal of theoretical biology.
[20] Massimo Gadina,et al. Cytokines and Transcription Factors That Regulate T Helper Cell Differentiation: New Players and New Insights , 2003, Journal of Clinical Immunology.
[21] Ioannis Xenarios,et al. A method for the generation of standardized qualitative dynamical systems of regulatory networks , 2005, Theoretical Biology and Medical Modelling.
[22] Peter A. Beerel,et al. Efficient state classification of finite state Markov chains , 1998, DAC.
[23] G. Sharp,et al. IFN-gamma-deficient mice develop severe granulomatous experimental autoimmune thyroiditis with eosinophil infiltration in thyroids. , 1998, Journal of immunology.
[24] E. Fikrig,et al. Inhibition of Th1 differentiation by IL-6 is mediated by SOCS1. , 2000, Immunity.
[25] Luis Mendoza,et al. A network model for the control of the differentiation process in Th cells. , 2006, Bio Systems.
[26] L. Segel,et al. Th1 or Th2: How an appropriate T helper response can be made , 2001, Bulletin of mathematical biology.
[27] René Thomas. Regulatory networks seen as asynchronous automata: A logical description , 1991 .
[28] Thomas A. Henzinger,et al. MOCHA: Modularity in Model Checking , 1998, CAV.