Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 131



81
TÍTULO: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, VOLUME: 8070
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
82
TÍTULO: Preface
AUTORES: Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: Int. J. Found. Comput. Sci., VOLUME: 24, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
83
TÍTULO: PREFACE  Full Text
AUTORES: NELMA MOREIRA ; ROGÉRIO REIS ;
PUBLICAÇÃO: 2013, FONTE: International Journal of Foundations of Computer Science, VOLUME: 24, NÚMERO: 06
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
84
TÍTULO: SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012)  Full Text
AUTORES: Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
85
TÍTULO: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLICAÇÃO: 2012, FONTE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
86
TÍTULO: Deciding regular expressions (in-)equivalence in Coq
AUTORES: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
87
88
TÍTULO: Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
AUTORES: Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: 14th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2012 in DCFS, VOLUME: 7386
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
89
TÍTULO: Editorial
AUTORES: Jürgen Dassow; Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 17, NÚMERO: 2-4
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
90
TÍTULO: Finite Automata Minimization
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: Handbook of Finite State Based Models and Applications.
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 9 de 14. Total de resultados: 131.

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