Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 131



51
TITLE: On the Mother of All Automata: The Position Automaton
AUTHORS: Broda, S ; Holzer, M; Maia, E ; Moreira, N ; Reis, R ;
PUBLISHED: 2017, SOURCE: 21st International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, VOLUME: 10396
INDEXED IN: Scopus WOS DBLP CrossRef: 3
52
TITLE: Optimal state reductions of automata with partially specified behaviors
AUTHORS: Moreira, N ; Pighizzini, G; Reis, R ;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 658
INDEXED IN: Scopus WOS DBLP CrossRef: 3
53
TITLE: Preface
AUTHORS: Konstantinidis, S; Moreira, N ; Reis Rogério ; Shallit, J;
PUBLISHED: 2017, SOURCE: Role of Theory in Computer Science, The: Essays Dedicated to Janusz Brzozowski
INDEXED IN: Scopus CrossRef
IN MY: ORCID
54
TITLE: The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ; Jeffrey O Shallit;
PUBLISHED: 2017
INDEXED IN: DBLP
55
TITLE: Automata Serialization for Manipulation and Drawing
AUTHORS: Miguel Ferreira; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: SLATE, VOLUME: 51
INDEXED IN: Scopus DBLP
56
TITLE: Channels with Synchronization/Substitution Errors and Computation of Error Control Codes
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.06312
INDEXED IN: DBLP
57
TITLE: Distinguishability Operations and Closures
AUTHORS: Câmpeanu, C; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 148, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 6
58
TITLE: Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2
INDEXED IN: Scopus WOS DBLP arXiv
59
TITLE: Generating error control codes with automata and transducers
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: NCMA
INDEXED IN: DBLP
60
TITLE: Implementation of Code Properties via Transducers
AUTHORS: Konstantinidis, S; Meijer, C; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: 21st International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 9705
INDEXED IN: Scopus WOS DBLP CrossRef: 2
Page 6 of 14. Total results: 131.

footer slogan

Useful Links

Get Help

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