Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 134



111
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
112
TÍTULO: Formal Modelling of Emotions in BDI Agents  Full Text
AUTORES: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
PUBLICAÇÃO: 2008, FONTE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
113
TÍTULO: KAT and PHL in Coq  Full Text
AUTORES: David Pereira ; Nelma Moreira ;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
114
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 29
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
115
TÍTULO: Acyclic automata with easy-to-find short regular expressions  Full Text
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
116
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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
117
TÍTULO: Designing a solver for arithmetic constraints to support education in mathematics  Full Text
AUTORES: Ana Paula Tomas ; Nelma Moreira ; Nuno Pereira;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
118
TÍTULO: Interactive manipulation of regular objects with FAdo
AUTORES: Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2005, FONTE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
119
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
120
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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 12 de 14. Total de resultados: 134.

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

Links Úteis

Ajuda

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