Nelma Moreira
Nelma Moreira
Universidade do Porto
Verified email at g.uporto.pt - Homepage
Title
Cited by
Cited by
Year
Towards an architecture for emotional BDI agents
D Pereira, E Oliveira, N Moreira, L Sarmento
2005 portuguese conference on artificial intelligence, 40-46, 2005
752005
A survey on operational state complexity
Y Gao, N Moreira, R Reis, S Yu
arXiv preprint arXiv:1509.03254, 2015
64*2015
Formal modelling of emotions in BDI agents
D Pereira, E Oliveira, N Moreira
International Workshop on Computational Logic in Multi-Agent Systems, 62-81, 2007
612007
Enumeration and generation with a string automata representation
M Almeida, N Moreira, R Reis
Theoretical Computer Science 387 (2), 93-102, 2007
522007
On the performance of automata minimization algorithms
M Almeida, N Moreira, R Reis
Proceedings of the 4th Conference on Computation in Europe: Logic and Theory …, 2007
442007
FAdo and GUItar: tools for automata manipulation and visualization
A Almeida, M Almeida, J Alves, N Moreira, R Reis
International conference on implementation and application of automata, 65-74, 2009
402009
On the average state complexity of partial derivative automata: An analytic combinatorics approach
S Broda, A Machiavelo, N Moreira, R Reis
International Journal of Foundations of Computer Science 22 (07), 1593-1606, 2011
292011
On the average size of Glushkov and partial derivative automata
S Broda, A Machiavelo, N Moreira, R Reis
International Journal of Foundations of Computer Science 23 (05), 969-984, 2012
282012
On the average size of Glushkov and partial derivative automata
S Broda, A Machiavelo, N Moreira, R Reis
International Journal of Foundations of Computer Science 23 (05), 969-984, 2012
282012
Modelling emotional BDI agents
D Pereira, E Oliveira, N Moreira
Workshop on Formal Approaches to Multi-Agent Systems (FAMAS 2006), Riva Del …, 2006
282006
Partial Derivative Automata Formalized in Coq
JB Almeida, N Moreira, D Pereira, SM de Sousa
International Conference on Implementation and Application of Automata, 59-68, 2010
272010
Antimirov and Mosses's rewrite system revisited
M Almeida, N Moreira, R Reis
International Journal of Foundations of Computer Science 20 (04), 669-684, 2009
222009
Testing the equivalence of regular languages
M Almeida, N Moreira, R Reis
arXiv preprint arXiv:0907.5058, 2009
222009
Interactive manipulation of regular objects with FAdo
N Moreira, R Reis
ACM SIGCSE Bulletin 37 (3), 335-339, 2005
202005
On the density of languages representing finite set partitions
N Moreira, R Reis
Journal of Integer Sequences 8 (05.2), 8, 2005
202005
Symmetric groups and quotient complexity of boolean operations
J Bell, J Brzozowski, N Moreira, R Reis
International Colloquium on Automata, Languages, and Programming, 1-12, 2014
182014
Deciding regular expressions (in-) equivalence in Coq
N Moreira, D Pereira, SM de Sousa
International Conference on Relational and Algebraic Methods in Computer …, 2012
182012
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics
S Broda, A Machiavelo, N Moreira, R Reis
Theoretical Computer Science 528, 85-100, 2014
172014
On the representation of finite automata
R Reis, N Moreira, M Almeida
arXiv preprint arXiv:0906.2477, 2009
172009
Series-parallel automata and short regular expressions
N Moreira, R Reis
Fundamenta Informaticae 91 (3-4), 611-629, 2009
162009
The system can't perform the operation now. Try again later.
Articles 1–20