Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 134



71
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 Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118
INDEXADO EM: Scopus DBLP CrossRef: 3 Handle
NO MEU: ORCID | DBLP
72
TÍTULO: Prefix and Right-Partial Derivative Automata
AUTORES: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
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
73
74
TÍTULO: Symbolic Manipulation of Code Properties PDF
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1504.04715
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
75
TÍTULO: Universal Disjunctive Concatenation and Star
AUTORES: Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
76
TÍTULO: A Hitchhiker's Guide to descriptional complexity through analytic combinatorics  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 528
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
77
TÍTULO: INCREMENTAL DFA MINIMISATION
AUTORES: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
78
TÍTULO: On the Equivalence of Automata for KAT-expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2014, FONTE: 10th Conference on Computability in Europe, CiE 2014 in Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, VOLUME: 8493
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
79
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
80
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
Página 8 de 14. Total de resultados: 134.

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

Links Úteis

Ajuda

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