{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:34:24Z","timestamp":1742913264286,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030934125"},{"type":"electronic","value":"9783030934132"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-93413-2_25","type":"book-chapter","created":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T03:18:22Z","timestamp":1641007102000},"page":"289-300","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Lumping Reductions for\u00a0Multispread in\u00a0Multi-Layer Networks"],"prefix":"10.1007","author":[{"given":"Tatjana","family":"Petrov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Tognazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,1,1]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"10316","DOI":"10.1109\/ACCESS.2020.2965547","volume":"8","author":"P Br\u00f3dka","year":"2020","unstructured":"Br\u00f3dka, P., Musial, K., Jankowski, J.: Interacting spreading processes in multilayer networks: a systematic review. IEEE Access 8, 10316\u201310341 (2020)","journal-title":"IEEE Access"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Perez-Verona, I.C., Tribastone, M., Tschaikowski, M., Vandin, A., Waizmann, T.: Exact maximal reduction of stochastic reaction networks by species lumping. Bioinformatics (2021)","DOI":"10.1093\/bioinformatics\/btab081"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: 43st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (2016)","DOI":"10.1145\/2837614.2837649"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: TACAS, pp. 310\u2013328 (2017)","DOI":"10.1007\/978-3-662-54580-5_19"},{"key":"25_CR5","first-page":"07","volume":"3","author":"M De Domenico","year":"2013","unstructured":"De Domenico, M., et al.: Mathematical formulation of multi-layer networks. Phys. Rev. X 3, 07 (2013)","journal-title":"Phys. Rev. X"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.tcs.2011.12.059","volume":"431","author":"J Feret","year":"2012","unstructured":"Feret, J., Henzinger, T., Koeppl, H., Petrov, T.: Lumpability abstractions of rule-based systems. Theor. Comput. Sci. 431, 137\u2013164 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.anbehav.2018.12.016","volume":"149","author":"K Finn","year":"2019","unstructured":"Finn, K., Silk, M., Porter, M., Pinter-Wollman, N.: The use of multilayer network analysis in animal behaviour. Anim. Behav. 149, 7\u201322 (2019)","journal-title":"Anim. Behav."},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"128701","DOI":"10.1103\/PhysRevLett.111.128701","volume":"111","author":"C Granell","year":"2013","unstructured":"Granell, C., Gomez, S., Arenas, A.: Dynamical interplay between awareness and epidemic spreading in multiplex networks. Phys. Rev. Lett. 111, 128701 (2013)","journal-title":"Phys. Rev. Lett."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Grossmann, G., Bortolussi, L.: Reducing spreading processes on networks to Markov population models, pp. 292\u2013309 (2019)","DOI":"10.1007\/978-3-030-30281-8_17"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Hagberg, A.A., Schult, D.A., Swart, P.J.: Exploring network structure, dynamics, and function using networkx. In: Varoquaux, G., Vaught, T., Millman, J. (eds.) Proceedings of the 7th Python in Science Conference, Pasadena, CA USA, pp. 11\u201315 (2008)","DOI":"10.25080\/TCWV9851"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"100246","DOI":"10.1016\/j.cosrev.2020.100246","volume":"36","author":"R Interdonato","year":"2020","unstructured":"Interdonato, R., Magnani, M., Perna, D., Tagarelli, A., Vega, D.: Multilayer network simplification: approaches, models and methods. Comput. Sci. Rev. 36, 100246 (2020)","journal-title":"Comput. Sci. Rev."},{"issue":"3","key":"25_CR12","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1093\/comnet\/cnu016","volume":"2","author":"M Kivel\u00e4","year":"2014","unstructured":"Kivel\u00e4, M., Arenas, A., Barthelemy, M., Gleeson, J.P., Moreno, Y., Porter, M.A.: Multilayer networks. J. Complex Netw. 2(3), 203\u2013271 (2014)","journal-title":"J. Complex Netw."},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Kunegis, J.: KONECT - the koblenz network collection. In: Proceedings of International Conference on World Wide Web Companion, pp. 1343\u20131350 (2013)","DOI":"10.1145\/2487788.2488173"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1103\/RevModPhys.87.925","volume":"87","author":"R Pastor-Satorras","year":"2015","unstructured":"Pastor-Satorras, R., Castellano, C., Van Mieghem, P., Vespignani, A.: Epidemic processes in complex networks. Rev. Mod. Phys. 87, 925\u2013979 (2015)","journal-title":"Rev. Mod. Phys."},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-030-61470-6_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles","author":"T Petrov","year":"2020","unstructured":"Petrov, T., Tognazzi, S.: Centrality-preserving exact reductions of multi-layer networks. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 397\u2013415. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61470-6_24"},{"issue":"17","key":"25_CR16","doi-asserted-by":"publisher","first-page":"2457","DOI":"10.1093\/bioinformatics\/btr401","volume":"27","author":"KR Sanft","year":"2011","unstructured":"Sanft, K.R., et al.: StochKit2: software for discrete stochastic simulation of biochemical systems with events. Bioinformatics 27(17), 2457\u20132458 (2011)","journal-title":"Bioinformatics"},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s00285-010-0344-x","volume":"62","author":"P Simon","year":"2011","unstructured":"Simon, P., Taylor, M., Kiss, I.: Exact epidemic models on graphs using graph-automorphism driven lumping. J. Math. Biol. 62, 479\u2013508 (2011)","journal-title":"J. Math. Biol."},{"issue":"2","key":"25_CR18","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1137\/17M1137668","volume":"78","author":"F Tudisco","year":"2018","unstructured":"Tudisco, F., Arrigo, F., Gautier, A.: Node and layer eigenvector centralities for multiplex networks. SIAM J. Appl. Math. 78(2), 853\u2013876 (2018)","journal-title":"SIAM J. Appl. Math."},{"issue":"1","key":"25_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TNET.2008.925623","volume":"17","author":"P Van Mieghem","year":"2009","unstructured":"Van Mieghem, P., Omic, J., Kooij, R.: Virus spread in networks. IEEE\/ACM Trans. Netw. 17(1), 1\u201314 (2009)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"25_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/2378956.2378958","volume":"42","author":"X Wei","year":"2012","unstructured":"Wei, X., Valler, N., Aditya Prakash, B., Neamtiu, I., Faloutsos, M., Faloutsos, C.: Competing memes propagation on networks: a case study of composite networks. ACM SIGCOMM Comput. Commun. Rev. 42, 5\u201311 (2012)","journal-title":"ACM SIGCOMM Comput. Commun. Rev."}],"container-title":["Studies in Computational Intelligence","Complex Networks & Their Applications X"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-93413-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:38:50Z","timestamp":1726407530000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-93413-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030934125","9783030934132"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-93413-2_25","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"1 January 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COMPLEX NETWORKS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Complex Networks and Their Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iwcna2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.complexnetworks.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}