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). Porto: Springer.