Publications by the researcher in collaboration with Plácido Lizancos Mora (3)

2023

  1. An experience around the rationalization of architectural analysis

    Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Springer Nature Singapore), pp. 389-406

  2. Some Controversies Around Formalization in Architecture

    Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Springer Nature Singapore), pp. 35-46

2022

  1. A Geo-data Collection Strategy to Assess Housing in Its Social, Environmental, and Spatial Aspects

    ArchiDOCT, Vol. 17.2, Núm. 9(2)