{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T22:01:05Z","timestamp":1726005665838},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030112448"},{"type":"electronic","value":"9783030112455"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-11245-5_26","type":"book-chapter","created":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T13:45:18Z","timestamp":1547127918000},"page":"555-576","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Haar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juraj","family":"Kol\u010d\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Paulev\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,11]]},"reference":[{"issue":"1","key":"26_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pcbi.1004591","volume":"12","author":"E Bartocci","year":"2016","unstructured":"Bartocci, E., Li\u00f3, P.: Computational modeling, formal analysis, and tools for systems biology. PLOS Comput. Biol. 12(1), 1\u201322 (2016). \nhttps:\/\/doi.org\/10.1371\/journal.pcbi.1004591","journal-title":"PLOS Comput. Biol."},{"key":"26_CR2","unstructured":"Bernot, G., Comet, J.-P., Khalis, Z.: Gene regulatory networks with multiplexes. In: European Simulation and Modelling Conference Proceedings, pp. 423\u2013432 (2008)"},{"key":"26_CR3","doi-asserted-by":"publisher","unstructured":"Bernot, G., Comet, J.-P., Khalis, Z., Richard, A., Roux, O.: A genetically modified hoare logic. Theor. Comput. Sci. (2018). \nhttps:\/\/doi.org\/10.1016\/j.tcs.2018.02.003","DOI":"10.1016\/j.tcs.2018.02.003"},{"issue":"3","key":"26_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.01.038","volume":"180","author":"G Bernot","year":"2007","unstructured":"Bernot, G., Cassez, F., Comet, J.-P., Delaplace, F., M\u00fcller, C., Roux, O.: Semantics of biological regulatory networks. Electron. Notes Theor. Comput. Sci. 180(3), 3\u201314 (2007). \nhttps:\/\/doi.org\/10.1016\/j.entcs.2004.01.038","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-319-39086-4_15","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"T Chatain","year":"2016","unstructured":"Chatain, T., Carmona, J.: Anti-alignments in conformance checking \u2013 the dark side of process models. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 240\u2013258. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-39086-4_15"},{"key":"26_CR6","doi-asserted-by":"publisher","unstructured":"Chatain, T., Paulev\u00e9, L.: Goal-driven unfolding of Petri nets. In: Meyer, R., Nestmann, U. (eds.) 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), vol. 85, pp. 18:1\u201318:16. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl (2017). \nhttps:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2017.18","DOI":"10.4230\/LIPIcs.CONCUR.2017.18"},{"issue":"1&2","key":"26_CR7","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0304-3975(94)00231-7","volume":"147","author":"A Cheng","year":"1995","unstructured":"Cheng, A., Esparza, J., Palsberg, J.: Complexity results for 1-safe nets. Theor. Comput. Sci. 147(1&2), 117\u2013136 (1995). \nhttps:\/\/doi.org\/10.1016\/0304-3975(94)00231-7","journal-title":"Theor. Comput. Sci."},{"issue":"11","key":"26_CR8","doi-asserted-by":"publisher","first-page":"e1004571","DOI":"10.1371\/journal.pcbi.1004571","volume":"11","author":"DPA Cohen","year":"2015","unstructured":"Cohen, D.P.A., Martignetti, L., Robine, S., Barillot, E., Zinovyev, A., Calzone, L.: Mathematical modelling of molecular pathways enabling tumour cell invasion and migration. PLoS Comput. Biol. 11(11), e1004571 (2015). \nhttps:\/\/doi.org\/10.1371\/journal.pcbi.1004571","journal-title":"PLoS Comput. Biol."},{"issue":"23","key":"26_CR9","doi-asserted-by":"publisher","first-page":"5792","DOI":"10.1073\/pnas.1610622114","volume":"114","author":"S Collombet","year":"2017","unstructured":"Collombet, S., et al.: Logical modeling of lymphoid and myeloid cell specification and transdifferentiation. Proc. Natl. Acad. Sci. 114(23), 5792\u20135799 (2017). \nhttps:\/\/doi.org\/10.1073\/pnas.1610622114","journal-title":"Proc. Natl. Acad. Sci."},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-28792-3_4","volume-title":"Information Processign in Cells and Tissues","author":"F Corblin","year":"2012","unstructured":"Corblin, F., Fanchon, E., Trilling, L., Chaouiya, C., Thieffry, D.: Automatic inference of regulatory and dynamical properties from incomplete gene interaction and expression data. In: Lones, M.A., Smith, S.L., Teichmann, S., Naef, F., Walker, J.A., Trefzer, M.A. (eds.) IPCAT 2012. LNCS, vol. 7223, pp. 25\u201330. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-28792-3_4"},{"issue":"1","key":"26_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1142\/S0129626406002502","volume":"16","author":"S Haddad","year":"2006","unstructured":"Haddad, S., Pradat-Peyre, J.-F.: New efficient Petri nets reductions for parallel programs verification. Parallel Process. Lett. 16(1), 101\u2013116 (2006). \nhttps:\/\/doi.org\/10.1142\/S0129626406002502","journal-title":"Parallel Process. Lett."},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1186\/1752-0509-6-96","volume":"6","author":"T Helikar","year":"2012","unstructured":"Helikar, T., et al.: The cell collective: toward an open and collaborative approach to systems biology. BMC Syst. Biol. 6, 96 (2012). \nhttps:\/\/doi.org\/10.1186\/1752-0509-6-96","journal-title":"BMC Syst. Biol."},{"key":"26_CR13","unstructured":"Khalis, Z., Comet, J.-P., Richard, A., Bernot, G.: The SMBioNet method for discovering models of gene regulatory networks. Genes Genomes Genomics 3(1), 15\u201322 (2009). \nhttp:\/\/www.globalsciencebooks.info\/Online\/GSBOnline\/OnlineGGG_3_SI1.html"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-33636-2_13","volume-title":"Computational Methods in Systems Biology","author":"H Klarner","year":"2012","unstructured":"Klarner, H., Streck, A., \u0160afr\u00e1nek, D., Kol\u010d\u00e1k, J., Siebert, H.: Parameter identification and model ranking of thomas networks. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS, pp. 207\u2013226. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-33636-2_13"},{"key":"26_CR15","doi-asserted-by":"publisher","unstructured":"Kol\u010d\u00e1k, J., \u0160afr\u00e1nek, D., Haar, S., Paulev\u00e9, L.: Parameter space abstraction and unfolding semantics of discrete regulatory networks. Theor. Comput. Sci. (2018). \nhttps:\/\/doi.org\/10.1016\/j.tcs.2018.03.009","DOI":"10.1016\/j.tcs.2018.03.009"},{"key":"26_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53401-4","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XI","year":"2016","unstructured":"Koutny, M., Desel, J., Kleijn, J. (eds.): Transactions on Petri Nets and Other Models of Concurrency XI. LNCS, vol. 9930. Springer, Heidelberg (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-662-53401-4"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-662-53401-4_6","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XI","author":"A Mokhov","year":"2016","unstructured":"Mokhov, A., Carmona, J., Beaumont, J.: Mining conditional partial order graphs from event logs. In: Koutny, M., Desel, J., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency XI. LNCS, vol. 9930, pp. 114\u2013136. Springer, Heidelberg (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-662-53401-4_6"},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"680","DOI":"10.3389\/fphys.2018.00680","volume":"9","author":"A Naldi","year":"2018","unstructured":"Naldi, A., et al.: The CoLoMoTo interactive notebook: accessible and reproducible computational analyses for qualitative biological networks. Front. Physiol. 9, 680 (2018). \nhttps:\/\/doi.org\/10.3389\/fphys.2018.00680","journal-title":"Front. Physiol."},{"key":"26_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.biosystems.2016.07.009","volume":"149","author":"M Ostrowski","year":"2016","unstructured":"Ostrowski, M., Paulev\u00e9, L., Schaub, T., Siegel, A., Guziolowski, C.: Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. Biosystems 149, 139\u2013153 (2016). \nhttps:\/\/doi.org\/10.1016\/j.biosystems.2016.07.009","journal-title":"Biosystems"},{"issue":"4","key":"26_CR20","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1109\/TCBB.2017.2749225","volume":"15","author":"Loic Pauleve","year":"2018","unstructured":"Paulev\u00e9, L.: Reduction of qualitative models of biological networks for transient dynamics analysis. IEEE\/ACM Trans. Comput. Biol. Bioinform. (2017). \nhttps:\/\/doi.org\/10.1109\/TCBB.2017.2749225","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"key":"26_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-24953-7_4","volume-title":"Automated Technology for Verification and Analysis","author":"H Ponce-de-Le\u00f3n","year":"2015","unstructured":"Ponce-de-Le\u00f3n, H., Rodr\u00edguez, C., Carmona, J., Heljanko, K., Haar, S.: Unfolding-based process discovery. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 31\u201347. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-24953-7_4"},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science","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, vol. 4220, pp. 221\u2013245. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11880646_10"},{"key":"26_CR23","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF02460619","volume":"57","author":"D Thieffry","year":"1995","unstructured":"Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks\u2013II. Immunity control in bacteriophage lambda. Bull. Math. Biol. 57, 277\u2013297 (1995). \nhttps:\/\/doi.org\/10.1007\/BF02460619","journal-title":"Bull. Math. Biol."},{"issue":"3","key":"26_CR24","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalization of genetic control circuits. J. Theor. Biol. 42(3), 563\u2013585 (1973). \nhttps:\/\/doi.org\/10.1016\/0022-5193(73)90247-6","journal-title":"J. Theor. Biol."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-11245-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T13:53:55Z","timestamp":1547128435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-11245-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030112448","9783030112455"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-11245-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cascais","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 January 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 January 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vmcai2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl19.sigplan.org\/track\/VMCAI-2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}