Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 131



81
TÍTULO: Incomplete Transition Complexity of Basic Operations on Finite Languages
AUTORES: Eva Maia ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: CIAA, VOLUME: 7982 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
82
TÍTULO: Incomplete Transition Complexity of Some Basic Operations
AUTORES: Maia, E ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2013, FONTE: 39th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) in SOFSEM 2013: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 7741
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
83
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: FCT, VOLUME: 8070 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 6
84
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 CrossRef
85
TÍTULO: SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012)
AUTORES: Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
86
TÍTULO: Deciding KAT and Hoare Logic with Derivatives
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLICAÇÃO: 2012, FONTE: GandALF, VOLUME: 96
INDEXADO EM: Scopus DBLP CrossRef: 4
87
TÍTULO: Deciding Regular Expressions (In-)Equivalence in Coq
AUTORES: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2012, FONTE: RAMiCS, VOLUME: 7560 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
88
89
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: 1
NO MEU: ORCID | DBLP
90
TÍTULO: Editorial
AUTORES: Jürgen Dassow; Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: J. Autom. Lang. Comb., VOLUME: 17, NÚMERO: 2-4
INDEXADO EM: DBLP
Página 9 de 14. Total de resultados: 131.

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

Links Úteis

Ajuda

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