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