Kitano H: Computational systems biology. Nature. 2002, 420 (6912): 206-10.

Article
CAS
PubMed
Google Scholar

Kauffman SA: Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol. 1969, 22 (3): 437-67.

Article
CAS
PubMed
Google Scholar

Kauffman S: The Origins of Order: Self-organization and Selection in Evolution. 1993, Oxford University Press, NY

Google Scholar

Thomas R, D'Ari R: Biological Feedback. 1990, CRC Press

Google Scholar

Faure A, Naldi A, Chaouiya C, Thieffry D: Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics. 2006, 22 (14): e124-31.

Article
CAS
PubMed
Google Scholar

Chaves M, Albert R, D SE: Robustness and fragility of Boolean models for genetic regulatory networks. J Theor Biol. 2005, 235 (3): 431-49.

Article
PubMed
Google Scholar

Garg A, Xenarios I, Mendoza L, DeMicheli G: An Efficient method for dynamic analysis of gene regulatory networks. RECOMB 2007; Heidelberg. Edited by: Speed T, Huang H. 2007, 62-76.

Google Scholar

Horton JD, Shimomura I, Brown MS, Hammer RE, Goldstein JL, Shimano H: Activation of cholesterol synthesis in preference to fatty acid synthesis in liver and adipose tissue of transgenic mice overproducing sterol regulatory element-binding protein-2. J Clin Invest. 1998, 101 (11): 2331-9.

Article
PubMed Central
CAS
PubMed
Google Scholar

Osborne TF: Sterol regulatory element-binding proteins (SREBPs): key regulators of nutritional homeostasis and insulin action. J Biol Chem. 2000, 275 (42): 32379-82.

Article
CAS
PubMed
Google Scholar

Shimano H: Sterol regulatory element-binding protein family as global regulators of lipid synthetic genes in energy metabolism. Vitam Horm. 2002, 65: 167-94.

Article
CAS
PubMed
Google Scholar

Auer J, Eber B: A clinical focus on statins. Curr Opin Investig Drugs. 2001, 2 (3): 382-388.

CAS
PubMed
Google Scholar

Bocan TM: Pleiotropic effects of HMG-CoA reductase inhibitors. Curr Opin Investig Drugs. 2002, 3 (9): 1312-1317.

CAS
PubMed
Google Scholar

Buhaescu I, Izzedine H: Mevalonate pathway: a review of clinical and therapeutical implications. Clin Biochem. 2007, 40 (9–10): 575-584.

Article
CAS
PubMed
Google Scholar

Fears R: Mode of action of lipid-lowering drugs. Baillieres Clin Endocrinol Metab. 1987, 1 (3): 727-754.

Article
CAS
PubMed
Google Scholar

Demierre MF, Higgins PD, Gruber SB, Hawk E, Lippman SM: Statins and cancer prevention. Nat Rev Cancer. 2005, 5 (12): 930-42.

Article
CAS
PubMed
Google Scholar

Coleman PS, Chen LC, Sepp-Lorenzino L: Cholesterol metabolism and tumor cell proliferation. Subcell Biochem. 1997, 28 (363–435): 363-

Article
CAS
PubMed
Google Scholar

Cox AD, Der CJ: The ras/cholesterol connection: implications for ras oncogenicity. Crit Rev Oncog. 1992, 3 (4): 365-400.

CAS
PubMed
Google Scholar

Edwards PA, Ericsson J: Signaling molecules derived from the cholesterol biosynthetic pathway: mechanisms of action and possible roles in human disease. Curr Opin Lipidol. 1998, 9 (5): 433-440.

Article
CAS
PubMed
Google Scholar

Rao KN: The significance of the cholesterol biosynthetic pathway in cell growth and Carcinogenesis. Anticancer Res. 1995, 2 (2): 309-314.

Google Scholar

Graaf MR, Richel DJ, van Noorden CJ, Guchelaar HJ: Effects of statins and farnesyltransferase inhibitors on the development and progression of cancer. Cancer Treat Rev. 2004, 30 (7): 609-41.

Article
CAS
PubMed
Google Scholar

Chan KK, Oza AM, Siu LL: The statins as anticancer agents. Clin Cancer Res. 2003, 9: 10-19.

CAS
PubMed
Google Scholar

Wong WW, Dimitroulakos J, Minden MD, Penn LZ: HMG-CoA reductase inhibitors and the malignant cell: the statin family of drugs as triggers of tumor-specific apoptosis. Leukemia. 2002, 16 (4): 508-519.

Article
CAS
PubMed
Google Scholar

