41
TITLE: On the Mother of All Automata: The Position Automaton
AUTHORS: Sabine Broda ; Markus Holzer; Eva Maia ; Nelma Moreira ; Rogerio Reis ;
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: 1
IN MY: ORCID | DBLP
42
TITLE: Optimal state reductions of automata with partially specified behaviors  Full Text
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 658
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
43
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
IN MY: ORCID
45
TITLE: Automata Serialization for Manipulation and Drawing
AUTHORS: Miguel Ferreira; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
46
TITLE: Channels with Synchronization/Substitution Errors and Computation of Error Control Codes PDF
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.06312
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
47
TITLE: Distinguishability Operations and Closures  Full Text
AUTHORS: Cezar Campeanu; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2016, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 148, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
48
TITLE: Formalization of the Pumping Lemma for Context-Free Languages
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
IN MY: ORCID | DBLP
49
TITLE: Generating error control codes with automata and transducers
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321
INDEXED IN: DBLP
IN MY: ORCID | DBLP
50
TITLE: Implementation of Code Properties via Transducers  Full Text
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
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
IN MY: ORCID | DBLP
Página 5 de 13. Total de resultados: 128.