@book(BK08, author = {C. Baier and J. Katoen}, year = {2008}, title = {Principles of model checking}, publisher = {{MIT} Press}, ) @inbook(BBMNS15, author = {E. Bartocci and L. Bortolussi and D. Milios and L. Nenzi and G. Sanguinetti}, year = {2015}, title = {Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic}, pages = {156--172}, publisher = {Springer}, doi = {10.1007/978-3-319-26916-0\_9}, ) @incollection(Ch5HBSL, author = {J. van Benthem and G. Bezhanishvili}, year = {2007}, title = {Modal Logics of Space}, booktitle = {Handbook of Spatial Logics}, publisher = {Springer}, pages = {217--298}, doi = {10.1007/978-1-4020-5587-4\_5}, ) @article(BHLM13, author = {L. Bortolussi and J. Hillston and Latella. D. and M. Massink}, year = {2013}, title = {Continuous approximation of collective system behaviour: {A} tutorial}, journal = {Perform. Eval.}, volume = {70}, number = {5}, pages = {317--349}, doi = {10.1016/j.peva.2013.01.001}, ) @inproceedings(BH12, author = {Luca Bortolussi and Jane Hillston}, year = {2012}, title = {Fluid Model Checking}, booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference}, series = {Lecture Notes in Computer Science}, volume = {7454}, publisher = {Springer}, pages = {333--347}, doi = {10.1007/978-3-642-32940-1\_24}, ) @book(brock2014image, author = {K.K. Brock}, year = {2014}, title = {Image processing in radiation therapy}, publisher = {CRC Press}, doi = {10.1118/1.4905156}, ) @article(Castellano2004, author = {G. Castellano and L. Bonilha and L.M. Li and F. Cendes}, year = {2004}, title = {Texture analysis of medical images}, journal = {Clinical Radiology}, volume = {59}, number = {12}, pages = {1061--1069}, doi = {10.1016/j.crad.2004.07.008}, ) @article(Chen1989, author = {C.-C. Chen and J.S. DaPonte and M.D. Fox}, year = {1989}, title = {Fractal feature analysis and classification in medical imaging}, journal = {{IEEE} Transactions on Medical Imaging}, volume = {8}, number = {2}, pages = {133--142}, doi = {10.1109/42.24861}, ) @article(Chetelat2003, author = {G. Chetelat and J. Baron}, year = {2003}, title = {Early diagnosis of alzheimer's disease: contribution of structural neuroimaging}, journal = {{NeuroImage}}, volume = {18}, number = {2}, pages = {525--541}, doi = {10.1016/S1053-8119(02)00026-5}, ) @inproceedings(CGLLM14, author = {V. Ciancia and S. Gilmore and D. Latella and M. Loreti and M. Massink}, year = {2014}, title = {Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data}, booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, {SASOW}}, publisher = {{IEEE} Computer Society}, pages = {32--37}, doi = {10.1109/SASOW.2014.16}, ) @inproceedings(CGLLM15, author = {V. Ciancia and G. Grilletti and D. Latella and M. Loreti and M. Massink}, year = {2015}, title = {An Experimental Spatio-Temporal Model Checker}, booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops}, series = {Lecture Notes in Computer Science}, volume = {9509}, publisher = {Springer}, pages = {297--311}, doi = {10.1007/978-3-662-49224-6\_24}, ) @inproceedings(CLLM14, author = {V. Ciancia and D. Latella and M. Loreti and M. Massink}, year = {2014}, title = {Specifying and Verifying Properties of Space}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, publisher = {Springer}, pages = {222--235}, doi = {10.1007/978-3-662-44602-7\_18}, ) @inproceedings(CLMP15, author = {V. Ciancia and D. Latella and M. Massink and R. Pakauskas}, year = {2015}, title = {Exploring Spatio-temporal Properties of Bike-Sharing Systems}, booktitle = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, {SASO} Workshops}, publisher = {{IEEE} Computer Society}, pages = {74--79}, doi = {10.1109/SASOW.2015.17}, ) @article(Davnall2012, author = {F. Davnall and C. S. P. Yip and G. Ljungqvist and M. Selmi and F. Ng and B. Sanghera and B. Ganeshan and K. A. Miles and G. J. Cook and V. Goh}, year = {2012}, title = {Assessment of tumor heterogeneity: an emerging imaging tool for clinical practice?}, journal = {Insights into Imaging}, volume = {3}, number = {6}, pages = {573--589}, doi = {10.1007/s13244-012-0196-6}, ) @article(De+07, author = {{De Nicola}, R. and J. Katoen and D. Latella and M.. Loreti and M. Massink}, year = {2007}, title = {Model checking mobile stochastic logic}, journal = {Theor. Comput. Sci.}, volume = {382}, number = {1}, pages = {42--70}, doi = {10.1016/j.tcs.2007.05.008}, ) @article(DeSantis2014, author = {De Santis, S. and M. Drakesmith and S. Bells and Y. Assaf and D. K. Jones}, year = {2014}, title = {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}, journal = {{NeuroImage}}, volume = {89}, pages = {35--44}, doi = {10.1016/j.neuroimage.2013.12.003}, ) @article(Doi2007, author = {Kunio Doi}, year = {2007}, title = {Computer-aided diagnosis in medical imaging: Historical review, current status and future potential}, journal = {Comput. Med. Imaging Graph.}, volume = {31}, number = {4-5}, pages = {198--211}, doi = {10.1016/j.compmedimag.2007.02.002}, ) @article(SURVEYDT, author = {R. Fabbri and {Da Fontoura Da Costa}, L. and J. C. Torelli and O. M. Bruno}, year = {2008}, title = {2D Euclidean Distance Transform Algorithms: A Comparative Survey}, journal = {ACM Comput. Surv.}, volume = {40}, number = {1}, pages = {2:1--2:44}, doi = {10.1145/1322432.1322434}, ) @inproceedings(GBB14, author = {E.A. Gol and E. Bartocci and C. Belta}, year = {2014}, title = {A formal methods approach to pattern synthesis in reaction diffusion systems}, booktitle = {53rd IEEE Conference on Decision and Control}, pages = {108--113}, doi = {10.1109/CDC.2014.7039367}, ) @article(Gordillo2013, author = {N. Gordillo and E. Montseny and E. Sobrevilla}, year = {2013}, title = {State of the art survey on {MRI} brain tumor segmentation}, journal = {Magn. Reson. Imaging.}, volume = {31}, number = {8}, pages = {1426--1438}, doi = {10.1016/j.mri.2013.05.002}, ) @incollection(Grevera2007, author = {G. J. Grevera}, year = {2007}, title = {Distance Transform Algorithms And Their Implementation And Evaluation}, booktitle = {Deformable Models}, publisher = {Springer Science}, pages = {33--60}, doi = {10.1007/978-0-387-68413-0\_2}, ) @article(Gr+09, author = {R. Grosu and S.A. Smolka and F. Corradini and A. Wasilewska and E. Entcheva and E. Bartocci}, year = {2009}, title = {Learning and detecting emergent behavior in networks of cardiac myocytes}, journal = {Commun. ACM}, volume = {52}, number = {3}, pages = {97--105}, doi = {10.1145/1467247.1467271}, ) @inproceedings(SPATEL, author = {I. Haghighi and A. Jones and Z. Kong and E. Bartocci and R. Grosu and C. Belta}, year = {2015}, title = {SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems}, booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control}, series = {HSCC '15}, publisher = {ACM}, address = {New York, NY, USA}, pages = {189--198}, doi = {10.1145/2728606.2728633}, ) @article(Han2014, author = {F. Han and H. Wang and G. Zhang and H. Han and B. Song and L. Li and W. Moore and H. Lu and H. Zhao and Z. Liang}, year = {2014}, title = {Texture Feature Analysis for Computer-Aided Diagnosis on Pulmonary Nodules}, journal = {Journal of Digital Imaging}, volume = {28}, number = {1}, pages = {99--115}, doi = {10.1007/s10278-014-9718-8}, ) @incollection(Heinonen2009, author = {T. Heinonen and T. Arola and A. Kalliokoski and P. Dastidar and M. Rossi and S. Soimakallio and J. Hyttinen and H. Eskola}, year = {2009}, title = {Computer Aided Diagnosis Tool for the Segmentation and Texture Analysis of Medical Images}, booktitle = {{IFMBE} Proceedings}, publisher = {Springer Science}, pages = {274--276}, doi = {10.1007/978-3-642-03879-2\_77}, ) @article(Kassner2010, author = {A. Kassner and R. E. Thornhill}, year = {2010}, title = {Texture Analysis: A Review of Neurologic {MR} Imaging Applications}, journal = {Am. J. Neuroradiol.}, volume = {31}, number = {5}, pages = {809--816}, doi = {10.3174/ajnr.A2061}, ) @article(KKB96, author = {R. Kimmel and N. Kiryati and A. M. Bruckstein}, year = {1996}, title = {Sub-pixel distance maps and weighted distance transforms}, journal = {Journal of Mathematical Imaging and Vision}, volume = {6}, number = {2}, pages = {223--233}, doi = {10.1007/BF00119840}, ) @incollection(Ch9HBSL, author = {R. Kontchakov and A. Kurucz and F. Wolter and M. Zakharyaschev}, year = {2007}, title = {Spatial Logic + Temporal Logic = ?}, booktitle = {Handbook of Spatial Logics}, publisher = {Springer}, pages = {497--564}, doi = {10.1007/978-1-4020-5587-4\_9}, ) @article(KWSSZ03, author = {O. Kutz and F. Wolter and H. Sturm and N. Suzuki and M. Zakharyaschev}, year = {2003}, title = {Logics of metric spaces}, journal = {{ACM} Trans. Comput. Log.}, volume = {4}, number = {2}, pages = {260--294}, doi = {10.1145/635499.635504}, ) @article(LLM15, author = {D. Latella and M. Loreti and M. Massink}, year = {2015}, title = {On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination}, journal = {Science of Computer Programming}, volume = {110}, pages = {23 -- 50}, doi = {10.1016/j.scico.2015.06.009}, ) @article(Li2015, author = {C. Li and J. G. Herndon and F. J. Novembre and X. Zhang}, year = {2015}, title = {A Longitudinal Magnetization Transfer Imaging Evaluation of Brain Injury in a Macaque Model of {NeuroAIDS}}, journal = {{AIDS} Research and Human Retroviruses}, volume = {31}, number = {3}, pages = {335--341}, doi = {10.1089/aid.2014.0166}, ) @article(Lopes2011, author = {R. Lopes and A. Ayache and N. Makni and P. Puech and A. Villers and S. Mordon and N. Betrouni}, year = {2011}, title = {Prostate cancer characterization on {MR} images using fractal features}, journal = {Med. Phys.}, volume = {38}, number = {1}, pages = {83}, doi = {10.1118/1.3521470}, ) @book(HBSL, editor = {Aiello M. and Pratt{-}Hartmann I. and van Benthem J.}, year = {2007}, title = {Handbook of Spatial Logics}, publisher = {Springer}, doi = {10.1007/978-1-4020-5587-4}, ) @article(MQR03, author = {C.R. Maurer and Rensheng Qi and V. Raghavan}, year = {2003}, title = {A linear time algorithm for computing exact Euclidean distance transforms of binary images in arbitrary dimensions}, journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence}, volume = {25}, number = {2}, pages = {265--270}, doi = {10.1109/TPAMI.2003.1177156}, ) @inproceedings(NB14, author = {L. Nenzi and L. Bortolussi}, year = {2014}, title = {Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic}, booktitle = {8th International Conference on Performance Evaluation Methodologies and Tools, {VALUETOOLS} 2014, Bratislava, Slovakia, December 9-11, 2014}, publisher = {{ICST}}, doi = {10.4108/icst.valuetools.2014.258183}, ) @inproceedings(NBCLM15, author = {L. Nenzi and L. Bortolussi and V. Ciancia and M. Loreti and M. Massink}, year = {2015}, title = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties}, booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9333}, publisher = {Springer}, pages = {21--37}, doi = {10.1007/978-3-319-23820-3\_2}, ) @article(PG16, author = {O. Pârvu and D. Gilbert}, year = {2016}, title = {A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking}, journal = {PLoS ONE}, volume = {11}, number = {5}, pages = {1--43}, doi = {10.1371/journal.pone.0154847}, ) @article(RodriguezGutierrez2013, author = {Rodriguez Gutierrez, D. and A. Awwad and L. Meijer and M. Manita and T. Jaspan and R. A. Dineen and R. G. Grundy and D. P. Auer}, year = {2013}, title = {Metrics and Textural Features of {MRI} Diffusion to Improve Classification of Pediatric Posterior Fossa Tumors}, journal = {American Journal of Neuroradiology}, volume = {35}, number = {5}, pages = {1009--1015}, doi = {10.3174/ajnr.A3784}, ) @article(Sharma2008, author = {N. Sharma and A. Ray and S. Sharma and K.K. Shukla and S. Pradhan and L. Aggarwal}, year = {2008}, title = {Segmentation and classification of medical images using texture-primitive features: Application of {BAM}-type artificial neural network}, journal = {J Med Phys}, volume = {33}, number = {3}, pages = {119}, doi = {10.4103/0971-6203.42763}, ) @inproceedings(Srinivasan2008, author = {G.N. Srinivasan and G. Shobha}, year = {2012}, title = {Statistical Texture Analysis}, booktitle = {Proceedings of World Accademy of Science, Engineering and Technology}, volume = {36}, pages = {1264--1269}, ) @article(SGBM16, author = {A. Sundstrom and E. Grabocka and Bar-Sagi, D. and B. Mishra}, year = {2016}, title = {Histological Image Processing Features Induce a Quantitative Characterization of Chronic Tumor Hypoxia}, journal = {PLoS ONE}, volume = {11}, number = {4}, pages = {1--30}, doi = {10.1371/journal.pone.0153623}, ) @article(Tijms2011, author = {B. M. Tijms and P. Series and D. J. Willshaw and S. M. Lawrie}, year = {2011}, title = {Similarity-Based Extraction of Individual Networks from Gray Matter {MRI} Scans}, journal = {Cerebral Cortex}, volume = {22}, number = {7}, pages = {1530--1541}, doi = {10.1093/cercor/bhr221}, ) @article(Toosy2003, author = {A. T. Toosy}, year = {2003}, title = {Diffusion tensor imaging detects corticospinal tract involvement at multiple levels in amyotrophic lateral sclerosis}, journal = {J. Neurol. Neurosurg. Psychiatry}, volume = {74}, number = {9}, pages = {1250--1257}, doi = {10.1136/jnnp.74.9.1250}, ) @article(Woods2007, author = {B.J. Woods and B. D. Clymer and T. Kurc and J. T. Heverhagen and R. Stevens and Orsdemir A. and O. Bulan and M. V. Knopp}, year = {2007}, title = {Malignant-lesion segmentation using 4D co-occurrence texture analysis applied to dynamic contrast-enhanced magnetic resonance breast image data}, journal = {J. Magn. Reson. Imaging}, volume = {25}, number = {3}, pages = {495--501}, doi = {10.1002/jmri.20837}, )