Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 133



51
TÍTULO: Optimal state reductions of automata with partially specified behaviors  Full Text
AUTORES: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 658
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
52
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
53
54
TÍTULO: Automata Serialization for Manipulation and Drawing
AUTORES: Miguel Ferreira; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016 in 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia, VOLUME: 51
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
55
TÍTULO: Channels with Synchronization/Substitution Errors and Computation of Error Control Codes PDF
AUTORES: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.06312
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
56
TÍTULO: Distinguishability Operations and Closures  Full Text
AUTORES: Cezar Campeanu; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2016, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 148, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
57
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
58
TÍTULO: Generating error control codes with automata and transducers
AUTORES: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
59
TÍTULO: Implementation of Code Properties via Transducers  Full Text
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
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
60
TÍTULO: On the dissimilarity operation on finite languages
AUTORES: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 6 de 14. Total de resultados: 133.

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