Marco Almeida

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Incremental DFA minimisation.
RAIRO Theor. Informatics Appl., 2014

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

2010
Testing the Equivalence of Regular Languages.
J. Autom. Lang. Comb., 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


  Loading...