Marco André Ferreira de Almeida
AuthID: R-000-AAT
11
TITLE: Exact generation of acyclic deterministic finite automata
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2008, SOURCE: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008 in Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2008, SOURCE: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008 in Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008
INDEXED IN: Scopus DBLP
12
TITLE: Enumeration and generation with a string automata representation Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, ISSUE: 2
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, ISSUE: 2
13
TITLE: Aspects of enumeration and generation with a string automata representation
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2006, SOURCE: 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 in 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2006, SOURCE: 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 in 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings
INDEXED IN: Scopus DBLP
14
TITLE: On the representation of finite automata
AUTHORS: Reis, R ; Moreira, N ; Almeida, M;
PUBLISHED: 2005, SOURCE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings
AUTHORS: Reis, R ; Moreira, N ; Almeida, M;
PUBLISHED: 2005, SOURCE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings
INDEXED IN: Scopus DBLP