# Marco Almeida

According to our database

Collaborative distances:

^{1}, Marco Almeida authored at least 10 papers between 2005 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

Incremental DFA minimisation.

RAIRO - Theor. Inf. and Applic., 2014

2012

Finite Automata Minimization.

Proceedings of the Handbook of Finite State Based Models and Applications., 2012

2010

Testing the Equivalence of Regular Languages.

Journal of Automata, Languages and Combinatorics, 2010

2009

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

2008

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

2007

Enumeration and generation with a string automata representation.

Theor. Comput. Sci., 2007

2006

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

2005

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