Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 133



81
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
82
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
83
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
84
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
85
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
86
87
88
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
89
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
90
Página 9 de 14. Total de resultados: 133.

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