| Fecha de publicación | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 27-dic-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-ago-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 | - |