{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:20:20Z","timestamp":1742923220415,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319075808"},{"type":"electronic","value":"9783319075815"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07581-5_25","type":"book-chapter","created":{"date-parts":[[2014,5,21]],"date-time":"2014-05-21T08:29:59Z","timestamp":1400660999000},"page":"207-214","source":"Crossref","is-referenced-by-count":6,"title":["A Logic Computational Framework to Query Dynamics on Complex Biological Pathways"],"prefix":"10.1007","author":[{"given":"Gustavo","family":"Santos-Garc\u00eda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"De Las Rivas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","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. Theor. Comput. Sci.\u00a096, 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"issue":"7-8","key":"25_CR2","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. Log. Algebr. Program.\u00a081(7-8), 721\u2013781 (2012)","journal-title":"J. Log. Algebr. Program."},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1038\/35015690","volume":"405","author":"O.G. Vukmirovic","year":"2000","unstructured":"Vukmirovic, O.G., Tilghman, S.M.: Exploring genome space. Nature\u00a0405, 820\u2013822 (2000)","journal-title":"Nature"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1126\/science.284.5411.92","volume":"284","author":"G. Weng","year":"1999","unstructured":"Weng, G., Bhalla, U.S., Iyengar, R.: Complexity in biological signaling systems. Science\u00a0284, 92\u201396 (1999)","journal-title":"Science"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1021\/bp010009k","volume":"17","author":"A.R. Asthagiri","year":"2001","unstructured":"Asthagiri, A.R., Lauffenburger, D.A.: A computational study of feedback effects on signal dynamics in a mitogen-activated protein kinase (mapk) pathway model. Biotechnol. Prog.\u00a017, 227\u2013239 (2001)","journal-title":"Biotechnol. Prog."},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1016\/S0896-6273(00)81194-0","volume":"26","author":"P. Smolen","year":"2000","unstructured":"Smolen, P., Baxter, D.A., Byrne, J.H.: Mathematical modeling of gene networks. Neuron\u00a026, 567\u2013580 (2000)","journal-title":"Neuron"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Saadatpour, A., Albert, R.: Discrete dynamic modeling of signal transduction networks. In: Liu, X., Betterton, M.D. (eds.) Computational Modeling of Signaling Networks, pp. 255\u2013272 (2012)","DOI":"10.1007\/978-1-61779-833-7_12"},{"issue":"11","key":"25_CR9","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.\u00a025(11), 1239\u20131249 (2007)","journal-title":"Nat. Biotechnol."},{"issue":"2","key":"25_CR10","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1093\/bioinformatics\/btm560","volume":"24","author":"S. Hardy","year":"2008","unstructured":"Hardy, S., Robillard, P.N.: Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways. Bioinformatics\u00a024(2), 209\u2013217 (2008)","journal-title":"Bioinformatics"},{"key":"25_CR11","first-page":"113","volume":"32","author":"C. Li","year":"2006","unstructured":"Li, C., Ge, Q.W., Nakata, M., Matsuno, H., Miyano, S.: Modelling and simulation of signal transductions in an apoptosis pathway by using timed Petri nets. J. Biosci.\u00a032, 113\u2013127 (2006)","journal-title":"J. Biosci."},{"issue":"1","key":"25_CR12","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., et al.: Bioambients: An abstraction for biological compartments. Theor. Comput. Sci.\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"11","key":"25_CR13","doi-asserted-by":"publisher","first-page":"2485","DOI":"10.1101\/gr.1215303","volume":"13","author":"S. Efroni","year":"2003","unstructured":"Efroni, S., Harel, D., Cohen, I.: Towards rigorous comprehension of biological complexity: modeling, execution and visualization of thymic T-cell maturation. Genome Res.\u00a013(11), 2485\u20132497 (2003)","journal-title":"Genome Res."},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-1-59745-525-1_5","volume":"500","author":"J.R. Faeder","year":"2009","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-Based Modeling of Biochemical Systems with BioNetGen. Systems Biology. Methods Mol. Biol.\u00a0500, 113\u2013167 (2009)","journal-title":"Systems Biology. Methods Mol. Biol."},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Hwang, W., Hwang, Y., Lee, S., Lee, D.: Rule-based multi-scale simulation for drug effect pathway analysis. BMC Med. Inform. Decis. Mak\u00a013(suppl. 1), S4 (2013)","DOI":"10.1186\/1472-6947-13-S1-S4"},{"issue":"18","key":"25_CR16","doi-asserted-by":"publisher","first-page":"2311","DOI":"10.1093\/bioinformatics\/bts363","volume":"28","author":"F. Eduati","year":"2012","unstructured":"Eduati, F., De Las Rivas, J., Di Camillo, B., Toffolo, G., Saez-Rodr\u00edguez, J.: Integrating literature-constrained and data-driven inference of signalling networks. Bioinformatics\u00a028(18), 2311\u20132317 (2012)","journal-title":"Bioinformatics"},{"key":"25_CR17","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual, version 2.6 (2011), \n                    http:\/\/maude.cs.uiuc.edu"},{"key":"25_CR18","unstructured":"Talcott, C., Eker, S., Knapp, M., Lincoln, P., Laderoute, K.: Pathway logic modeling of protein functional domains in signal transduction. In: Proceedings of the Pacific Symposium on Biocomputing (2004)"},{"key":"25_CR19","unstructured":"Talcott, C., Dill, D.L.: The pathway logic assistant. In: Plotkin, G. (ed.) Proc. of the Third Intl Conf. CMSB 2005, pp. 228\u2013239 (2005)"},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-68894-5_2","volume-title":"Formal Methods for Computational Systems Biology","author":"C.L. Talcott","year":"2008","unstructured":"Talcott, C.L.: Pathway logic. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 21\u201353. Springer, Heidelberg (2008)"},{"issue":"Pt .3","key":"25_CR21","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1042\/0264-6021:3630537","volume":"363","author":"V. Cenni","year":"2002","unstructured":"Cenni, V., D\u00f6ppler, H., Sonnenburg, E.D., et al.: Regulation of novel protein kinase C epsilon by phosphorylation. Biochem. J.\u00a0363(Pt.3), 537\u2013545 (2002)","journal-title":"Biochem. J."},{"key":"25_CR22","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0092-8674(00)00114-8","volume":"103","author":"J. Schlessinger","year":"2000","unstructured":"Schlessinger, J.: Cell signaling by receptor tyrosine kinases. Cell\u00a0103, 211\u2013225 (2000)","journal-title":"Cell"}],"container-title":["Advances in Intelligent Systems and Computing","8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07581-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T19:36:03Z","timestamp":1674502563000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07581-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319075808","9783319075815"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07581-5_25","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}