Berg J, Tymoczko J, Stryer L: Biochemistry. 2001, W.H. Freeman and Company, 5

Google Scholar

Bengoechea-Alonso MT, Ericsson J: SREBP in signal transduction: cholesterol metabolism and beyond. Curr Opin Cell Biol. 2007, 19 (2): 215-222.

Article
CAS
PubMed
Google Scholar

Brown MS, Goldstein JL: Multivalent feedback regulation of HMG CoA reductase, a control mechanism coordinating isoprenoid synthesis and cell growth. J Lipid Res. 1980, 21 (5): 505-517.

CAS
PubMed
Google Scholar

Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, Kitano H, Arkin AP, Bornstein BJ, Bray D, Cornish-Bowden A, Cuellar AA, Dronov S, Gilles ED, Ginkel M, Gor V, Goryanin I, Hedley WJ, Hodgman TC, Hofmeyr JH, Hunter PJ, Juty NS, Kasberger JL, Kremling A, Kummer U, Le Novere N, Loew LM, Lucio D, Mendes P, Minch E, Mjolsness ED, Nakayama Y, Nelson MR, Nielsen PF, Sakurada T, Schaff JC, Shapiro BE, Shimizu TS, Spence HD, Stelling J, Takahashi K, Tomita M, Wagner J, Wang J: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics. 2003, 19 (4): 524-31.

Article
CAS
PubMed
Google Scholar

Finney A, Hucka M: Systems biology markup language: Level 2 and beyond. Biochem Soc Trans. 2003, 31 (Pt 6): 1472-1473.

Article
CAS
PubMed
Google Scholar

Le Novere N, Bornstein B, Broicher A, Courtot M, Donizelli M, Dharuri H, Li L, Sauro H, Schilstra M, Shapiro B, Snoep JL, Hucka M: BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res. 2006, D689-91. 34 Database

Choudhary A, Datta A, Bittner ML, Dougherty ER: Intervention in a family of Boolean networks. Bioinformatics. 2006, 22 (2): 226-32.

Article
CAS
PubMed
Google Scholar

Shmulevich I, Dougherty ER, Kim S, Zhang W: Probabilistic Boolean Networks: a rule-based uncertainty model for gene regulatory networks. Bioinformatics. 2002, 18 (2): 261-74.

Article
CAS
PubMed
Google Scholar

Chen PC, Chen JW: A Markovian approach to the control of genetic regulatory networks. Biosystems. 2007, 90 (2): 535-45.

Article
PubMed
Google Scholar

Du D, Gu J, Pardalos PM: Satisfiability Problem: Theory and Applications. 1997, AMS, DIMACS

Google Scholar

Satisfiability Suggested Format. To read this reference you will need the 2 following software: GPL Ghostscript and GSview. GPL Ghostscript can be downloaded from: http://pages.cs.wisc.edu/~ghost/doc/GPL/gpl863.htm and GSview can be downloaded from: http://pages.cs.wisc.edu/~ghost/gsview/get49.htm

Di Cara A, Garg A, De Micheli G, Xenarios I, Mendoza L: Dynamic simulation of regulatory networks using SQUAD. BMC Bioinformatics. 2007, 8 (462):

Google Scholar

Web page of test for Initial Value Problems (IVPs) solvers. http://www.dm.uniba.it/~testset

Web page describing the ISCAS89 benchmark circuits.http://courses.ece.uiuc.edu/ece543/iscas89.html

Naldi A, Thieffry D, Chaouiya C: Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks. Computational Methods in Systems Biology, CMSB 2007, Edinburgh, Scotland. 2007, 4695: 233-247. Springer

Google Scholar

Mendoza L, Xenarios I: A method for the generation of standardized qualitative dynamical systems of regulatory networks. Theor Biol Med Model. 2006, 3: 13-

Article
PubMed Central
PubMed
Google Scholar

Chaouiya C, Remy E, Mossé B, Thieffry D: Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. "First Multidisciplinary International Symposium on Positive Systems: Theory and Applications" (POSTA 2003), of LNCIS. 2003, 294: 119-126. Springer-Verlag

Google Scholar

Gonzalez A, Naldi A, Sãnchez L, Thieffry D, Chaouiy C: GINsim : a software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems. 2006, 84 (2): 91-100.

Article
CAS
PubMed
Google Scholar

Espenshade PJ, Hughes AL: Regulation of sterol synthesis in eukaryotes. Annu Rev Genet. 2007, 41: 407-427.

Article
Google Scholar

Goldstein JL, Brown MS: Regulation of the mevalonate pathway. Nature. 1990, 343 (6257): 425-430.

