A formal approach to molecular docking

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

Volumn 4210 LNBI, Issue , 2006, Pages 78-92

  Prandi, Davide ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

Drug discovery; Formal methods; Molecular docking; Process calculi; Systems biology

Indexed keywords

BIOCOMMUNICATIONS; COMPLEXATION; FORMAL LOGIC; INFORMATION MANAGEMENT; MOLECULAR DYNAMICS; PHARMACODYNAMICS;

DRUG DISCOVERY; MOLECULAR DOCKING; PROCESS CALCULI THEORY; SYSTEMS BIOLOGY;

DRUG PRODUCTS;

EID: 33845197431     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11885191_6     Document Type: Conference Paper

References (27)

1. McMartin, C., Bohacek, S.: QXP: Powerful, rapid computer algorithms for structure-based drug design, Journal of Computer-Aided Molecular Design 11 (1997) 333
2. Halperin, I., Ma, B., Wolfson, H., Nussinov, R.: Principles of Docking: An Overview of Search Algorithms and a Guide to Scoring Functions. PROTEINS: Structure, Function, and Genetics 47 (2002) 409
3. Butcher, E., Berg, E., Kunkel, E.: Systems biology in drug discovery. Nature Biotechnology 22 (2004) 1253
4. FitzGerald, G.: Coxibs and Cardiovascular Disease. The New England journal of medicine 351(17) (2004) 1709
5. Kuthe, A., Montorsi, F., Andersson, K., Stief, C.: Phosphodiesterase inhibitors for the treatment of erectile dysfunction. Current opinion in investigational drugs 10 (2002) 1489
6. McCulley, T., Lam, B., Marmor, M., Hoffman, K., Luu, J., Feuer, W.: Acute effects of sildenafil (viagra) on blue-on-yellow and white-on-white Humphrey perimetry. Journal of neuro-ophthalmology 20 (2000) 227
7. Kitano, H.: Foundations of System Biology. MIT Press (2002)
8. Bugrim, A., Nikolskaya, T., Nikolsky, Y.: Early prediction of drug metabolism and toxicity: systems biology approach and modeling. Drug Discovery Today 9 (2004) 127
9. Rao, B., Lauffenburger, D., Wittrup, K.: Integrating cell-level kinetic modeling into the design of engineered protein therapeutics. Nature Biotechnology 23 (2005) 191
10. Apica, G., Ignjatovicb, T., Boyerb, S., Russellc, R.: Illuminating drug discovery with biological pathways. FEBS Letters 579 (2005) 1872
11. Rajasethupathy, P., Vayttaden, S., Bhalla, U.: Systems modeling: a pathway to drug discovery. Current Opinion in Chemical Biology 9 (2005) 400
12. Regev, A., Shapiro, E.: Cells as computations. Nature 419 (2002) 343
13. Bergstra, J.A.: Handbook of Process Algebra. Elsevier Science Inc. (2001)
14. Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: CMSB '04. Volume 3082 of LNBI., Springer (2005)
15. Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge Universtity Press (2001)
16. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge Universtity Press (1999)
17. Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80(1) (2001) 25-31
18. Phillips, A., Cardelli, L.: A Correct Abstract Machine for the Stochastic Pi-calculus. In: BioConcur '04, Workshop on Concurrent Models in Molecular Biology. (2004)
19. Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular biology of the cell (IV ed.). Garland science (2002)
20. DiMasi, J., Hansen, R., Grabowski, H.: The price of innovation: new estimates of drug development costs. Journal of Health Economics 22 (2003) 151
21. Mack, G.: Can complexity be commercialized? Nature Biotechnology 22 (2004) 1223
22. Tame, J.: Scoring Functions the First 100 Years. Journal of Computer-Aided Molecular Design 19 (2005) 445
23. Kuntz, I., Blaney, J., Oatley, S., Langridge, R., Ferrin, T.: A geometric approach to macromolecule-ligand interactions. Journal of molecular biology 161 (1982) 269
24. Taylor, J., Burnett, R.: DARWIN: A program for docking flexible molecules. PROTEINS: Structure, Function, and Genetics 41 (2000) 173
25. Copeland, R.: Evaluation of Enzyme Inhibitors in Drug Discovery : A Guide for Medicinal Chemists and Pharmacologists (Methods of Biochemical Analysis). Wiley-Interscience (2005)
26. Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. In: 4rd Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 06). (2006) to appear.
27. Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25) (1977) 2340-2361