Domingos, L., Parece, S. & Resende, R. (2025). Optimising Sustainability through digital tools: Energy and Carbon Comparative Analysis of Brick, Concrete and Wood Frame construction envelopes in Coimbra Residences. In Formal Methods in Architecture - Proceesings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto, 2024.: Springer.