Author:
Broccia Giovanna,Ciancia Vincenzo,Latella Diego,Massink Mieke
Publisher
Springer International Publishing
Reference18 articles.
1. Banci Buonamici, F., Belmonte, G., Ciancia, V., Latella, D., Massink, M.: Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transfer 22(2), 195–217 (2019). https://doi.org/10.1007/s10009-019-00511-9
2. Belmonte, G., Broccia, G., Ciancia, V., Latella, D., Massink, M.: Feasibility of spatial model checking for nevus segmentation. In: FormaliSE, pp. 1–12 (2021)
3. Lecture Notes in Computer Science;G Belmonte,2019
4. Broccia, G., Ciancia, V., Latella, D., Massink, M.: A graphical user interface for medical image analysis with declarative spatial logic - cognitive and memory load evaluation. Technical report, ISTI Technical report, ISTI-2021-TR/012, pp. 1–39 (2021)
5. Broccia, G., Masci, P., Milazzo, P.: Modeling and analysis of human memory load in multitasking scenarios: late-breaking results. In: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 1–7 (2018)