Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 136



81
TÍTULO: Partial Derivative and Position Bisimilarity Automata
AUTORES: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
82
TÍTULO: Symmetric Groups and Quotient Complexity of Boolean Operations
AUTORES: Jason Bell; Janusz Brzozowski; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: 41st International Colloquium on Automata, Languages and Programming in AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, VOLUME: 8573, NÚMERO: PART 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
83
TÍTULO: The distinguishability operation on regular languages
AUTORES: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2014, FONTE: Sixth Workshop on Non-Classical Models for Automata and Applications - NCMA 2014, Kassel, Germany, July 28-29, 2014. Proceedings, VOLUME: 304
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
84
TÍTULO: Incomplete Transition Complexity of Basic Operations on Finite Languages
AUTORES: Eva Maia ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: 18th International Conference on Implementation and Application of Automata, CIAA 2013 in Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings, VOLUME: 7982
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
85
TÍTULO: Incomplete Transition Complexity of Some Basic Operations
AUTORES: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
86
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
87
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
88
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
89
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
90
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
Página 9 de 14. Total de resultados: 136.

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