Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 131



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

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service