| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 23-Aug-2016 | 7-Jul-2016 | Uma metodologia para o projeto de interfaces homem-máquina orientado a pessoas com deficiência visual, no contexto de ambientes domóticos | Corrêa, Mayra Batista | Llanos Quintero, Carlos Humberto | Kafure Muñoz, Ivette |
| 8-Mar-2013 | - | Unification modulo Presburger Arithmetic and other decidable theories | Ayala-Rincón, Mauricio; Araújo, Ivan Eid Tavares de | - | - |
| 27-Aug-2019 | 15-Mar-2019 | Valores constitucionais de proteção do trabalhador em face da automação | Cezar, Frederico Gonçalves | Delgado, Gabriela Neves | Roesler, Claudia Rosane |