| A survey on operational state complexity Y Gao, N Moreira, R Reis, S Yu arXiv preprint arXiv:1509.03254, 2015 | 109* | 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 | 96 | 2007 |
| Towards an architecture for emotional BDI agents D Pereira, E Oliveira, N Moreira, L Sarmento 2005 portuguese conference on artificial intelligence, 40-46, 2005 | 87 | 2005 |
| Enumeration and generation with a string automata representation M Almeida, N Moreira, R Reis Theoretical Computer Science 387 (2), 93-102, 2007 | 55 | 2007 |
| 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 | 53 | 2009 |
| 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 | 52 | 2007 |
| Testing the equivalence of regular languages M Almeida, N Moreira, R Reis arXiv preprint arXiv:0907.5058, 2009 | 37 | 2009 |
| 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 | 36 | 2012 |
| 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 | 36 | 2011 |
| Partial Derivative Automata Formalized in Coq JB Almeida, N Moreira, D Pereira, SM de Sousa Implementation and Application of Automata: 15th International Conference …, 2011 | 30 | 2011 |
| A static type inference for python E Maia, N Moreira, R Reis Proc. of DYLA 5 (1), 1, 2012 | 28 | 2012 |
| 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 | 28 | 2009 |
| Automata for regular expressions with shuffle S Broda, A Machiavelo, N Moreira, R Reis Information and Computation 259, 162-173, 2018 | 22 | 2018 |
| 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 | 22 | 2014 |
| Interactive manipulation of regular objects with FAdo N Moreira, R Reis ACM SIGCSE Bulletin 37 (3), 335-339, 2005 | 22 | 2005 |
| On the density of languages representing finite set partitions N Moreira, R Reis Journal of Integer Sequences 8 (05.2), 8, 2005 | 21 | 2005 |
| 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 | 20 | 2014 |
| 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 | 20 | 2012 |
| On the representation of finite automata R Reis, N Moreira, M Almeida arXiv preprint arXiv:0906.2477, 2009 | 19 | 2009 |
| The computational power of parsing expression grammars B Loff, N Moreira, R Reis Journal of Computer and System Sciences 111, 1-21, 2020 | 16 | 2020 |
Rogerio ReisProfessor of Computer Science, Universidade do PortoVerified email at dcc.fc.up.pt
