Marco Almeida
Marco Almeida
Instituto de Telecomunicações
Verified email at ncc.up.pt
Title
Cited by
Cited by
Year
Enumeration and generation with a string automata representation
M Almeida, N Moreira, R Reis
Theoretical Computer Science 387 (2), 93-102, 2007
542007
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
452007
FAdo and GUItar
A Almeida, M Almeida, J Alves, N Moreira, R Reis
Implementation and Application of Automata, 65-74, 2009
402009
Testing regular languages equivalence
M Almeida, N Moreira, R Reis
JALC 15 (1/2), 7-25, 2010
30*2010
Testing the Equivalence of Regular Languages
M Almeida, N Moreira, R Reis
arXiv preprint arXiv:0907.5058, 2009
232009
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
On the representation of finite automata
R Reis, N Moreira, M Almeida
arXiv preprint arXiv:0906.2477, 2009
172009
On the Representation of Finite Automata
M Almeida, N Moreira, R Reis
17*
Equivalence of regular languages: an algorithmic approach and complexity analysis
M Almeida
PhD thesis, FCUP, 2011
112011
Incremental DFA minimisation
M Almeida, N Moreira, R Reis
Implementation and Application of Automata, 39-48, 2011
112011
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
112008
Aspects of enumeration and generation with a string automata representation
M Almeida, N Moreira, R Reis
arXiv preprint arXiv:0906.3853, 2009
102009
Antimirov and Mosses’s rewrite system revisited
M Almeida, N Moreira, R Reis
Implementation and Applications of Automata, 46-56, 2008
82008
Finite Automata Minimization
R Reis, N Moreira, M Almeida
Handbook of Finite State Based Models and Applications, 148-172, 2016
5*2016
Incremental DFA minimisation
M Almeida, N Moreira, R Reis
Theoretical Informatics and Applications 48 (2), 173, 2014
52014
Finite Automata Minimization
M Almeida, N Moreira, R Reis
Handbook of Finite State Based Models and Applications, 145-169, 2012
5*2012
Testing the equivalence of regular expressions
M Almeida, M Moreira, R Reis
Technical Report DCC-2007-07, DCC-FC & LIACC, Universidade do Porto, 2007
32007
Efficient representation of integer sets
M Almeida, R Reis
Technical Report DCC-2006-06, DCC-FC & LIACC, Universidade do Porto, 2006
32006
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
32006
Exact generation of acyclic deterministic finite automata
M Almeida, N Moreira, R Reis
arXiv preprint arXiv:0908.3315, 2009
12009
The system can't perform the operation now. Try again later.
Articles 1–20