| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 9-Jul-2020 | 13-Dez-2019 | A Machine-Verified Theory of commuting strategies for product-line reliability analysis | Castro, Thiago Mael de | Alves, Vander Ramos | - |
| 28-Mar-2022 | - | Numerical-experimental study of neighboring wind effects on tall buildings related to serviceability via reliability | Reis, Matheus Nunes; Lavôr, Thiarly Feitosa Afonso de; Pantoja, João da Costa; Brito, José Luís Vital de | - | - |