Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 136



91
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID | DBLP | CIÊNCIAVITAE
92
93
TITLE: Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
AUTHORS: Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: 14th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2012 in DCFS, VOLUME: 7386
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
94
TITLE: Editorial
AUTHORS: Jürgen Dassow; Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 17, ISSUE: 2-4
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
95
TITLE: Finite Automata Minimization
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: Handbook of Finite State Based Models and Applications.
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
96
97
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS
INDEXED IN: Scopus
IN MY: ORCID
98
TITLE: ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 23, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 21
IN MY: ORCID | DBLP | CIÊNCIAVITAE
99
TITLE: Incremental DFA Minimisation  Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
100
TITLE: ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, ISSUE: 7
INDEXED IN: Scopus WOS DBLP CrossRef: 21
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 10 of 14. Total results: 136.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service