1. Experimental analysis of cold-formed steel columns with intermediate and edge stiffeners in fire. (January 2020) Authors: Laím, Luís; Craveiro, Hélder D.; Simões, Rui; Escudeiro, André; Mota, Alexandre Journal: Thin-walled structures Issue: Volume 146(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Sound and mechanised compositional verification of input‐output conformance. (14th May 2013) Authors: Sampaio, Augusto; Nogueira, Sidney; Mota, Alexandre; Isobe, Yoshinao Journal: Software testing, verification & reliability Issue: Volume 24:Number 4(2014:Oct.) Page Start: 289 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