According to our database1, Marco Almeida authored at least 10 papers between 2005 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Incremental DFA minimisation.
RAIRO - Theor. Inf. and Applic., 2014
Finite Automata Minimization.
Proceedings of the Handbook of Finite State Based Models and Applications., 2012
Testing the Equivalence of Regular Languages.
Journal of Automata, Languages and Combinatorics, 2010
Antimirov and Mosses's Rewrite System Revisited.
Int. J. Found. Comput. Sci., 2009
FAdo and GUItar.
Proceedings of the Implementation and Application of Automata, 2009
Exact Generation of Minimal Acyclic Deterministic Finite Automata.
Int. J. Found. Comput. Sci., 2008
Exact Generation of Acyclic Deterministic Finite Automata.
Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems, 2008
Enumeration and generation with a string automata representation.
Theor. Comput. Sci., 2007
Aspects of Enumeration and Generation with a String Automata Representation.
Proceedings of the 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21, 2006
On the Representation of Finite Automata.
Proceedings of the 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30, 2005