Follow
Nelma Moreira
Title
Cited by
Cited by
Year
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
962007
A survey on operational state complexity
Y Gao, N Moreira, R Reis, S Yu
arXiv preprint arXiv:1509.03254, 2015
93*2015
Towards an architecture for emotional BDI agents
D Pereira, E Oliveira, N Moreira, L Sarmento
2005 portuguese conference on artificial intelligence, 40-46, 2005
842005
Enumeration and generation with a string automata representation
M Almeida, N Moreira, R Reis
Theoretical Computer Science 387 (2), 93-102, 2007
552007
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
512007
FAdo and GUItar: tools for automata manipulation and visualization
A Almeida, M Almeida, J Alves, N Moreira, R Reis
Implementation and Application of Automata: 14th International Conference …, 2009
502009
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
342011
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
312012
Partial Derivative Automata Formalized in Coq
JB Almeida, N Moreira, D Pereira, SM de Sousa
Implementation and Application of Automata: 15th International Conference …, 2011
292011
Testing the equivalence of regular languages
M Almeida, N Moreira, R Reis
arXiv preprint arXiv:0907.5058, 2009
292009
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
282009
A static type inference for python
E Maia, N Moreira, R Reis
Proc. of DYLA 5 (1), 1, 2012
242012
Interactive manipulation of regular objects with FAdo
N Moreira, R Reis
ACM SIGCSE Bulletin 37 (3), 335-339, 2005
222005
On the density of languages representing finite set partitions
N Moreira, R Reis
Journal of Integer Sequences 8 (05.2), 8, 2005
212005
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
202014
Deciding regular expressions (in-) equivalence in Coq
N Moreira, D Pereira, S Melo de Sousa
International Conference on Relational and Algebraic Methods in Computer …, 2012
202012
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
192014
On the representation of finite automata
R Reis, N Moreira, M Almeida
arXiv preprint arXiv:0906.2477, 2009
192009
Automata for regular expressions with shuffle
S Broda, A Machiavelo, N Moreira, R Reis
Information and Computation 259, 162-173, 2018
182018
Deciding KAT and Hoare logic with derivatives
R Almeida, S Broda, N Moreira
arXiv preprint arXiv:1210.2456, 2012
162012
The system can't perform the operation now. Try again later.
Articles 1–20