L. M. Domingos et al.,  "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 Int. Symp. on Formal Methods in Architecture (7FMA), Porto, 2024, Springer, 2025