{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:47:37Z","timestamp":1725472057880},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540461661"},{"type":"electronic","value":"9783540461678"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11885191_6","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T14:53:49Z","timestamp":1160405629000},"page":"78-92","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Approach to Molecular Docking"],"prefix":"10.1007","author":[{"given":"Davide","family":"Prandi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1023\/A:1007907728892","volume":"11","author":"C. McMartin","year":"1997","unstructured":"McMartin, C., Bohacek, S.: QXP: Powerful, rapid computer algorithms for structure-based drug design. Journal of Computer-Aided Molecular Design\u00a011, 333 (1997)","journal-title":"Journal of Computer-Aided Molecular Design"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1002\/prot.10115","volume":"47","author":"I. Halperin","year":"2002","unstructured":"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\u00a047, 409 (2002)","journal-title":"PROTEINS: Structure, Function, and Genetics"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1038\/nbt1017","volume":"22","author":"E. Butcher","year":"2004","unstructured":"Butcher, E., Berg, E., Kunkel, E.: Systems biology in drug discovery. Nature Biotechnology\u00a022, 1253 (2004)","journal-title":"Nature Biotechnology"},{"issue":"17","key":"6_CR4","doi-asserted-by":"publisher","first-page":"1709","DOI":"10.1056\/NEJMp048288","volume":"351","author":"G. FitzGerald","year":"2004","unstructured":"FitzGerald, G.: Coxibs and Cardiovascular Disease. The New England journal of medicine\u00a0351(17), 1709 (2004)","journal-title":"The New England journal of medicine"},{"key":"6_CR5","first-page":"1489","volume":"10","author":"A. Kuthe","year":"2002","unstructured":"Kuthe, A., Montorsi, F., Andersson, K., Stief, C.: Phosphodiesterase inhibitors for the treatment of erectile dysfunction. Current opinion in investigational drugs\u00a010, 1489 (2002)","journal-title":"Current opinion in investigational drugs"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1097\/00041327-200020040-00001","volume":"20","author":"T. McCulley","year":"2000","unstructured":"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\u00a020, 227 (2000)","journal-title":"Journal of neuro-ophthalmology"},{"key":"6_CR7","volume-title":"Foundations of System Biology","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Foundations of System Biology. MIT Press, Cambridge (2002)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S1359-6446(03)02971-4","volume":"9","author":"A. Bugrim","year":"2004","unstructured":"Bugrim, A., Nikolskaya, T., Nikolsky, Y.: Early prediction of drug metabolism and toxicity: systems biology approach and modeling. Drug Discovery Today\u00a09, 127 (2004)","journal-title":"Drug Discovery Today"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1038\/nbt1064","volume":"23","author":"B. Rao","year":"2005","unstructured":"Rao, B., Lauffenburger, D., Wittrup, K.: Integrating cell-level kinetic modeling into the design of engineered protein therapeutics. Nature Biotechnology\u00a023, 191 (2005)","journal-title":"Nature Biotechnology"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"1872","DOI":"10.1016\/j.febslet.2005.02.023","volume":"579","author":"G. Apica","year":"2005","unstructured":"Apica, G., Ignjatovicb, T., Boyerb, S., Russellc, R.: Illuminating drug discovery with biological pathways. FEBS Letters\u00a0579, 1872 (2005)","journal-title":"FEBS Letters"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1016\/j.cbpa.2005.06.008","volume":"9","author":"P. Rajasethupathy","year":"2005","unstructured":"Rajasethupathy, P., Vayttaden, S., Bhalla, U.: Systems modeling: a pathway to drug discovery. Current Opinion in Chemical Biology\u00a09, 400 (2005)","journal-title":"Current Opinion in Chemical Biology"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cells as computations. Nature\u00a0419, 343 (2002)","journal-title":"Nature"},{"key":"6_CR13","volume-title":"Handbook of Process Algebra","author":"J.A. Bergstra","year":"2001","unstructured":"Bergstra, J.A.: Handbook of Process Algebra. Elsevier Science Inc., Amsterdam (2001)"},{"key":"6_CR14","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-25974-9_3","volume-title":"Computational Methods in Systems Biology","author":"C. Priami","year":"2005","unstructured":"Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 20\u201333. Springer, Heidelberg (2005)"},{"key":"6_CR15","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"6_CR16","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"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\u00a080(1), 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"6_CR18","unstructured":"Phillips, A., Cardelli, L.: A Correct Abstract Machine for the Stochastic Pi-calculus. In: BioConcur 2004, Workshop on Concurrent Models in Molecular Biology (2004)"},{"key":"6_CR19","unstructured":"Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular biology of the cell, 4th edn. Garland science (2002)"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0167-6296(02)00126-1","volume":"22","author":"J. DiMasi","year":"2003","unstructured":"DiMasi, J., Hansen, R., Grabowski, H.: The price of innovation: new estimates of drug development costs. Journal of Health Economics\u00a022, 151 (2003)","journal-title":"Journal of Health Economics"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1038\/nbt1004-1223","volume":"22","author":"G. Mack","year":"2004","unstructured":"Mack, G.: Can complexity be commercialized? Nature Biotechnology\u00a022, 1223 (2004)","journal-title":"Nature Biotechnology"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/s10822-005-8483-7","volume":"19","author":"J. Tame","year":"2005","unstructured":"Tame, J.: Scoring Functions the First 100 Years. Journal of Computer-Aided Molecular Design\u00a019, 445 (2005)","journal-title":"Journal of Computer-Aided Molecular Design"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0022-2836(82)90153-X","volume":"161","author":"I. Kuntz","year":"1982","unstructured":"Kuntz, I., Blaney, J., Oatley, S., Langridge, R., Ferrin, T.: A geometric approach to macromolecule-ligand interactions. Journal of molecular biology\u00a0161, 269 (1982)","journal-title":"Journal of molecular biology"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1002\/1097-0134(20001101)41:2<173::AID-PROT30>3.0.CO;2-3","volume":"41","author":"J. Taylor","year":"2000","unstructured":"Taylor, J., Burnett, R.: DARWIN: A program for docking flexible molecules. PROTEINS: Structure, Function, and Genetics\u00a041, 173 (2000)","journal-title":"PROTEINS: Structure, Function, and Genetics"},{"key":"6_CR25","volume-title":"Evaluation of Enzyme Inhibitors in Drug Discovery : A Guide for Medicinal Chemists and Pharmacologists (Methods of Biochemical Analysis)","author":"R. Copeland","year":"2005","unstructured":"Copeland, R.: Evaluation of Enzyme Inhibitors in Drug Discovery: A Guide for Medicinal Chemists and Pharmacologists (Methods of Biochemical Analysis). Wiley-Interscience, Chichester (2005)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. In: 4th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2006) (to appear, 2006)","DOI":"10.1016\/j.entcs.2006.07.014"},{"issue":"25","key":"6_CR27","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D. Gillespie","year":"1977","unstructured":"Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11885191_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:30:00Z","timestamp":1619508600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11885191_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540461661","9783540461678"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11885191_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}