{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T19:17:54Z","timestamp":1792264674361,"version":"4.4.0"},"reference-count":80,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T00:00:00Z","timestamp":1550793600000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s10009-019-00511-9","type":"journal-article","created":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T05:30:06Z","timestamp":1550813406000},"page":"195-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":33,"title":["Spatial logics and model checking for medical imaging"],"prefix":"10.1007","volume":"22","author":[{"given":"Fabrizio","family":"Banci Buonamici","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gina","family":"Belmonte","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vincenzo","family":"Ciancia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,2,22]]},"reference":[{"key":"511_CR1","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1109\/34.295913","volume":"16","author":"R Adams","year":"1994","unstructured":"Adams, R., Bischof, L.: Seeded region growing. IEEE Trans. Pattern Anal. Mach. Intell. 16, 641\u2013647 (1994)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"511_CR2","unstructured":"Aiello, M.: Spatial Reasoning: Theory and Practice. Ph.D. thesis, Institute of Logic, Language and Computation, University of Amsterdam (2002)"},{"key":"511_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of Spatial Logics","author":"M Aiello","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I., van Benthem, J.: Handbook of Spatial Logics. Springer, New York (2007)"},{"key":"511_CR4","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/s10278-017-9983-4","volume":"30","author":"Z Akkus","year":"2017","unstructured":"Akkus, Z., Galimzianova, A., Hoogi, A., Rubin, D.L., Erickson, B.J.: Deep learning for brain mri segmentation: state of the art and future directions. J. Digit. Imaging 30, 449\u2013459 (2017)","journal-title":"J. Digit. Imaging"},{"key":"511_CR5","first-page":"146","volume-title":"Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29\u2013October 02, 2017","author":"E Bartocci","year":"2017","unstructured":"Bartocci, E., Bortolussi, L., Loreti, M., Nenzi, L.: Monitoring mobile and spatially distributed cyber-physical systems. In: Talpin, J.P., Derler, P., Schneider, K. (eds.) Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29\u2013October 02, 2017, pp. 146\u2013155. ACM, New York (2017)"},{"key":"511_CR6","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Bortolussi, L., Milios, D., Nenzi, L., Sanguinetti, G.: Studying emergent behaviours in morphogenesis using signal spatio-temporal logic. In: Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4\u20135, 2015. Revised Selected Papers, pp. 156\u2013172. Springer (2015)","DOI":"10.1007\/978-3-319-26916-0_9"},{"issue":"1","key":"511_CR7","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TCNS.2016.2609138","volume":"5","author":"E Bartocci","year":"2018","unstructured":"Bartocci, E., Gol, E.A., Haghighi, I., Belta, C.: A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. IEEE Trans. Control Netw. Syst. 5(1), 308\u2013320 (2018)","journal-title":"IEEE Trans. Control Netw. Syst."},{"issue":"13","key":"511_CR8","doi-asserted-by":"publisher","first-page":"R97","DOI":"10.1088\/0031-9155\/58\/13\/R97","volume":"58","author":"S Bauer","year":"2013","unstructured":"Bauer, S., Wiest, R., Nolte, L.-P., Reyes, M.: A survey of MRI-based medical image analysis for brain tumor studies. Phys. Med. Biol. 58(13), R97 (2013)","journal-title":"Phys. Med. Biol."},{"key":"511_CR9","doi-asserted-by":"crossref","unstructured":"Belmonte, G., Ciancia, V., Latella, D., Massink, M.: From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging. In: ter Beek, M., Loreti, M. (eds.) Proceedings of the Workshop on FORmal Methods for the Quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016, Volume 217 of EPTCS, pp. 81\u201392 (2016)","DOI":"10.4204\/EPTCS.217.10"},{"key":"511_CR10","doi-asserted-by":"crossref","unstructured":"Belmonte, G., Ciancia, V., Latella, D., Massink, M.: Voxlogica: a spatial model checker for declarative image analysis. In: Tools and Algorithms for the Construction and Analysis of Systems\u201425th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS, Logical Methods in Computer Science. Springer (to appear) (2019)","DOI":"10.1007\/978-3-030-17462-0_16"},{"issue":"S1","key":"511_CR11","first-page":"437","volume":"30","author":"G Belmonte","year":"2017","unstructured":"Belmonte, G., Ciancia, V., Latella, D., Massink, M., Biondi, M., De Otto, G., Nardone, V., Rubino, G., Vanzi, E., Banci Buonamici, F.: A topological method for automatic segmentation of glioblastoma in MR air for radio-therapy\u2014ESMRMB 2017, 34th annual scientific meeting. Magn. Reson. Mater. Phys. Biol. Med. 30(S1), 437 (2017)","journal-title":"Magn. Reson. Mater. Phys. Biol. Med."},{"key":"511_CR12","volume-title":"Image Processing in Radiation Therapy","author":"K Brock","year":"2014","unstructured":"Brock, K.: Image Processing in Radiation Therapy. CRC Press, Boca Raton (2014)"},{"issue":"4","key":"511_CR13","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/146370.146374","volume":"24","author":"L Brown","year":"1992","unstructured":"Brown, L.: A survey of image registration techniques. ACM Comput. Surv. 24(4), 325\u2013376 (1992)","journal-title":"ACM Comput. Surv."},{"key":"511_CR14","volume-title":"Magnetic Resonance Imaging","year":"2014","unstructured":"Brown, R., Cheng, N., Haacke, E., Thompson, M., Venkatesan, R. (eds.): Magnetic Resonance Imaging. Wiley, New York (2014)"},{"issue":"2","key":"511_CR15","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1102\/1470-7330.2004.0054","volume":"4","author":"N Burnet","year":"2004","unstructured":"Burnet, N.: Defining the tumour and target volumes for radiotherapy. Cancer Imaging 4(2), 153\u2013161 (2004)","journal-title":"Cancer Imaging"},{"issue":"12","key":"511_CR16","doi-asserted-by":"publisher","first-page":"1061","DOI":"10.1016\/j.crad.2004.07.008","volume":"59","author":"G Castellano","year":"2004","unstructured":"Castellano, G., Bonilha, L., Li, L., Cendes, F.: Texture analysis of medical images. Clin. Radiol. 59(12), 1061\u20131069 (2004)","journal-title":"Clin. Radiol."},{"issue":"2","key":"511_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1109\/42.24861","volume":"8","author":"C Chen","year":"1989","unstructured":"Chen, C., Da Ponte, J., Fox, M.: Fractal feature analysis and classification in medical imaging. IEEE Trans. Med. Imaging 8(2), 133\u2013142 (1989)","journal-title":"IEEE Trans. Med. Imaging"},{"issue":"2","key":"511_CR18","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1016\/S1053-8119(02)00026-5","volume":"18","author":"G Chetelat","year":"2003","unstructured":"Chetelat, G., Baron, J.: Early diagnosis of alzheimer\u2019s disease: contribution of structural neuroimaging. NeuroImage 18(2), 525\u2013541 (2003)","journal-title":"NeuroImage"},{"issue":"3","key":"511_CR19","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s10009-018-0483-8","volume":"20","author":"V Ciancia","year":"2018","unstructured":"Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M.: Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20(3), 289\u2013311 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"511_CR20","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Gilmore, S., Latella, D., Loreti, M., Massink, M.: Data verification for collective adaptive systems: spatial model-checking of vehicle location data. In: Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW, pp. 32\u201337. IEEE Computer Society (2014)","DOI":"10.1109\/SASOW.2014.16"},{"key":"511_CR21","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Grilletti, G., Latella, D., Loreti, M., and Massink, M.: An experimental spatio-temporal model checker. In: Software Engineering and Formal Methods\u2014SEFM 2015 Collocated Workshops, Volume 9509 of Lecture Notes in Computer Science, pp. 297\u2013311. Springer (2015)","DOI":"10.1007\/978-3-662-49224-6_24"},{"key":"511_CR22","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Specifying and verifying properties of space. In: Theoretical Computer Science\u20148th IFIP TC 1\/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1\u20133, 2014. Proceedings, Volume 8705 of Lecture Notes in Computer Science, pp. 222\u2013235. Springer (2014)","DOI":"10.1007\/978-3-662-44602-7_18"},{"issue":"4","key":"511_CR23","first-page":"1","volume":"12","author":"V Ciancia","year":"2016","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Model checking spatial logics for closure spaces. Log. Methods Comput. Sci. 12(4), 1\u201351 (2016)","journal-title":"Log. Methods Comput. Sci."},{"key":"511_CR24","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Spatial logic and spatial model checking for closure spaces. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems\u201416th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20\u201324, 2016, Advanced Lectures, Volume 9700 of Lecture Notes in Computer Science, pp. 156\u2013201. Springer, New York (2016)"},{"key":"511_CR25","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Latella, D., Massink, M., Pakauskas, R.: Exploring spatio-temporal properties of bike-sharing systems. In: 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops, pp. 74\u201379. IEEE Computer Society (2015)","DOI":"10.1109\/SASOW.2015.17"},{"key":"511_CR26","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Latella, D., Massink, M., Paskauskas, R., Vandin, A.: A tool-chain for statistical spatio-temporal model checking of bike sharing systems. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u20147th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10\u201314, 2016, Proceedings, Part I, Volume 9952 of Lecture Notes in Computer Science, pp. 657\u2013673 (2016)","DOI":"10.1007\/978-3-319-47166-2_46"},{"issue":"3","key":"511_CR27","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s10851-010-0232-4","volume":"39","author":"K Ciesielski","year":"2010","unstructured":"Ciesielski, K., Chen, X., Udupa, J., Grevera, G.: Linear time algorithms for exact distance transform. J. Math. Imaging Vis. 39(3), 193\u2013209 (2010)","journal-title":"J. Math. Imaging Vis."},{"key":"511_CR28","doi-asserted-by":"crossref","unstructured":"Clarke, E., Emerson, A.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Logic of Programs, Workshop, pp. 52\u201371. Springer, London (1982)","DOI":"10.1007\/BFb0025774"},{"key":"511_CR29","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Boca Raton (1999)"},{"issue":"6","key":"511_CR30","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/s13244-012-0196-6","volume":"3","author":"F Davnall","year":"2012","unstructured":"Davnall, F., Yip, C., Ljungqvist, G., Selmi, M., Ng, F., Sanghera, B., Ganeshan, B., Miles, K.A., Cook, G.J., Goh, V.: Assessment of tumor heterogeneity: an emerging imaging tool for clinical practice? Insights Imaging 3(6), 573\u2013589 (2012)","journal-title":"Insights Imaging"},{"issue":"1","key":"511_CR31","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2007.05.008","volume":"382","author":"R Nicola De","year":"2007","unstructured":"De Nicola, R., Katoen, J., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1), 42\u201370 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"511_CR32","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.neuroimage.2013.12.003","volume":"89","author":"S Santis De","year":"2014","unstructured":"De Santis, S., Drakesmith, M., Bells, S., Assaf, Y., Jones, D.: Why diffusion tensor MRI does well only some of the time: variance and covariance of white matter tissue microstructure attributes in the living human brain. NeuroImage 89, 35\u201344 (2014)","journal-title":"NeuroImage"},{"key":"511_CR33","first-page":"2015","volume":"1\u201323","author":"I Despotovi\u0107","year":"2015","unstructured":"Despotovi\u0107, I., Goossens, B., Philips, W.: MRI segmentation of the human brain: challenges, methods, and applications. Comput. Math. Methods Med. 1\u201323, 2015 (2015)","journal-title":"Comput. Math. Methods Med."},{"issue":"4\u20135","key":"511_CR34","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.compmedimag.2007.02.002","volume":"31","author":"K Doi","year":"2007","unstructured":"Doi, K.: Computer-aided diagnosis in medical imaging: historical review, current status and future potential. Comput. Med. Imaging Graph. 31(4\u20135), 198\u2013211 (2007)","journal-title":"Comput. Med. Imaging Graph."},{"issue":"3","key":"511_CR35","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.irbm.2015.12.004","volume":"37","author":"C Dupont","year":"2016","unstructured":"Dupont, C., Betrouni, N., Reyns, Vermandel, M.: On image segmentation methods applied to glioblastoma: state of art and new trends. IRBM 37(3), 131\u2013143 (2016)","journal-title":"IRBM"},{"issue":"1","key":"511_CR36","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/1322432.1322434","volume":"40","author":"R Fabbri","year":"2008","unstructured":"Fabbri, R., Costa, L., Torelli, J., Odemir, B.: 2D Euclidean distance transform algorithms: a comparative survey. ACM Comput. Surv. 40(1), 2:1\u20132:44 (2008)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"511_CR37","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/1322432.1322434","volume":"40","author":"R Fabbri","year":"2008","unstructured":"Fabbri, R., Da Fontoura Da Costa, L., Torelli, J., Bruno, O.: 2D Euclidean distance transform algorithms: a comparative survey. ACM Comput. Surv. 40(1), 2:1\u20132:44 (2008)","journal-title":"ACM Comput. Surv."},{"issue":"10","key":"511_CR38","doi-asserted-by":"publisher","first-page":"e0164891","DOI":"10.1371\/journal.pone.0164891","volume":"11","author":"E Fyllingen","year":"2016","unstructured":"Fyllingen, E., Stensj\u00f8en, A., Berntsen, E., Solheim, O., Reinertsen, I.: Glioblastoma segmentation: comparison of three different software packages. PLoS ONE 11(10), e0164891 (2016)","journal-title":"PLoS ONE"},{"key":"511_CR39","first-page":"251","volume-title":"Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science, Volume 1661 of Lecture Notes in Computer Science","author":"A Galton","year":"1999","unstructured":"Galton, A.: The mereotopology of discrete space. In: Freksa, C., David, M. (eds.) Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science, Volume 1661 of Lecture Notes in Computer Science, pp. 251\u2013266. Springer, Berlin (1999)"},{"issue":"1\u20133","key":"511_CR40","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0304-3975(02)00701-6","volume":"305","author":"A Galton","year":"2003","unstructured":"Galton, A.: A generalized topological view of motion in discrete space. Theor. Comput. Sci. 305(1\u20133), 111\u2013134 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"511_CR41","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-319-05356-1_11","volume-title":"Mereology and the Sciences: Parts and Wholes in the Contemporary Scientific Context","author":"A Galton","year":"2014","unstructured":"Galton, A.: Discrete mereotopology. In: Calosi, C., Graziani, P. (eds.) Mereology and the Sciences: Parts and Wholes in the Contemporary Scientific Context, pp. 293\u2013321. Springer, New York (2014)"},{"key":"511_CR42","doi-asserted-by":"crossref","unstructured":"Gol, E., Bartocci, E., Belta, C.: A formal methods approach to pattern synthesis in reaction diffusion systems. In: 53rd IEEE Conference on Decision and Control, pp. 108\u2013113 (2014)","DOI":"10.1109\/CDC.2014.7039367"},{"issue":"8","key":"511_CR43","doi-asserted-by":"publisher","first-page":"1426","DOI":"10.1016\/j.mri.2013.05.002","volume":"31","author":"N Gordillo","year":"2013","unstructured":"Gordillo, N., Montseny, E., Sobrevilla, E.: State of the art survey on MRI brain tumor segmentation. Magn. Reson. Imaging 31(8), 1426\u20131438 (2013)","journal-title":"Magn. Reson. Imaging"},{"key":"511_CR44","doi-asserted-by":"crossref","unstructured":"Grevera, G.: Distance transform algorithms and their implementation and evaluation. In: Farag, A.A., Suri, J.S. (eds.) Deformable Models, pp. 33\u201360. Springer (2007)","DOI":"10.1007\/978-0-387-68413-0_2"},{"issue":"3","key":"511_CR45","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/1467247.1467271","volume":"52","author":"R Grosu","year":"2009","unstructured":"Grosu, R., Smolka, S., Corradini, F., Wasilewska, A., Entcheva, E., Bartocci, E.: Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3), 97\u2013105 (2009)","journal-title":"Commun. ACM"},{"key":"511_CR46","doi-asserted-by":"crossref","unstructured":"Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Grosu, R., Belta, C.: Spatel: A novel spatial-temporal logic and its applications to networked systems. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC \u201915, pp. 189\u2013198. ACM, New York (2015)","DOI":"10.1145\/2728606.2728633"},{"issue":"1","key":"511_CR47","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s10278-014-9718-8","volume":"28","author":"F Han","year":"2014","unstructured":"Han, F., Wang, H., Zhang, G., Han, H., Song, B., Li, L., Moore, W., Lu, H., Zhao, H., Liang, Z.: Texture feature analysis for computer-aided diagnosis on pulmonary nodules. J. Digit. Imaging 28(1), 99\u2013115 (2014)","journal-title":"J. Digit. Imaging"},{"issue":"6","key":"511_CR48","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1109\/TSMC.1973.4309314","volume":"3","author":"R Haralick","year":"1973","unstructured":"Haralick, R., et al.: Textural features for image classification. IEEE Trans. Syst. Man Cybern. 3(6), 610\u2013621 (1973)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"511_CR49","doi-asserted-by":"crossref","unstructured":"Heinonen, T., Arola, T., Kalliokoski, A., Dastidar, P., Rossi, M., Soimakallio, S., Hyttinen, J., Eskola, H.: Computer aided diagnosis tool for the segmentation and texture analysis of medical images. In: IFMBE Proceedings, pp. 274\u2013276. Springer (2009)","DOI":"10.1007\/978-3-642-03879-2_77"},{"issue":"5","key":"511_CR50","doi-asserted-by":"publisher","first-page":"809","DOI":"10.3174\/ajnr.A2061","volume":"31","author":"A Kassner","year":"2010","unstructured":"Kassner, A., Thornhill, R.: Texture analysis: a review of neurologic MR imaging applications. Am. J. Neuroradiol. 31(5), 809\u2013816 (2010)","journal-title":"Am. J. Neuroradiol."},{"issue":"2","key":"511_CR51","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF00119840","volume":"6","author":"R Kimmel","year":"1996","unstructured":"Kimmel, R., Kiryati, N., Bruckstein, A.: Sub-pixel distance maps and weighted distance transforms. J. Math. Imaging Vis. 6(2), 223\u2013233 (1996)","journal-title":"J. Math. Imaging Vis."},{"key":"511_CR52","doi-asserted-by":"crossref","unstructured":"Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Spatial logic + temporal logic = ? In: Aiello, M., Pratt-Hartmann, I. , van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 497\u2013564. Springer (2007)","DOI":"10.1007\/978-1-4020-5587-4_9"},{"issue":"2","key":"511_CR53","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/635499.635504","volume":"4","author":"O Kutz","year":"2003","unstructured":"Kutz, O., Wolter, F., Sturm, H., Suzuki, N., Zakharyaschev, M.: Logics of metric spaces. ACM Trans. Comput. Log. 4(2), 260\u2013294 (2003)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"511_CR54","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1002\/(SICI)1522-2594(199907)42:1<127::AID-MRM17>3.0.CO;2-O","volume":"42","author":"L Lemieux","year":"1999","unstructured":"Lemieux, L., Hagemann, G., Krakow, K., Woermann, F.: Fast, accurate, and reproducible automatic segmentation of the brain in T1-weighted volume MRI data. Magn. Reson. Med. 42(1), 127\u2013135 (1999)","journal-title":"Magn. Reson. Med."},{"issue":"3","key":"511_CR55","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1089\/aid.2014.0166","volume":"31","author":"C Li","year":"2015","unstructured":"Li, C., Herndon, J., Novembre, F., Zhang, X.: A longitudinal magnetization transfer imaging evaluation of brain injury in a macaque model of NeuroAIDS. AIDS Res. Hum. Retrovir. 31(3), 335\u2013341 (2015)","journal-title":"AIDS Res. Hum. Retrovir."},{"issue":"1","key":"511_CR56","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1118\/1.3521470","volume":"38","author":"R Lopes","year":"2011","unstructured":"Lopes, R., Ayache, A., Makni, N., Puech, P., Villers, A., Mordon, S., Betrouni, N.: Prostate cancer characterization on MR images using fractal features. Med. Phys. 38(1), 83 (2011)","journal-title":"Med. Phys."},{"issue":"9","key":"511_CR57","doi-asserted-by":"publisher","first-page":"3426","DOI":"10.1118\/1.2335487","volume":"33","author":"A Madabhushi","year":"2006","unstructured":"Madabhushi, A., Udupa, J.: New methods of MR image intensity standardization via generalized scale. Med. Phys. 33(9), 3426\u20133434 (2006)","journal-title":"Med. Phys."},{"issue":"2","key":"511_CR58","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1109\/TPAMI.2003.1177156","volume":"25","author":"C Maurer","year":"2003","unstructured":"Maurer, C., Rensheng, Q., Raghavan, V.: A linear time algorithm for computing exact euclidean distance transforms of binary images in arbitrary dimensions. IEEE Trans. Pattern Anal. Mach. Intell. 25(2), 265\u2013270 (2003)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"issue":"1","key":"511_CR59","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1016\/j.ijrobp.2004.01.026","volume":"59","author":"G Mazzara","year":"2004","unstructured":"Mazzara, G., Velthuizen, R., Pearlman, J., Greenberg, H., Wagner, H.: Brain tumor target volume determination for radiation treatment planning through automated MRI segmentation. Int. J. Radiat. Oncol. Biol. Phys. 59(1), 300\u2013312 (2004)","journal-title":"Int. J. Radiat. Oncol. Biol. Phys."},{"issue":"10","key":"511_CR60","doi-asserted-by":"publisher","first-page":"1993","DOI":"10.1109\/TMI.2014.2377694","volume":"34","author":"B Menze","year":"2015","unstructured":"Menze, B., et al.: The multimodal brain tumor image segmentation benchmark (brats). IEEE Trans. Med. Imaging 34(10), 1993\u20132024 (2015)","journal-title":"IEEE Trans. Med. Imaging"},{"key":"511_CR61","doi-asserted-by":"crossref","unstructured":"Meshgi, K., Ishii, S.: Expanding histogram of colors with gridding to improve tracking accuracy. In: MVA (2015)","DOI":"10.1109\/MVA.2015.7153234"},{"key":"511_CR62","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.bspc.2017.07.007","volume":"39","author":"G Mohan","year":"2018","unstructured":"Mohan, G., Subashini, M.M.: Mri based medical image analysis: survey on brain tumor grade classification. Biomed. Signal Process. Control 39, 139\u2013161 (2018)","journal-title":"Biomed. Signal Process. Control"},{"key":"511_CR63","unstructured":"Nenzi, L., Bortolussi, L.: Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic. In: 8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2014, Bratislava, Slovakia, December 9\u201311, 2014. ICST (2014)"},{"key":"511_CR64","doi-asserted-by":"crossref","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties. In: Runtime Verification\u20146th International Conference, RV 2015 Vienna, Austria, September 22\u201325, 2015. Proceedings, Volume 9333 of Lecture Notes in Computer Science, pp. 21\u201337. Springer (2015)","DOI":"10.1007\/978-3-319-23820-3_2"},{"issue":"4","key":"511_CR65","doi-asserted-by":"publisher","first-page":"1","DOI":"10.23638\/LMCS-14(4:2)2018","volume":"14","author":"L Nenzi","year":"2018","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Log. Methods Comput. Sci. 14(4), 1\u201338 (2018). https:\/\/doi.org\/10.23638\/LMCS-14(4:2)2018","journal-title":"Log. Methods Comput. Sci."},{"issue":"5","key":"511_CR66","first-page":"1","volume":"11","author":"O Prvu","year":"2016","unstructured":"Prvu, O., Gilbert, D.: A novel method to verify multilevel computational models of biological systems using multiscale spatio-temporal meta model checking. PLoS ONE 11(5), 1\u201343 (2016). 05","journal-title":"PLoS ONE"},{"issue":"1","key":"511_CR67","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0022-0000(85)90003-0","volume":"30","author":"J Reif","year":"1985","unstructured":"Reif, J., Sistla, A.: A multiprocess network logic with temporal and spatial modalities. J. Comput. Syst. Sci. 30(1), 41\u201353 (1985)","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"511_CR68","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s11548-010-0476-x","volume":"5","author":"F Rengier","year":"2010","unstructured":"Rengier, F., Mehndiratta, A., von Tengg-Kobligk, H., Zechmann, C.M., Unterhinninghofen, R., Kauczor, H.-U., Giesel, F.L.: 3D printing based on imaging data: review of medical applications. Int. J. Comput. Assist. Radiol. Surg. 5(4), 335\u2013341 (2010)","journal-title":"Int. J. Comput. Assist. Radiol. Surg."},{"issue":"5","key":"511_CR69","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.3174\/ajnr.A3784","volume":"35","author":"D Rodriguez Gutierrez","year":"2013","unstructured":"Rodriguez Gutierrez, D., Awwad, A., Meijer, L., Manita, M., Jaspan, T., Dineen, R., Grundy, R., Auer, D.: Metrics and textural features of MRI diffusion to improve classification of pediatric posterior fossa tumors. Am. J. Neuroradiol. 35(5), 1009\u20131015 (2013)","journal-title":"Am. J. Neuroradiol."},{"issue":"3","key":"511_CR70","doi-asserted-by":"publisher","first-page":"119","DOI":"10.4103\/0971-6203.42763","volume":"33","author":"N Sharma","year":"2008","unstructured":"Sharma, N., Ray, A., Sharma, S., Shukla, K., Pradhan, S., Aggarwal, L.: Segmentation and classification of medical images using texture-primitive features: application of BAM-type artificial neural network. J. Med. Phys. 33(3), 119 (2008)","journal-title":"J. Med. Phys."},{"issue":"4","key":"511_CR71","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1016\/j.apal.2009.04.001","volume":"161","author":"M Sheremet","year":"2010","unstructured":"Sheremet, M., Wolter, F., Zakharyaschev, M.: A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Log. 161(4), 534\u2013559 (2010)","journal-title":"Ann. Pure Appl. Log."},{"issue":"4","key":"511_CR72","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1016\/j.ejrnm.2015.08.001","volume":"46","author":"V Simi","year":"2015","unstructured":"Simi, V., Joseph, J.: Segmentation of glioblastoma multiforme from MR images\u2014a comprehensive review. Egypt. J. Radiol. Nucl. Med. 46(4), 1105\u20131110 (2015)","journal-title":"Egypt. J. Radiol. Nucl. Med."},{"key":"511_CR73","first-page":"1264","volume":"36","author":"G Srinivasan","year":"2012","unstructured":"Srinivasan, G., Shobha, G.: Statistical texture analysis. Proc. World Acad. Sci. Eng. Technol. 36, 1264\u20131269 (2012)","journal-title":"Proc. World Acad. Sci. Eng. Technol."},{"issue":"4","key":"511_CR74","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pone.0153623","volume":"11","author":"A Sundstrom","year":"2016","unstructured":"Sundstrom, A., Grabocka, E., Bar-Sagi, D., Mishra, B.: Histological image processing features induce a quantitative characterization of chronic tumor hypoxia. PLoS ONE 11(4), 1\u201330 (2016). 04","journal-title":"PLoS ONE"},{"issue":"3","key":"511_CR75","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1145\/316542.316548","volume":"46","author":"M Thorup","year":"1999","unstructured":"Thorup, M.: Undirected single-source shortest paths with positive integer weights in linear time. J. ACM 46(3), 362\u2013394 (1999)","journal-title":"J. ACM"},{"issue":"7","key":"511_CR76","doi-asserted-by":"publisher","first-page":"1530","DOI":"10.1093\/cercor\/bhr221","volume":"22","author":"B Tijms","year":"2011","unstructured":"Tijms, B., Series, P., Willshaw, D., Lawrie, S.: Similarity-based extraction of individual networks from gray matter MRI scans. Cereb. Cortex 22(7), 1530\u20131541 (2011)","journal-title":"Cereb. Cortex"},{"issue":"9","key":"511_CR77","doi-asserted-by":"publisher","first-page":"1250","DOI":"10.1136\/jnnp.74.9.1250","volume":"74","author":"A Toosy","year":"2003","unstructured":"Toosy, A.: Diffusion tensor imaging detects corticospinal tract involvement at multiple levels in amyotrophic lateral sclerosis. J. Neurol. Neurosurg. Psychiatry 74(9), 1250\u20131257 (2003)","journal-title":"J. Neurol. Neurosurg. Psychiatry"},{"key":"511_CR78","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Aiello, M., Pratt-Hartmann, I. , van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 217\u2013298. Springer (2007)","DOI":"10.1007\/978-1-4020-5587-4_5"},{"issue":"3","key":"511_CR79","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1002\/jmri.20837","volume":"25","author":"B Woods","year":"2007","unstructured":"Woods, B., Clymer, B., Kurc, T., Heverhagen, J., Stevens, R., Orsdemir, A., Bulan, O., Knopp, M.: Malignant-lesion segmentation using 4D co-occurrence texture analysis applied to dynamic contrast-enhanced magnetic resonance breast image data. J. Magn. Reson. Imaging 25(3), 495\u2013501 (2007)","journal-title":"J. Magn. Reson. Imaging"},{"issue":"8","key":"511_CR80","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1016\/j.acra.2012.03.026","volume":"19","author":"Y Zhu","year":"2012","unstructured":"Zhu, Y., Young, G., Xue, Z., Huang, R., You, H., Setayesh, K., Hatabu, H., Cao, F., Wong, S.: Semi-automatic segmentation software for quantitative clinical brain glioblastoma evaluation. Acad. Radiol. 19(8), 977\u2013985 (2012)","journal-title":"Acad. Radiol."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-019-00511-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00511-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00511-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T09:58:22Z","timestamp":1662976702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-019-00511-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,22]]},"references-count":80,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["511"],"URL":"https:\/\/doi.org\/10.1007\/s10009-019-00511-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,22]]},"assertion":[{"value":"22 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}