Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 129



61
TÍTULO: On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
AUTORES: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: DCFS, VOLUME: 9777
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
62
TÍTULO: Position Automaton Construction for Regular Expressions with Intersection
AUTORES: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2016, FONTE: 20th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, VOLUME: 9840
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
63
TÍTULO: Preface: Non-classical models of automata and applications VII
AUTORES: Holzer, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2016, FONTE: RAIRO - Theoretical Informatics and Applications, VOLUME: 50, NÚMERO: 4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
64
TÍTULO: Average Size of Automata Constructions from Regular Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: Bull. EATCS, VOLUME: 116
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
65
TÍTULO: Deciding Kleene algebra terms equivalence in Coq
AUTORES: Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
66
TÍTULO: Deciding Synchronous Kleene Algebra with Derivatives
AUTORES: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLICAÇÃO: 2015, FONTE: CIAA, VOLUME: 9223
INDEXADO EM: Scopus DBLP CrossRef: 2 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
67
TÍTULO: Incomplete operational transition complexity of regular languages  Full Text
AUTORES: Maia, E ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION AND COMPUTATION, VOLUME: 244
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
68
TÍTULO: Optimal State Reductions of Automata with Partially Specified Behaviors
AUTORES: Moreira, N ; Pighizzini, G; Reis, R ;
PUBLICAÇÃO: 2015, FONTE: 41st International Conference on Current Trends in Theory and Practice of Computer Science ((SOFSEM) in SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 8939
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
69
TÍTULO: Partial Derivative Automaton for Regular Expressions with Shuffle
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in DCFS, VOLUME: 9118
INDEXADO EM: Scopus DBLP CrossRef: 3 Handle
NO MEU: DBLP
70
TÍTULO: Prefix and Right-Partial Derivative Automata
AUTORES: Maia, E ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2015, FONTE: 11th Conference on Computability in Europe (CiE) in EVOLVING COMPUTABILITY, VOLUME: 9136
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 7 de 13. Total de resultados: 129.

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