Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Publicações Confirmadas: 132



61
TÍTULO: Deciding Kleene algebra terms equivalence in Coq
AUTORES: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
62
TÍTULO: Deciding Synchronous Kleene Algebra with Derivatives
AUTORES: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLICAÇÃO: 2015, FONTE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings, VOLUME: 9223
INDEXADO EM: Scopus DBLP CrossRef Handle
NO MEU: ORCID | DBLP
63
TÍTULO: Formalization of context-free language theory PDF
AUTORES: Marcus V. M. Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1510.09092
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
64
TÍTULO: Incomplete operational transition complexity of regular languages  Full Text
AUTORES: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION AND COMPUTATION, VOLUME: 244
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
65
TÍTULO: Optimal State Reductions of Automata with Partially Specified Behaviors
AUTORES: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
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
66
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
67
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
68
69
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
70
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
Página 7 de 14. Total de resultados: 132.

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