VICE: A vIrtual CEll

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

Volumn 3082, Issue , 2005, Pages 207-220

  Chiarugi, D ^a   Curti, M ^a   Degano, P ^a   Marangoni, R ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GENETIC ENGINEERING; LIVING SYSTEMS STUDIES; GENES; SILICA; SPECIFICATIONS; VIRTUAL REALITY;

GENOME; OPTIMAL ENVIRONMENT; SYSTEMS BIOLOGY;

CELLS;

HYPOTHETICAL CELLS; PROKARYOTES; VIRTUAL CELLS;

EID: 26444572799     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25974-9_16     Document Type: Conference Paper

References (24)

1. E. Almaas and B. Kowács et al. Global organization of metabolic fluxes in the bacterium Escherichia Coli. Nature, 427:839-843, 2004.
2. C. Bodei, M. Buchholtz, P. Degano, M. Curti, C. Priami, F. Nielson, and H. Riis Nielson. Performance evaluation of security protocols specified in LySa. In Procs. of the 2nd W/S on Quantitative Aspects of Programming Languages, ENTCS, 2004.
3. st Int. W/S on Computational Methods in Systems Biology, volume 2602 of LNCS. Springer, 2003.
4. st Int. W/S Computational Methods in Systems Biology, volume 2602 of LNCS. Springer, 2003.
5. M. Curti, P. Degano, C. Priami, and C.T. Baldari. Modelling biochemical pathways through enhanced π-calculus. Theoretical Computer Science, To appear, 2004.
6. P. Degano and C. Priami. Enhanced operational semantics. ACM Computing Surveys, 28(2):352-354, 1996.
7. J.S. Edwards, R.U. Ibarra, and B.O. Palsson. In silico predictions of Escherichia coli metabolic capabilities are consistent with experimental data. Nature Biotechnology, 19:125-130, 2001.
8. J.S. Edwards and B.O. Palsson. The Escherichia coli mg1665 in silico metabolic genotype: its definition, characteristics and capabilities. Proceedings of the National Academy of Sciences, 97:5528-5533, 2000.
9. C.M. Fraser et al. The minimal gene complement of mycoplasma genitalium. Science, 270(1):397-403, 1995.
10. Thomas M. Devlin et al. Textbook of Biochemistry, fifth edition. Wiley and Sons, Inc., 2002.
11. Tomita Masaru et al. E-CELL: software environment for whole-cell simulation. Bioinformatics, 15:72-84, 1998.
12. D.A. Fell. Understanding the control of metabolism. Portland Press, London, United Kingdom, 1997.
13. A. Fersht. Structure and Mechanism in Protein Science: A Guide to Enzyme Catalysis and Protein Folding. Freeman, 1999.
14. G.G. Hammes and P.R. Shimmel. The Enzymes, vol. 2. P.D. Boyer (New York Academic Press), 1970.
15. H. Kitano. Foundations of System Biology. MIT Press, 2002.
16. E.V. Koonin. How many genes can make a cell: The minimal-gene-set concept. Annuual Review Genomics and Human Genetics, 01:99-116, 2000.
17. L.M. Loew and J.C. Schaff. The virtual cell: a software environment for computational cell biology. Trends Biotechnology, 19(10):401-406, Oct. 2001.
18. R. Milner. Communicating and Mobile Systems: the π-calculus. Cambridge Univ. Press, 1999.
19. A.R. Mushegian and E.V. Koonin. A minimal gene set for cellular life derived by comparison of complete bacterial genomes. Proceedings of National Academy of Science USA, 93:10268-10273, 1996.
20. C. Nottegar, C. Priami, and P. Degano. Performance evaluation of mobile processes via abstract machines. IEEE Transactions on Software Engineering, 27, 10:867-889, 2001.
21. C. Priami, A. Regev, W. Silverman, and E. Shapiro. Application of a stochastic passing-name calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31, 2001.
22. A. Regev, E.M. Panina, W. Silverman, L. Cardelli, and E. Shapiro. Bioambients: An abstraction for biological compartments. Theoretical Computer Science, To Appear, 2004.
23. A. Regev and E. Shapiro. Cells as computations. Nature, 419:343, 2002.
24. A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the π-calculus process algebra. In Pacific Symposium of Biocomputing (PSB2001), pages 459-470, 2001.