메뉴 건너뛰기




Volumn 11, Issue , 2009, Pages 91-105

Type system for a stochastic CLS

Author keywords

[No Author keywords available]

Indexed keywords

BIOINFORMATICS; PATHOLOGY; STOCHASTIC SYSTEMS;

EID: 78650753187     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.11.6     Document Type: Conference Paper
Times cited : (7)

References (28)
  • 3
    • 34547481363 scopus 로고    scopus 로고
    • Extending the calculus of looping sequences to model protein interaction at the domain level
    • Springer
    • Barbuti, R., Maggiolo-Schettini, A. and Milazzo, P. (2007) Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. Proc. of ISBRA'07, LNBI 4463, Springer, 638-649.
    • (2007) Proc. of ISBRA'07, LNBI 4463 , pp. 638-649
    • Barbuti, R.1    Maggiolo-Schettini, A.2    Milazzo, P.3
  • 4
    • 33747069635 scopus 로고    scopus 로고
    • A calculus of looping sequences for modelling microbiological systems
    • Barbuti, R., Maggiolo-Schettini, A., Milazzo, P. and Troina, A. (2006) A Calculus of Looping Sequences for Modelling Microbiological Systems. Fund. Inform., 72, 21-35.
    • (2006) Fund. Inform , vol.72 , pp. 21-35
    • Barbuti, R.1    Maggiolo-Schettini, A.2    Milazzo, P.3    Troina, A.4
  • 8
    • 85051079984 scopus 로고    scopus 로고
    • EnVy: A context-dependent calculus for biological systems
    • Elsevier, to appear
    • Bortolussi, L. and Vigliotti, M.G. EnVy: A Context-dependent Calculus for Biological Systems. Proc. of QAPL'09, ENTCS, Elsevier, to appear.
    • Proc. of QAPL'09, ENTCS
    • Bortolussi, L.1    Vigliotti, M.G.2
  • 9
    • 26444592298 scopus 로고    scopus 로고
    • Brane Calculi. Interactions of biological membranes
    • Springer
    • Cardelli, L. (2005) Brane Calculi. Interactions of Biological Membranes. Proc. of CMSB'04, LNCS 3082, Springer, 257-280.
    • (2005) Proc. of CMSB'04, LNCS 3082 , pp. 257-280
    • Cardelli, L.1
  • 11
    • 4444324902 scopus 로고    scopus 로고
    • Modelling biochemical pathways through enhanced pi-calculus
    • Curti, M., Degano, P., Priami, C., and Baldari, C. T. (2004) Modelling Biochemical Pathways through Enhanced pi-calculus. Theor. Comput. Sci., 325, 111-140.
    • (2004) Theor. Comput. Sci. , vol.325 , pp. 111-140
    • Curti, M.1    Degano, P.2    Priami, C.3    Baldari, C.T.4
  • 13
    • 4444382239 scopus 로고    scopus 로고
    • Formal molecular biology
    • Danos, V. and Laneve, C. (2004) Formal Molecular Biology. Theor. Comput. Sci., 325, 69-110.
    • (2004) Theor. Comput. Sci. , vol.325 , pp. 69-110
    • Danos, V.1    Laneve, C.2
  • 15
    • 33645429016 scopus 로고
    • Exact stochastic simulation of coupled chemical reactions
    • Gillespie, D. (1977) Exact Stochastic Simulation of Coupled Chemical Reactions. J. Phys. Chem., 81, 2340-2361.
    • (1977) J. Phys. Chem , vol.81 , pp. 2340-2361
    • Gillespie, D.1
  • 20
    • 76849092686 scopus 로고    scopus 로고
    • Rule-based programming for integrative biological modelling - Application to the modelling of the lambda phage genetic switch
    • to appear
    • Michel, O., Spicher, A., Giavitto, J.L. (2009) Rule-based Programming for Integrative Biological Modelling - Application to the Modelling of the Lambda Phage Genetic Switch. Natural Computing, Springer, to appear.
    • (2009) Natural Computing Springer
    • Michel, O.1    Spicher, A.2    Giavitto, J.L.3
  • 22
    • 26444448026 scopus 로고    scopus 로고
    • Beta binders for biological interactions
    • Springer
    • Priami, C. and Quaglia, P. (2005) Beta Binders for Biological Interactions. Proc. of CMSB'04, LNCS 3082, Springer, 20-33.
    • (2005) Proc. of CMSB'04, LNCS 3082 , pp. 20-33
    • Priami, C.1    Quaglia, P.2
  • 23
    • 0035888407 scopus 로고    scopus 로고
    • Application of a stochastic name-passing calculus to representation and simulation of molecular processes
    • Priami, C., Regev, A., Shapiro, E. and Silverman, W. (2001) Application of a Stochastic Name-passing Calculus to Representation and Simulation of Molecular Processes. Inform. Process. Lett., 80, 25-31.
    • (2001) Inform. Process. Lett , vol.80 , pp. 25-31
    • Priami, C.1    Regev, A.2    Shapiro, E.3    Silverman, W.4
  • 25
    • 0035235039 scopus 로고    scopus 로고
    • Representation and simulation of biochemical processes using the pi-calculus process algebra
    • World Scientific Press
    • Regev, A., Silverman, W. and Shapiro, E. Y. (2001) Representation and Simulation of Biochemical Processes Using the Pi-calculus Process Algebra. Proc. of Pacific Symposium on Biocomputing, World Scientific Press, 459-470.
    • (2001) Proc. of Pacific Symposium on Biocomputing , pp. 459-470
    • Regev, A.1    Silverman, W.2    Shapiro, E.Y.3
  • 28
    • 0031105797 scopus 로고    scopus 로고
    • Mathematical model of the lac operon: Inducer exclusion, catabolite repression, and diauxic growth on glucose and lactose
    • Wong, P., Gladney, S. and Keasling, J. D. (1997) Mathematical Model of the Lac Operon: Inducer Exclusion, Catabolite Repression, and Diauxic Growth on Glucose and Lactose. Biotechnology Progress, 13, 132-143.
    • (1997) Biotechnology Progress , vol.13 , pp. 132-143
    • Wong, P.1    Gladney, S.2    Keasling, J.D.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.