Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 131



111
TÍTULO: KAT and PHL in Coq
AUTORES: Pereira, D ; Moreira, N ;
PUBLICAÇÃO: 2008, FONTE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
112
TÍTULO: Enumeration and generation with a string automata representation
AUTORES: Almeida, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2007, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
113
TÍTULO: Acyclic automata with easy-to-find short regular expressions
AUTORES: Morais, JJ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2006, FONTE: 10th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 3845
INDEXADO EM: WOS DBLP CrossRef: 3
114
TÍTULO: Aspects of Enumeration and Generation with a String Automata Representation
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2006, FONTE: DCFS
INDEXADO EM: Scopus DBLP
115
TÍTULO: Designing a solver for arithmetic constraints to support education in mathematics
AUTORES: Tomás, AP ; Moreira, N ; Pereira, N;
PUBLICAÇÃO: 2006, FONTE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS, VOLUME: 204
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
116
TÍTULO: Interactive manipulation of regular objects with FAdo
AUTORES: Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2005, FONTE: ITiCSE
INDEXADO EM: Scopus DBLP CrossRef: 1
117
TÍTULO: On the density of languages representing finite set partitions
AUTORES: Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2005, FONTE: Journal of Integer Sequences, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
118
TÍTULO: On the Representation of Finite Automata
AUTORES: Rogério Reis ; Nelma Moreira ; Marco Almeida;
PUBLICAÇÃO: 2005, FONTE: DCFS
INDEXADO EM: Scopus DBLP
119
TÍTULO: Towards an architecture for Emotional BDI agents
AUTORES: David Pereira ; Eugnio Oliveira ; Nelma Moreira ; Lus Sarmento;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings
INDEXADO EM: WOS CrossRef: 29
NO MEU: ORCID | CIÊNCIAVITAE
120
Página 12 de 14. Total de resultados: 131.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service