Skip to content

Nelma Moreira

    • 31PublicationsNumber of items in Nelma's My Publications folder on Mendeley.
    • 8Followers

    Research interests

    formal software verificationFormal languages and automata theory

    Followers (8)

    Explore network

    Following (4)

    • Davide Nabais

      Davide Nabais

    • David Pereira

      David PereiraPolytechnic Institute of Porto School of Engineering

    • Rogério Reis

      Rogério Reis

    • Joao Pedro Pedroso

      Joao Pedro PedrosoFaculdade de Ciências da Universidade do Porto

    Publications (5)

    • A Toolkit for an Oral History Digital Archive

      • Lacerda S
      • Lopes N
      • Moreira N
      • et al.
      N/AReaders
      N/ACitations
    • Ferramentas para a Construção de Arquivos Digitais de História Oral

      • Lacerda S
      • Lopes N
      • Moreira N
      • et al.
      N/AReaders
      N/ACitations
    • On the Representation of Finite Automata

      • Almeida M
      • Moreira N
      • Reis R
      N/AReaders
      N/ACitations
    • Apoo: an Environment for a Firts Course in Assembly Language Programming

      • Reis R
      • Moreira N
      N/AReaders
      N/ACitations
    • The Formal and Computational Theory of Complex Constraint Solution

      • Damas L
      • Moreira N
      • Varile G
      N/AReaders
      N/ACitations