Nelma Moreira

Algebra
Computational Mathematics
Semigroups, Automata and Languages

Faculdade de Ciências da Universidade do Porto

.
ORCID CiênciaID Scopus GScholar Mr. Author ID Authenticus ID

Students

Completed

On the Descriptional Complexity of Some Operations and Simulations of Regular Models | 2012 -
Program: PDCC
Student: (PhD) Eva Maia
Nationality: Portugal
Current Position:
Towards Certified Program Logics for the Verification of Imperative Programs. | 2008 -
Program: MAPI
Student: (PhD) David Miguel Ramalho Pereira
Nationality: Portugal
Current Position: Researcher at CISTER:Research Center of Real-time & Embedded Computing Systems
Minimal Automata and Operational State Complexity of Block Languages | -
Program: MSc in Computer Science
Student: (MSc) Guilherme Manuel Carvalho de Melo Duarte
Nationality: Portugal
Current Position:
Significant Classes of NFA and their Random Generation. | -
Program: MSc in Computer Science
Student: (MSc) Miguel Ferreira
Nationality: Portugal
Current Position:
Transducers and 2D Regular Expressions | -
Program: MSc in Computer Science
Student: (MSc) João Rebelo Pires
Nationality: Portugal
Current Position:
Transducers and 2D Regular Expressions | -
Program: MSc in Computer Science
Student: (MSc) João Rebelo Pires
Nationality: Portugal
Current Position:
Significant Classes of NFA and their Random Generation | -
Program: MSc in Computer Science
Student: (MSc) Miguel Ferreira
Nationality: Portugal
Current Position:
Manipulation of Extended Regular Expressions with Derivatives | 2014 -
Program: Mestrado em Ciência de Computadores
Student: (MSc) Rafaela Bastos
Nationality:
Current Position: