| Enumeration and generation with a string automata representation M Almeida, N Moreira, R Reis Theoretical Computer Science 387 (2), 93-102, 2007 | 58 | 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 | 54 | 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 | 54 | 2007 |
| Testing the equivalence of regular languages M Almeida, N Moreira, R Reis arXiv preprint arXiv:0907.5058, 2009 | 42* | 2009 |
| Testing the Equivalence of Regular Languages M Almeida, N Moreira, R Reis arXiv preprint arXiv:0907.5058, 2009 | 35 | 2009 |
| 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 |
| On the representation of finite automata R Reis, N Moreira, M Almeida arXiv preprint arXiv:0906.2477, 2009 | 19 | 2009 |
| On the representation of finite automata R Reis, N Moreira, M Almeida arXiv preprint arXiv:0906.2477, 2009 | 19 | 2009 |
| Incremental DFA minimisation M Almeida, N Moreira, R Reis Implementation and Application of Automata: 15th International Conference …, 2011 | 13 | 2011 |
| Exact generation of minimal acyclic deterministic finite automata M Almeida, N Moreira, R Reis International Journal of Foundations of Computer Science 19 (04), 751-765, 2008 | 13 | 2008 |
| Equivalence of regular languages: an algorithmic approach and complexity analysis M Almeida PhD thesis, FCUP, 2011. http://www. dcc. fc. up. pt/~ mfa/thesis. pdf, 2011 | 12 | 2011 |
| Aspects of enumeration and generation with a string automata representation M Almeida, N Moreira, R Reis arXiv preprint arXiv:0906.3853, 2009 | 10 | 2009 |
| Finite automata minimization algorithms M Almeida, N Moreira, R Reis Handbook of Finite State Based Models and Applications, Discrete Mathematics …, 2012 | 8 | 2012 |
| Antimirov and Mosses’s rewrite system revisited M Almeida, N Moreira, R Reis International Conference on Implementation and Application of Automata, 46-56, 2008 | 8 | 2008 |
| Incremental DFA minimisation∗ M Almeida, N Moreira, R Reis RAIRO-Theoretical Informatics and Applications 48 (2), 173-186, 2014 | 7 | 2014 |
| Finite automata minimization M Almeida, N Moreira, R Reis Handbook of Finite State Based Models and Applications, 157-182, 2016 | 5 | 2016 |
| Enumeration and generation of initially connected deterministic finite automata M Almeida, N Moreira, R Reis Technical Report DCC-2006-07, University of Porto, Porto, Portugal, 2006 | 4 | 2006 |
| Testing the equivalence of regular expressions M Almeida, N Moreira, R Reis Universidade do Porto, Technical report series: DCC-2007 7, 2007 | 3 | 2007 |
| Efficient representation of integer sets M Almeida, R Reis Technical Report DCC-2006-06, DCC-FC & LIACC, Universidade do Porto, 2006 | 3 | 2006 |
| Exact generation of acyclic deterministic finite automata M Almeida, N Moreira, R Reis arXiv preprint arXiv:0908.3315, 2009 | 1 | 2009 |
