Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 132



51
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
52
TÍTULO: Formalization of the Pumping Lemma for Context-Free Languages
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
53
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
54
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
55
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
56
TÍTULO: On the Formalization of Some Results of Context-Free Language Theory
AUTORES: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
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
57
TÍTULO: On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
AUTORES: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: 18th IFIP WG 1.2 International Conference on Descriptional Complexity of Formal Systems, DCFS 2016 in Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings, VOLUME: 9777
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
58
TÍTULO: Position Automaton Construction for Regular Expressions with Intersection
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2016, FONTE: 20th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, VOLUME: 9840
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
59
TÍTULO: Preface: Non-classical models of automata and applications VII
AUTORES: Holzer, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2016, FONTE: RAIRO - Theoretical Informatics and Applications, VOLUME: 50, NÚMERO: 4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
60
TÍTULO: Average Size of Automata Constructions from Regular Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: Bulletin of the EATCS, VOLUME: 116
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 6 de 14. Total de resultados: 132.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service