| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 17-abr-2012 | 16-dez-2011 | Nomes vazios : um estudo do problema e de cinco soluções | Cardoso, Tomás Ribeiro | Bensusan, Hilan | - |
| jun-2017 | - | Ontoprolog : uma linguagem para especificação de discursos sobre ontologias | Araujo, Lauro César; Lima-Marques, Mamede | - | - |