q-bio0604017/eccs.bbl
1: \begin{thebibliography}{10}
2: 
3: \bibitem{Bind}
4: GD~Bader, D~Betel, and CW~Hogue.
5: \newblock Bind: the biomolecular interaction network database.
6: \newblock {\em Nucleic Acids Res.}, 31(1):248--50, 2003.
7: 
8: \bibitem{BDD}
9: R.E Bryan.
10: \newblock Graph-based algorithm for boolean function manipulation.
11: \newblock {\em IEEE Transactions on Computers}, 8:677--691, August 1986.
12: 
13: \bibitem{CRRT04}
14: Chaouiya C, Remy E, Ruet P, and Thieffry D.
15: \newblock Qualitative modelling of genetic networks: From logical regulatory
16:   graphs to standard petri nets.
17: \newblock {\em Lecture Notes in Computer Science}, 3099:137--156, 2004.
18: 
19: \bibitem{CRCDF04+}
20: N.~Chabrier-Rivier, M.Chiaverini, V.~Danos, F.~Fages, and V.~Schächter.
21: \newblock Modeling and querying biomolecular interaction networks.
22: \newblock {\em Theoretical Computer Science}, 325(1):25--44, 2004.
23: 
24: \bibitem{SMV}
25: E.~Clarke, O.~Grumberg, and D.~Long.
26: \newblock Verification tools for finite-state concurrent systems. in: A decade
27:   of concurrency - reflections and perspectives.
28: \newblock {\em Lecture Notes in Computer Science}, 803, 1994.
29: 
30: \bibitem{DJ02}
31: H.~de~Jong.
32: \newblock Modeling and simulation of genetic regulatory systems: A literature
33:   review.
34: \newblock {\em Journal of Computational Biology}, 9(1):69--105, 2002.
35: 
36: \bibitem{DJGHP04+}
37: H.~de~Jong, J.-L. Gouzé, C.~Hernandez, M.~Page, T.~Sari, and J.~Geiselmann.
38: \newblock Qualitative simulation of genetic regulatory networks using
39:   piecewise-linear models.
40: \newblock {\em Bulletin of Mathematical Biology}, 66(2):301--340, 2004.
41: 
42: \bibitem{Dormoy88}
43: J.L. Dormoy.
44: \newblock Controlling qualitative resolution.
45: \newblock In {\em Proceedings of the seventh National Conference on Artificial
46:   Intelligence, AAAI88', Saint-Paul, Minn.}, 1988.
47: 
48: \bibitem{meta-control}
49: David Fell.
50: \newblock {\em Understanding the Control of Metabolism}.
51: \newblock Portland Press, London, 1997.
52: 
53: \bibitem{GT04}
54: Ronojoy Ghosh and Claire Tomlin.
55: \newblock Symbolic reachable set computation of piecewise affine hybrid
56:   automata and its application to biological modelling: Delta-notch protein
57:   signalling.
58: \newblock {\em Systems Biology}, 1(1):170--183, 2004.
59: 
60: \bibitem{meta-control2}
61: Reinhart Heinrich and Stefan Schuster.
62: \newblock {\em The Regulation of Cellular Systems}.
63: \newblock Chapman and Hall, New York, 1996.
64: 
65: \bibitem{IntAct}
66: H.~Hermjakob, L.~Montecchi-Palazzi, C.~Lewington, S.~Mudali, and al.
67: \newblock Intact -- an open source molecular interaction database\.
68: \newblock {\em Nucleic Acids Research}, 32:D452--D455, 2004.
69: 
70: \bibitem{Jump}
71: DB~Jump.
72: \newblock Fatty acid regulation of gene transcription.
73: \newblock {\em Crit. Rev. Clin. Lab. Sci.}, 41(1):41--78, 2004.
74: 
75: \bibitem{Laubenbacher04}
76: R.~Laubenbacher and B.~Stigler.
77: \newblock A computational algebra approach to the reverse engineering of gene
78:   regulatory networks.
79: \newblock {\em J. Theor. Biol.}, 229:523--537, 2004.
80: 
81: \bibitem{Lee}
82: SS~Lee, WY~Chan, CK~Lo, and alt.
83: \newblock Requirement of pparalpha in maintaining phospholipid and
84:   triacylglycerol homeostasis during energy deprivation.
85: \newblock {\em J Lipid Res.}, 45(11):2025--37, 2004.
86: 
87: \bibitem{Amaze}
88: C.~Lemer, E.~Antezana, F.~Couche, and alt.
89: \newblock The amaze lightbench: a web interface to a relational database of
90:   cellular processes.
91: \newblock {\em Nucleic Acids Res.}, 32:D443--D448, 2004.
92: 
93: \bibitem{Liang2002}
94: G~Liang, J~Yang, JD~Horton, RE~Hammer, and alt.
95: \newblock Diminished hepatic response to fasting/refeeding and liver x receptor
96:   agonists in mice with selective deficiency of sterol regulatory
97:   element-binding protein-1c.
98: \newblock {\em J Biol Chem}, 277(15):9520--8, Jan 2002.
99: 
100: \bibitem{Takashi}
101: T~Matsuzaka, H~Shimano, N~Yahagi, and alt.
102: \newblock Dual regulation of mouse delta(5)- and delta(6)-desaturase gene
103:   expression by srebp-1 and pparalpha.
104: \newblock {\em J Lipid Res.}, 43(1):107--14, 2002.
105: 
106: \bibitem{Miller}
107: CW~Miller and JM~Ntambi.
108: \newblock Peroxisome proliferators induce mouse liver stearoyl-coa desaturase 1
109:   gene expression.
110: \newblock {\em Proc Natl Acad Sci U S A.}, 93(18):9443--8, 1996.
111: 
112: \bibitem{Nara}
113: TY~Nara, WS~He, C~Tang, SD~Clarke, and MT~Nakamura.
114: \newblock The e-box like sterol regulatory element mediates the suppression of
115:   human delta-6 desaturase gene by highly unsaturated fatty acids.
116: \newblock {\em Biochem. Biophys. Res. Commun.}, 296(1):111--7, 2002.
117: 
118: \bibitem{Kegg}
119: H.~Ogata, S.~Goto, K.~Sato, W.~Fujibuchi, and al.
120: \newblock Kegg: Kyoto encyclopedia of genes and genomes.
121: \newblock {\em Nucleic Acids Research}, 27:29--34, 1999.
122: 
123: \bibitem{Radulescu05}
124: O.~Radulescu, S.~Lagarrigue, A.~Siegel, M.~Le Borgne, and P.~Veber.
125: \newblock Topology and linear response of interaction networks in molecular
126:   biology.
127: \newblock submitted to Royal Society Interface.
128: 
129: \bibitem{GRRLH03+}
130: Gutierrez-Rios RM, Rosenblueth DA, Loza JA, Huerta AM, Glasner JD, Blattner FR,
131:   and Collado-Vides J.
132: \newblock Regulatory network of escherichia coli: consistency between
133:   literature knowledge and microarray profiles.
134: \newblock {\em Genome Res.}, 13(11):2435--43, 2003.
135: 
136: \bibitem{TransPath}
137: F.~Schacherer, C.~Choi, U.~Gotze, M.~Krull, S.~Pistor, and E.~Wingender.
138: \newblock The {TRANSPATH} signal transduction database: a knowledge base on
139:   signal transduction networks.
140: \newblock {\em Bioinformatics}, 17(11):1053--1057, 2001.
141: 
142: \bibitem{Biosystems}
143: A.~Siegel, O.~Radulescu, M.~Le~Borgne, P.~Veber, J.~Ouy, and S.~Lagarrigue.
144: \newblock Qualitative analysis of the relation between dna microarray data and
145:   behavioral models of regulation networks.
146: \newblock {\em Biosystems}, submitted 2005.
147: 
148: \bibitem{StefGus04}
149: KR~Steffensen and JA. Gustafsson.
150: \newblock Putative metabolic effects of the liver x receptor (lxr).
151: \newblock {\em Diabetes}, 53(Supp 1):36--52, Feb 2004.
152: 
153: \bibitem{Tang}
154: C~Tang, HP~Cho, MT~Nakamura, and SD~Clarke.
155: \newblock Regulation of human delta-6 desaturase gene transcription:
156:   identification of a functional direct repeat-1 element.
157: \newblock {\em J Lipid Res}, 44(4):686--95, 2003.
158: 
159: \bibitem{Tobin2000}
160: KA~Tobin, HH~Steineger, S~Alberti, O~Spydevold, and alt.
161: \newblock Cross-talk between fatty acid and cholesterol metabolism mediated by
162:   liver x receptor-alpha.
163: \newblock {\em Mol Endocrinol}, 14(5):741--52, May 2000.
164: 
165: \bibitem{Trave}
166: L.~Trav\'e-Massuy\`es and P.~Dague, editors.
167: \newblock {\em Modèles et raisonnements qualitatifs}.
168: \newblock Hermes sciences, 2003.
169: 
170: \bibitem{Wagner04}
171: A.~Wagner.
172: \newblock Reconstructing pathways in large genetic networks from genetic
173:   perturbations.
174: \newblock {\em Journal of Computational Biology}, 11:53--60, 2004.
175: 
176: \end{thebibliography}
177: