Teses de Mestrado

• Deciding Distributed Temporal Logic, Catarina Inácio Marques Neve, IST, 2015
• Raciocínio Abdutivo sobre Especificações de Agentes, José Nuno Ferreira Maia Pereira, IST, 2007 (Co-orientador: J. Ramos)