Concepedia

Nelma Moreira

NM

18

Publications

410

Citations

13

H-Index

2005

Active since

Affiliations

Universidade do Porto(Current)

Nelma Moreira is an author at Universidade do Porto specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputational ComplexityAutomated ReasoningFormal VerificationComputational LinguisticsLinguisticsLanguageOperations Research

Publications per year

2005–2019

18

Publications

18

Towards an Architecture for Emotional BDI Agents

David Pereira, Eugénio Oliveira, Nelma Moreira et al. · 2005 · 52 citations

Engineering, Affective Design, Emotional Bdi Agents +17

Enumeration and generation with a string automata representation

Marco Almeida, Nelma Moreira, Rogério Reis · Theoretical Computer Science · 2007 · 47 citations

Logical Automaton, Engineering, Automated Reasoning +5

A Survey on Operational State Complexity

Yuan Gao, Nelma Moreira, Rogério Reis et al. · Justus-Liebig-Universität Gießen · 2016 · 38 citations · Full text

Mathematical Programming, Engineering, Computational Complexity +17

On the performance of automata minimization algorithms

Nelma Moreira · 2007 · 30 citations

Mathematical Programming, Logical Automaton, Engineering +6

ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA

Sabine Broda, António Machiavelo, Nelma Moreira et al. · International Journal of Foundations of Computer Science · 2012 · 27 citations

Theory Of Computing, Combinatorics On Word, Engineering +13

Rows per page

1–5 of 18