{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T06:04:19Z","timestamp":1784095459616,"version":"3.55.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032308696","type":"print"},{"value":"9783032308702","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T00:00:00Z","timestamp":1784160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T00:00:00Z","timestamp":1784160000000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-30870-2_8","type":"book-chapter","created":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T05:14:32Z","timestamp":1784092472000},"page":"143-151","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Incremental KaSa: Static Analysis of\u00a0Kappa Models at\u00a0Edit Time"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-8117-2659","authenticated-orcid":false,"given":"Rebecca","family":"Ghidini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2601-2785","authenticated-orcid":false,"given":"J\u00e9r\u00f4me","family":"Feret","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,16]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Ausiello, G., Franciosa, P.G., Frigioni, D.: Directed hypergraphs: problems, algorithmic results, and a novel decremental approach. In: Theoretical Computer Science. ICTCS 2001. LNCS, vol. 2202, pp. 312\u2013328. Springer, Berlin, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45446-2_20","DOI":"10.1007\/3-540-45446-2_20"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-63890-3_14","volume-title":"Algorithms and Computation","author":"G Ausiello","year":"1997","unstructured":"Ausiello, G., Franciosa, P.G., Frigioni, D., Giaccio, R.: Decremental maintenance of reachability in hypergraphs and minimum models of horn formulae. In: Leong, H.W., Imai, H., Jain, S. (eds.) ISAAC 1997. LNCS, vol. 1350, pp. 122\u2013131. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63890-3_14"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Bacci, G., Bacci, G., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient local computation of differential bisimulations via coupling and up-to methods. In: 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1\u201314. IEEE (2021). https:\/\/doi.org\/10.1109\/LICS52264.2021.9470555","DOI":"10.1109\/LICS52264.2021.9470555"},{"issue":"7","key":"8_CR4","doi-asserted-by":"publisher","first-page":"1011858","DOI":"10.1371\/JOURNAL.PCBI.1011858","volume":"20","author":"M Bougu\u00e9on","year":"2024","unstructured":"Bougu\u00e9on, M., et al.: A rule-based multiscale model of hepatic stellate cell plasticity: critical role of the inactivation loop in fibrosis progression. PLoS Comput. Biol. 20(7), 1011858 (2024). https:\/\/doi.org\/10.1371\/JOURNAL.PCBI.1011858","journal-title":"PLoS Comput. Biol."},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-99429-1_17","volume-title":"Computational Methods in Systems Biology","author":"P Boutillier","year":"2018","unstructured":"Boutillier, P., et al.: KaSa: a static analyzer for kappa. In: \u010ce\u0161ka, M., \u0160afr\u00e1nek, D. (eds.) CMSB 2018. LNCS, vol. 11095, pp. 285\u2013291. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99429-1_17"},{"issue":"13","key":"8_CR6","doi-asserted-by":"publisher","first-page":"i583","DOI":"10.1093\/BIOINFORMATICS\/BTY272","volume":"34","author":"P Boutillier","year":"2018","unstructured":"Boutillier, P., et al.: The kappa platform for rule-based modeling. Bioinform. 34(13), i583\u2013i592 (2018). https:\/\/doi.org\/10.1093\/BIOINFORMATICS\/BTY272","journal-title":"Bioinform."},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35, 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"issue":"2\/3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1008695706493","volume":"10","author":"EM Clarke","year":"1997","unstructured":"Clarke, E.M., McMillan, K.L., Zhao, X., Fujita, M., Yang, J.C.: Spectral transforms for large boolean functions with applications to technology mapping. Form. Methods Syst. Des. 10(2\/3), 137\u2013148 (1997). https:\/\/doi.org\/10.1023\/A:1008695706493","journal-title":"Form. Methods Syst. Des."},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Aho, A.V., Zilles, S.N., Rosen, B.K. (eds.) Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 269\u2013282. ACM Press (1979). https:\/\/doi.org\/10.1145\/567752.567778","DOI":"10.1145\/567752.567778"},{"key":"8_CR10","doi-asserted-by":"publisher","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 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. LNCS, vol.\u00a04703, pp. 17\u201341. Springer, Cham (2007). https:\/\/doi.org\/10.1007\/978-3-540-74407-8_3","DOI":"10.1007\/978-3-540-74407-8_3"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of cellular signalling networks. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) Verification, Model Checking, and Abstract Interpretation. VMCAI 2008. LNCS, vol. 4905, pp. 83\u201397. Springer, Berlin, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78163-9_11","DOI":"10.1007\/978-3-540-78163-9_11"},{"key":"8_CR12","unstructured":"Feret, J., Ghidini, R.: Supplementary information. http:\/\/www.di.ens.fr\/~feret\/Incremental-KaSa-tool-paper\/"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Feret, J., Ghidini, R.: Reachability analysis for parametric rule-based models. In: Fages, F., P\u00e9r\u00e8s, S. (eds.) Computational Methods in Systems Biology. CMSB 2025. LNCS, vol. 15959, pp. 153\u2013173. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-032-01436-8_9","DOI":"10.1007\/978-3-032-01436-8_9"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Feret, J., L\u00fd, K.Q.: Reachability analysis via orthogonal sets of patterns. In: Sanguinetti, G., Safr\u00e1nek, D. (eds.) Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016. Electronic Notes in Theoretical Computer Science, vol.\u00a0335, pp. 27\u201348. Elsevier (2018). https:\/\/doi.org\/10.1016\/J.ENTCS.2018.03.007","DOI":"10.1016\/J.ENTCS.2018.03.007"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Gyori, B., Bachman, J., Subramanian, K., Muhlich, J., Galescu, L., Sorger, P.: From word models to executable models of signaling networks using automated assembly. Mol. Syst. Biol. 13 (2017)","DOI":"10.15252\/msb.20177651"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1006\/jagm.1996.0046","volume":"21","author":"G Ramalingam","year":"1996","unstructured":"Ramalingam, G., Reps, T.: An incremental algorithm for a generalization of the shortest-path problem. J. Algorithms 21(2), 267\u2013305 (1996). https:\/\/doi.org\/10.1006\/jagm.1996.0046","journal-title":"J. Algorithms"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Rothenberg, B., Dietsch, D., Heizmann, M.: Incremental verification using trace abstraction. In: Podelski, A. (ed.) Static Analysis. SAS 2018. LNCS, vol. 11002, pp. 364\u2013382 Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99725-4_22","DOI":"10.1007\/978-3-319-99725-4_22"},{"key":"8_CR18","doi-asserted-by":"publisher","unstructured":"Suderman, R., Deeds, E.J.: Machines vs. ensembles: effective MAPK signaling through heterogeneous sets of protein complexes. PLoS Comput. Biol. 9(10) (2013). https:\/\/doi.org\/10.1371\/JOURNAL.PCBI.1003278","DOI":"10.1371\/JOURNAL.PCBI.1003278"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Th\u00e9ret, N., Feret, J., Hodgkinson, A., Boutillier, P., Vignet, P., Radulescu, O.: Integrative models for tgf-$$\\beta $$ signaling and extracellular matrix. In: Ricard-Blum, S. (ed.) Extracellular Matrix Omics. Biology of Extracellular Matrix, vol. 7, pp. 209\u2013225. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58330-9_10","DOI":"10.1007\/978-3-030-58330-9_10"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Waites, W., et al.: Compositional modelling of immune response and virus transmission dynamics. Philos. Trans. R. Soc. A: Math. Phys. Eng. Sci. 380(2233), 20210307 (2022). https:\/\/doi.org\/10.1098\/rsta.2021.0307","DOI":"10.1098\/rsta.2021.0307"}],"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-032-30870-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T05:14:33Z","timestamp":1784092473000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-30870-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,16]]},"ISBN":["9783032308696","9783032308702"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-30870-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,16]]},"assertion":[{"value":"16 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","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":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/arsr.inesc-id.pt\/cmsb2026\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}