On the Representation of Finite Automata. - Rogério Reis; Nelma Moreira; Marco Almeida (DCFS, 2005)

Aspects of Enumeration and Generation with a String Automata Representation. - Marco Almeida; Nelma Moreira; Rogério Reis (DCFS, 2006)

Enumeration and generation with a string automata representation. - Marco Almeida; Nelma Moreira; Rogério Reis (Theor. Comput. Sci., 2007)

Exact Generation of Acyclic Deterministic Finite Automata. - Marco Almeida; Nelma Moreira; Rogério Reis (DCFS, 2008)

Exact Generation of Minimal Acyclic Deterministic Finite Automata. - Marco Almeida; Nelma Moreira; Rogério Reis (Int. J. Found. Comput. Sci., 2008)

FAdo and GUItar. - André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis (CIAA, 2009)

Testing the Equivalence of Regular Languages - Marco Almeida; Nelma Moreira; Rogério Reis (DCFS, 2009)

Antimirov and Mosses's Rewrite System Revisited. - Marco Almeida; Nelma Moreira; Rogério Reis (Int. J. Found. Comput. Sci., 2009)

Finite Automata Minimization. - Marco Almeida; Nelma Moreira; Rogério Reis (Handbook of Finite State Based Models and Applications, 2012)

Incremental DFA minimisation. - Marco Almeida; Nelma Moreira; Rogério Reis (RAIRO Theor. Informatics Appl., 2014)

Red grape detection with accelerated artificial neural networks in the FPGA's programmable logic. - Sandro Costa Magalhães; Marco Almeida; Filipe Neves dos Santos; António Paulo Moreira; Jorge Dias 001 (CoRR, 2025)