Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 131



81
TITLE: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP | CIÊNCIAVITAE
82
TITLE: Preface
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 24, ISSUE: 6
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
83
TITLE: PREFACE  Full Text
AUTHORS: NELMA MOREIRA ; ROGÉRIO REIS ;
PUBLISHED: 2013, SOURCE: International Journal of Foundations of Computer Science, VOLUME: 24, ISSUE: 06
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
84
TITLE: SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012)  Full Text
AUTHORS: Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
85
TITLE: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
86
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: 7
IN MY: ORCID | DBLP | CIÊNCIAVITAE
87
88
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
IN MY: ORCID | DBLP
89
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
90
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
Page 9 of 14. Total results: 131.

footer slogan

Useful Links

Get Help

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