{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T07:30:11Z","timestamp":1761291011600,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234007"},{"type":"electronic","value":"9783319234014"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23401-4_9","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T10:37:23Z","timestamp":1441103843000},"page":"90-103","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Inferring Executable Models from Formalized Experimental Evidence"],"prefix":"10.1007","author":[{"given":"Vivek","family":"Nigam","sequence":"first","affiliation":[]},{"given":"Robin","family":"Donaldson","sequence":"additional","affiliation":[]},{"given":"Merrill","family":"Knapp","sequence":"additional","affiliation":[]},{"given":"Tim","family":"McCarthy","sequence":"additional","affiliation":[]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s00453-007-9055-0","volume":"51","author":"R Albert","year":"2008","unstructured":"Albert, R., DasGupta, B., Dondi, R., Sontag, E.: Inferring (biological) signal transduction networks via transitive reductions of directed graphs. Algorithmica 51(2), 129\u2013159 (2008)","journal-title":"Algorithmica"},{"key":"9_CR2","volume-title":"Methods in Molecular Biology: Topics in Computational Biology","author":"R Albert","year":"2010","unstructured":"Albert, R., DasGupta, B., Sontag, E.: Inference of signal transduction networks from double causal evidence. In: Fenyo, D. (ed.) Methods in Molecular Biology: Topics in Computational Biology. Springer Science+Business Media LLC, New York (2010)"},{"key":"9_CR3","unstructured":"Biocyc pathway\/genome database collection (2015)"},{"issue":"6","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1290","DOI":"10.1039\/c3mb25593j","volume":"9","author":"M Bl\u00e4tke","year":"2012","unstructured":"Bl\u00e4tke, M., Dittrich, A., Rohr, C., Heiner, M., Schaper, F., Marwan, W.: Jak\/stat signalling: an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. Mol. Biosyst. 9(6), 1290\u20131307 (2012)","journal-title":"Mol. Biosyst."},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1093\/bioinformatics\/btt660","volume":"30","author":"ML Blinov","year":"2014","unstructured":"Blinov, M.L., et al.: Pathway commons at virtual cell: use of pathway data for mathematical modeling. Bioinformatics 30(2), 292\u2013294 (2014)","journal-title":"Bioinformatics"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"key":"9_CR7","unstructured":"DARPA Big Mechanism Project (2015)"},{"issue":"11","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nat. Biotechnol. 25(11), 1239\u20131249 (2007)","journal-title":"Nat. Biotechnol."},{"key":"9_CR9","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: ICLP, pp. 579\u2013597 (1990)"},{"issue":"21","key":"9_CR10","doi-asserted-by":"publisher","first-page":"2804","DOI":"10.1093\/bioinformatics\/bts514","volume":"28","author":"SM Hill","year":"2012","unstructured":"Hill, S.M., et al.: Bayesian inference of signaling network topology in a cancer cell line. Bioinformatics 28(21), 2804\u20132810 (2012)","journal-title":"Bioinformatics"},{"key":"9_CR11","unstructured":"KEGG: Kyoto encyclopedia of genes and genomes (2015)"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge redlvpresentation and reasoning. ACM Trans. Comput. Logic 7, 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"9_CR13","first-page":"1","volume-title":"Symbolic Systems Biology","author":"PD Lincoln","year":"2010","unstructured":"Lincoln, P.D., Talcott, C.: Symbolic systems biology and pathway logic. In: Iyengar, S. (ed.) Symbolic Systems Biology, pp. 1\u201329. Jones and Bartlett, Boston (2010)"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theo. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theo. Comput. Sci."},{"issue":"7\u20138","key":"9_CR15","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/j.jlap.2012.06.003","volume":"81","author":"J Meseguer","year":"2012","unstructured":"Meseguer, J.: Twenty years of rewriting logic. J. Logic Algebraic Program. 81(7\u20138), 721\u2013781 (2012)","journal-title":"J. Logic Algebraic Program."},{"issue":"12","key":"9_CR16","doi-asserted-by":"publisher","first-page":"e1003290","DOI":"10.1371\/journal.pcbi.1003290","volume":"9","author":"EJ Molinelli","year":"2013","unstructured":"Molinelli, E.J., et al.: Perturbation biology: inferring signaling networks in cellular systems. PLoS Comput. Biol. 9(12), e1003290 (2013). PMID: 24367245, PMCID: PMC3868523","journal-title":"PLoS Comput. Biol."},{"key":"9_CR17","unstructured":"Pathway logic (2015)"},{"key":"9_CR18","unstructured":"Protein interaction database (2015)"},{"key":"9_CR19","unstructured":"Reactome pathway database (2015)"},{"key":"9_CR20","unstructured":"Ruths, D.: Deriving Executable Models of Biochemical Network Dynamics from Qualitative Data. Rice University (2009)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11880646_10","volume-title":"Transactions on Computational Systems Biology VI","author":"C Talcott","year":"2006","unstructured":"Talcott, C., Dill, D.L.: Multiple representations of biological processes. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 221\u2013245. Springer, Heidelberg (2006)"},{"key":"9_CR22","unstructured":"Willemsen, T., Feenstra, K.A., Groth, P.T.: Building executable biological pathway models automatically from BioPAX. In: Linked Science 2013: Supporting Reproducibility, Scientific Investigations and Experiments, pp. 2\u201314 (2013)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23401-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T15:41:52Z","timestamp":1676475712000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23401-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234007","9783319234014"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23401-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}