| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 27-Dec-2019 | 3-Jun-2019 | Análise do impacto na compreensão de programas Java com a introdução de expressões lambda | Mendonça, Walter Lucas Monteiro de | Almeida, Rodrigo Bonifácio de | - |
| 2023 | - | FaaS-Oriented Node.js applications in an RPC approach using the Node2FaaS framework | Carvalho, Leonardo Rebouças de; Araújo, Aletéia Patricia Favacho de | - | - |
| 27-Aug-2018 | 29-Sep-2017 | Transformações de programa para suportar a evolução da linguagem Java | Dantas, Reno Medeiros | Almeida, Rodrigo Bonifácio de | - |
| 24-Oct-2012 | 6-Jul-2012 | Um estudo sobre verificação formal de sistemas concorrentes | Queiroz, João Paulo Carvalho Colu de | Moura, Flávio Leonardo Cavalcanti de | - |