Measuring urban renewal: a dual kernel density estimation to assess the intensity of building renovation - Brandão, F.; Correia, R. M.; Paio, A. (4th International Symposium Formal Methods in Architecture, 2018)