Article
CAS
PubMed
Google Scholar

Ness GC, Chambers CM: Feedback and hormonal regulation of hepatic 3-hydroxy-3-methylglutaryl coenzyme A reductase: the concept of cholesterol buffering capacity. Proc Soc Exp Biol Med. 2000, 224: 8-19.

Article
CAS
PubMed
Google Scholar

Osborne TF: Transcriptional control mechanisms in the regulation of cholesterol balance. Crit Rev Eukaryot Gene Expr. 1995, 5 (3–4): 317-335.

Article
CAS
PubMed
Google Scholar

Chen YQ, Edwards IJ, Kridel SJ, Thornburg T, Berquin IM: Dietary fat-gene interactions in cancer. Cancer Metastasis Rev. 2007, 26 (3–4): 535-551.

Article
CAS
PubMed
Google Scholar

Logette E, Le Jossic-Corcos C, Masson D, Solier S, Sequeira-Legrand A, Dugail I, Lemaire-Ewing S, Desoche L, Solary E, Corcos L: Caspase-2, a novel lipid sensor under the control of sterol regulatory element binding protein 2. Mol Cell Biol. 2005, 25 (21): 9621-9631.

Article
PubMed Central
CAS
PubMed
Google Scholar

Logette E, Solary E, Corcos L: Identification of a functional DNA binding site for the SREBP-1c transcription factor in the first intron of the human caspase-2 gene. Biochim Biophys Acta. 2005, 1738 (1–3): 1-5.

Article
CAS
PubMed
Google Scholar

Kamimura D, Ishihara K, Hirano T: IL-6 signal transduction and its physiological roles: the signal orchestration model. Rev Physiol Biochem Pharmacol. 2003, 149: 1-38.

CAS
PubMed
Google Scholar

Kandpal RP: Rho GTPase activating proteins in cancer phenotypes. Curr Protein Pept Sci. 2006, 7 (4): 355-65.

Article
CAS
PubMed
Google Scholar

Fritz G, Kaina B: Rho GTPases: promising cellular targets for novel anticancer drugs. Curr Cancer Drug Targets. 2006, 6: 1-14.

CAS
PubMed
Google Scholar

Bustelo XR, Sauzeau V, Berenjeno IM: GTP-binding proteins of the Rho/Rac family: regulation, effectors and functions in vivo. Bioessays. 2007, 29 (4): 356-70.

Article
PubMed Central
CAS
PubMed
Google Scholar

Strange PG: Signaling mechanisms of GPCR ligands. Curr Opin Drug Discov Devel. 2008, 11 (2): 196-202.

CAS
PubMed
Google Scholar

Singh A, Jayaraman A, Hahn J: Modeling regulatory mechanisms in IL-6 signal transduction in hepatocytes. Biotechnol Bioeng. 2006, 95 (5): 850-62.

Article
CAS
PubMed
Google Scholar

Maurya MR, Bornheimer SJ, Venkatasubramanian V, Subramaniam S: Reduced-order modelling of biochemical networks: application to the GTPase-cycle signalling module. Syst Biol (Stevenage). 2005, 152 (4): 229-242.

Article
CAS
Google Scholar

Thomas R, Thieffry D, Kaufman M: Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull Math Biol. 1995, 57 (2): 247-76.

Article
CAS
PubMed
Google Scholar

Sanchez L, van Helden J, Thieffry D: Establishement of the dorso-ventral pattern during embryonic development of drosophila melanogasater: a logical analysis. J Theor Biol. 1997, 189 (4): 377-89.

Article
PubMed
Google Scholar

Sanchez L, Thieffry D: A logical analysis of the Drosophila gap-gene system. J Theor Biol. 2001, 211 (2): 115-41.

Article
CAS
PubMed
Google Scholar

Schaub MA, Henzinger TA, Fisher J: Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Syst Biol. 2007, 1: 4-

Article
PubMed Central
PubMed
Google Scholar

Ratushny A, Ignatieva E, Matushkin Y, Likhoshvai V: Mathematical model of cholesterol biosynthesis regulation in the cell. Proceedings of the Second International Conference on Bioinformatics of Genome Regulation and Structure: 7–11 August 2000; Novosibirsk, Russia. 2000, 203-06.

Google Scholar

CellDesigner. , http://www.celldesigner.org/

Kitano H, Funahashi A, Matsuoka Y, Oda K: Using process diagrams for the graphical representation of biological networks. Nat Biotechnol. 2005, 23 (8): 961-6.

Article
CAS
PubMed
Google Scholar