Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 129



81
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
82
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
83
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
84
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
85
86
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
87
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
88
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
89
90
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2012, FONTE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
Página 9 de 13. Total de resultados: 129.

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