Modeling and property verification of lactose operon regulation

Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science)

Volumn 3594, Issue , 2005, Pages 95-106

  Pint, Marcelo Cezar ^a   Foss, Luciana ^a   Mombach, José Carlos Merino ^b   Ribeiro, Leila ^a  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b UNIVERSIDADE DO VALE DO RIO DOS SINOS   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMMUNICATION SYSTEMS; MATHEMATICAL MODELS; SUGARS; BIOCHEMISTRY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; MOLECULAR BIOLOGY;

BIOCHEMICAL NETWORKS; CALCULUS OF COMMUNICATING SYSTEMS (CCS); PROCESS ALGEBRAS; LACTOSE OPERON;

BIOCHEMISTRY; ENZYME KINETICS;

EID: 26444497569     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Voit, E. O. (2000). Computational analysis of biochemical systems. Cambridge University Press, United Kingdom.
2. Jong, H. D. (2002). Modeling and Simulation of Genetic Regulatory Systems: A literature review. Journal of Computational Biology, 9(1):67-103.
3. Antoniotti, M., Policriti, A., Ugel, N. and Mishra, B. (2003). Model Building and Model Checking for Biochemical Processes. Cell Biochem. Biophys., 38:271-286.
4. Reddy, V. N. (1994). Modeling Biochemical Pathways: A discrete event systems approach. Master's thesis, University of Maryland.
5. Lemke, N., Herédia, F., Barcellos, C. K., Reis, A. N. and Mombach, J. C. M. (2004). Essentiality and Damage in Metabolic Networks. Bioinformatics, 20(1):115-119.
6. Nelson, D. L. and Cox, M. M. (2004). Lehninger Principles of Biochemistry. 4th Edition, W. H. Freeman and Co., New York.
7. Jacob, F. and Monod, J. (1961). Genetic Regulatory Mechanisms in the Synthesis of Proteins. Journal of Molecular Biology, 3:318-389.
8. Regev, A., Silverman, W. and Shapiro, E. (2001). Representation and Simulation of Biochemical Processes using the π-Calculus Process Algebra. In Pacific Symposium on Biocomputing, 6:459-470, World Scientific Press, Singapore.
9. Ciobanu, G., Ciubotariu, V. and Tanasǎ, B. (2002) A π-Calculus Model of the Na Pump. Genome Informatics, 13:469-471.
10. Yildirim, N. and Mackey, M. C. (2003). Feedback Regulation in the Lactose Operon: A mathematical modeling study and comparison with experimental data. Biophysical Journal, 84:2841-2851.
11. Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F. and Schächter, V. (2004). Modeling and Querying Biomolecular Interaction Networks. Theoretical Computer Science, 325:25-44.
12. Milner, R. (1989). Communication and Concurrency. Prentice Hall, New York.
13. Lewin, B. (2004). Genes VIII. Pearson Prentice Hall, USA.
14. The CWB-NC website. http://www.cs.sunysb.edu/~cwb/.
15. Clarke, E. M., Emerson, E. A. and Sistla, A. P. (1986). Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263.
16. The MONET website. http://www.inf.unisinos.br/~lbbc/monet.