{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:11:41Z","timestamp":1725988301063},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319994284"},{"type":"electronic","value":"9783319994291"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99429-1_13","type":"book-chapter","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T09:45:12Z","timestamp":1535017512000},"page":"220-237","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Trace Query Language for Rule-Based Models"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Laurent","sequence":"first","affiliation":[]},{"given":"Hector F.","family":"Medina-Abarca","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Boutillier","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Fontana","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1038\/nsmb.3191","volume":"23","author":"Z Anvarian","year":"2016","unstructured":"Anvarian, Z., et al.: Axin cancer mutants form nanoaggregates to rewire the wnt signaling network. Nat. Struct. Mol. Biol. 23(4), 324 (2016)","journal-title":"Nat. Struct. Mol. Biol."},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-662-54434-1_8","volume-title":"Programming Languages and Systems","author":"P Boutillier","year":"2017","unstructured":"Boutillier, P., Ehrhard, T., Krivine, J.: Incremental update for graph rewriting. In: Yang, H. (ed.) ESOP 2017. LNCS, vol. 10201, pp. 201\u2013228. Springer, Heidelberg (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-662-54434-1_8"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-88562-7_18","volume-title":"Computational Methods in Systems Biology","author":"EM Clarke","year":"2008","unstructured":"Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L.A., Jha, S.K., Legay, A.: Statistical model checking in BioLab: applications to the automated analysis of T-cell receptor signaling pathway. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNAI), vol. 5307, pp. 231\u2013250. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-88562-7_18"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17\u201341. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-74407-8_3"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-76637-7_10","volume-title":"Programming Languages and Systems","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 139\u2013157. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-76637-7_10"},{"key":"13_CR6","unstructured":"Danos, V., et al.: Graphs, rewriting and pathway reconstruction for rule-based models. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, vol. 18, pp. 276\u2013288 (2012)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75140-3_4","volume-title":"Computational Methods in Systems Biology","author":"F Fages","year":"2007","unstructured":"Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS, vol. 4695, pp. 48\u201363. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-75140-3_4"},{"issue":"25","key":"13_CR8","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"21","key":"13_CR9","doi-asserted-by":"publisher","first-page":"3366","DOI":"10.1093\/bioinformatics\/btw469","volume":"32","author":"LA Harris","year":"2016","unstructured":"Harris, L.A., et al.: BioNetGen 2.2: advances in rule-based modeling. Bioinformatics 32(21), 3366\u20133368 (2016)","journal-title":"Bioinformatics"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Helms, T., Himmelspach, J., Maus, C., R\u00f6wer, O., Sch\u00fctzel, J., Uhrmacher, A.M.: Toward a language for the flexible observation of simulations. In: Proceedings of the Winter Simulation Conference, Winter Simulation Conference, p. 418 (2012)","DOI":"10.1109\/WSC.2012.6465073"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Honorato-Zimmer, R., Millar, A.J., Plotkin, G.D., Zardilis, A.: Chromar, a language of parameterised agents. Theor. Comput. Sci. (2017)","DOI":"10.1016\/j.tcs.2017.07.034"},{"issue":"1","key":"13_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1091\/mbc.e16-07-0557","volume":"28","author":"MI Pronobis","year":"2017","unstructured":"Pronobis, M.I., Deuitch, N., Posham, V., Mimori-Kiyosue, Y., Peifer, M.: Reconstituting regulation of the canonical Wnt pathway by engineering a minimal $$\\beta $$-catenin destruction machine. Mol. Biol. Cell 28(1), 41\u201353 (2017)","journal-title":"Mol. Biol. Cell"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Zehe, D., Viswanathan, V., Cai, W., Knoll, A.: Online data extraction for large-scale agent-based simulations. In: Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp. 69\u201378. ACM (2016)","DOI":"10.1145\/2901378.2901384"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99429-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T09:49:10Z","timestamp":1535017750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99429-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319994284","9783319994291"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99429-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}