Data-Driven Spatial Analysis of Urban Renewal. Network Kernel Density Estimation of Building Renovation - Correia, Ricardo Mendes; Guerreiro, Maria Rosália; Brandão, Filipe J.S. (Formal Methods in Architecture Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020, 2021)