Marco André Ferreira de Almeida
AuthID: R-000-AAT
11
TÃTULO: Antimirov and Mosses's Rewrite System Revisited Full Text
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2009, FONTE: Int. J. Found. Comput. Sci., VOLUME: 20, NÚMERO: 4
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2009, FONTE: Int. J. Found. Comput. Sci., VOLUME: 20, NÚMERO: 4
12
TÃTULO: Exact generation of minimal acyclic deterministic finite automata Full Text
AUTORES: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2008, FONTE: 9th International Workshop on Descriptional Complexity of Formal Systems in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 19, NÚMERO: 4
AUTORES: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2008, FONTE: 9th International Workshop on Descriptional Complexity of Formal Systems in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 19, NÚMERO: 4
13
TÃTULO: Exact generation of acyclic deterministic finite automata
AUTORES: Almeida, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2008, FONTE: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008 in Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008
AUTORES: Almeida, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2008, FONTE: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008 in Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008
INDEXADO EM: Scopus DBLP
14
TÃTULO: Enumeration and generation with a string automata representation Full Text
AUTORES: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2007, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, NÚMERO: 2
AUTORES: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2007, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, NÚMERO: 2
15
TÃTULO: Aspects of enumeration and generation with a string automata representation
AUTORES: Almeida, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2006, FONTE: 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 in 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings
AUTORES: Almeida, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2006, FONTE: 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 in 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings
INDEXADO EM: Scopus DBLP
16
TÃTULO: On the representation of finite automata
AUTORES: Reis, R ; Moreira, N ; Almeida, M;
PUBLICAÇÃO: 2005, FONTE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings
AUTORES: Reis, R ; Moreira, N ; Almeida, M;
PUBLICAÇÃO: 2005, FONTE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings
INDEXADO EM: Scopus DBLP