Marco Almeida

According to our database, Marco Almeida authored at least 10 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Incremental DFA minimisation.

Marco Almeida, Nelma Moreira, Rogério Reis

RAIRO Theor. Informatics Appl., 2014

2012

Finite Automata Minimization.

Marco Almeida, Nelma Moreira, Rogério Reis

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

2009

Antimirov and Mosses's Rewrite System Revisited.

Marco Almeida, Nelma Moreira, Rogério Reis

Int. J. Found. Comput. Sci., 2009

Testing the Equivalence of Regular Languages

Marco Almeida, Nelma Moreira, Rogério Reis

Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009

FAdo and GUItar.

André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis

Proceedings of the Implementation and Application of Automata, 2009

2008

Exact Generation of Minimal Acyclic Deterministic Finite Automata.

Marco Almeida, Nelma Moreira, Rogério Reis

Int. J. Found. Comput. Sci., 2008

Exact Generation of Acyclic Deterministic Finite Automata.

Marco Almeida, Nelma Moreira, Rogério Reis

Proceedings of the 10th International Workshop on Descriptional Complexity of Formal Systems, 2008

2007

Enumeration and generation with a string automata representation.

Marco Almeida, Nelma Moreira, Rogério Reis

Theor. Comput. Sci., 2007

2006

Aspects of Enumeration and Generation with a String Automata Representation.

Marco Almeida, Nelma Moreira, Rogério Reis

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.

Rogério Reis, Nelma Moreira, Marco Almeida

Proceedings of the 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30, 2005