Students | Nelma Moreira

Phd Students

Master Students

Miguel Ferreira. Significant Classes of NFA and their Random Generation. (co-supervised with Rogério Reis). Mestrado em Ciência de Computadores. 2018
João Rebelo Pires. Transducers and 2D Regular Expressions. (co-supervised with Rogério Reis). Mestrado em Ciência de Computadores. 2018

Rafaela Bastos (co-supervised with Rogério Reis). Manipulation of Extended Regular expressions. Mestrado em Ciência de Computadores. 2015
Davide Nabais (co-supervised with Rogério Reis). Desco: a Web-base Knowledge System for Descriptional Complexity of Formal Languages. Mestrado em Ciência de Computadores. 2013

Ricardo Almeida (co-supervised with Sabine Broda). Decision Algorithms for Kleene Algebra with Tests and Hoare Logic. Mestrado em Ciência de Computadores. 2012.
José Daniel da Silva Alves (co-supervised with Rogério Reis). An Interactive System for Automata Manipulations. Mestrado em Ciência de Computadores. 2010.
Eva Catarina Gomes Maia (co-supervised with Rogério Reis). Inferência de tipos em Python. Mestrado em Ciência de Computadores. 2010.
André Emanuel Bernardo Almeida(co-supervised with Rogério Reis). Towards Automata Diagram Drawings. Mestrado em Ciência de Computadores. 2010.
David Pereira (co-supervised with Eugénio Oliveira). Logic frameworks for reasoning about emotions in BDI Agents. Mestrado em Informática, 2007.
Ângela Oliveira. GerExa: uma plataforma para a manipulação de exercícios e exames em XML. Mestrado em Informática, 2006.
Dora Melo (co-supervised with João Pedro Pedroso and Rogério Reis). Specification of a Language for Timetabling Problems. Mestrado em Informática. 2006
José João Gonçalves Morais (co-supervised with Rogério Reis). Obtenção de expressões regulares pequenas a partir de autómatos finitos. Mestrado em Informática. 2005.

Junior Researchers

Nelma Moreira