Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 129



51
TÍTULO: Preface
AUTORES: Konstantinidis, S; Moreira, N ; Reis Rogério ; Shallit, J;
PUBLICAÇÃO: 2017, FONTE: Role of Theory in Computer Science, The: Essays Dedicated to Janusz Brzozowski
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
52
TÍTULO: The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski
AUTORES: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ; Jeffrey O Shallit;
PUBLICAÇÃO: 2017
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
53
TÍTULO: Automata Serialization for Manipulation and Drawing
AUTORES: Miguel Ferreira; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: SLATE, VOLUME: 51
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
54
TÍTULO: Channels with Synchronization/Substitution Errors and Computation of Error Control Codes
AUTORES: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.06312
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
55
TÍTULO: Distinguishability Operations and Closures  Full Text
AUTORES: Câmpeanu, C; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2016, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 148, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
56
TÍTULO: Formalization of the Pumping Lemma for Context-Free Languages PDF  Full Text
AUTORES: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP arXiv
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
57
TÍTULO: Generating error control codes with automata and transducers
AUTORES: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: NCMA
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
58
TÍTULO: Implementation of Code Properties via Transducers  Full Text
AUTORES: Konstantinidis, S; Meijer, C; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2016, FONTE: 21st International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 9705
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
59
TÍTULO: On the dissimilarity operation on finite languages
AUTORES: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: NCMA
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
60
TÍTULO: On the Formalization of Some Results of Context-Free Language Theory
AUTORES: Ramos, MVM; de Queiroz, RJGB; Moreira, N ; Almeida, JCB ;
PUBLICAÇÃO: 2016, FONTE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 6 de 13. Total de resultados: 129.

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