Predicting protein folding kinetics via temporal logic model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4645 LNBI, Issue , 2007, Pages 252-264

  Langmead, Christopher James ^a   Jha, Sumit Kumar ^a  

^a Carnegie Mellon University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; BINARY DECISION DIAGRAMS; CORRELATION METHODS; KINETICS; MODEL CHECKING; TEMPORAL LOGIC;

CONFIGURATIONS; QUANTITATIVE PREDICTIONS; STRUCTURAL BIOLOGY;

PROTEIN FOLDING;

EID: 37249036493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74126-8_24     Document Type: Conference Paper

References (19)

1. Alm, E., Baker, D.: Prediction of protein-folding mechanisms from free-energy landscapes derived from native structures. Proc. Natl. Acad. Sci. 96(20), 11305-11310 (1999)
2. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design: An International Journal 15(1), 7-48 (1999)
3. Baier, C., Clarke, E., Hartonas-Garmhausen, V., Kwiatkowska, M., Ryan, M.: Symbolic model checking for probabilistic processes. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 430-440. Springer, Heidelberg (1997)
4. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35(8), 677-691 (1986)
5. Burch, J., Clarke, E.M., Long, D.E.: Symbolic model checking with partitioned transition relations. In: Proc. 1991 Conf. on VLSI, pp. 49-58 (1991)
6. Burch, J., Clarke, E.M., Long, D.E., McMillan, K.L., Dill, D.L.: Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 3(4), 401-424 (1993)
7. 20 states and beyond. In: Proc. 5th Ann. IEEE Symposium on Logic in Computer Science, pp. 428-439. IEEE Computer Society Press, Los Alamitos (1990)
8. Chiang, T.H., Apaydin, M.S., Brutlag, D.L., Hsu, D., Latombe, J.C.: Predicting Experimental Quantities in Protein Folding Kinetics using Stochastic Roadmap Simulation. In: Proceedings of the 2006 ACM International Conference on Research in Computational Molecular Biology (RECOMB), pp. 410-424. ACM Press, New York (2006)
9. Clarke, E., Fujita, M., McGeer, P.C., Yang, J.-Y., Zhao, X.: Multi-terminal binary decision diagrams: An efficient datastructure for matrix representation. In: IWLS '93 International Workshop on Logic Synthesis (1993)
10. Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge, MA (1999)
11. Garbuzynskiy, S.O., Finkelstein, A.V., Galzitskaya, O.V.: Outlining folding nuclei in globular proteins. J. Mol. Biol. 336, 509-525 (2004)
12. Go, N., Taketomi, H.: Studies on protein folding, unfolding and fluctuations by computer simulation. IV. Hydrophobic interactions. Int. J. Pept. Protein Res. 13(5), 447-461 (1979)
13. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006)
14. Jackson, S.: How do small single-domain proteins fold? Fold. Des. 33(4), R81-R91 (1998)
15. Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O., Heath, J., Gaffney, E.: Simulation and verification for computational modelling of signalling pathways, pp. 1666-1675 (2006)
16. Munoz, V., Eaton, W.A.: A simple model for calculating the kinetics of protein folding from three dimensional structures.. Proc. Natl. Acad. Sci. 96(20), 11311-11316 (1999)
17. Plaxco, K.W., Simon, K.T., Baker, D.: Contact order, transition state placement and the refolding rates of single domain proteins. J. Mol. Biol. 277(4), 985-994 (1998)
18. Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th IEEE. Foundations of Computer Science (FOCS), pp. 46-57. IEEE Computer Society Press, Los Alamitos (1977)
19. Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223-235. Springer, Heidelberg (2002)