Couceiro, M., Domingos, L., Osório, F. C., Oliveira, C. & Manaia, M. (2025). Reimagining human-nature coexistence: An integrative approach to architectural design with biomimicry, generative modeling, and AI. In Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz (Ed.), Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA) (pp. 207?217). Springer. https://doi.org/10.1007/978-3-032-02782-5_11