Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 129



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: FCT, VOLUME: 8070 LNCS
INDEXED IN: Scopus DBLP CrossRef: 6
82
TITLE: Preface
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 24, ISSUE: 6
INDEXED IN: DBLP CrossRef
83
TITLE: SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012)  Full Text
AUTHORS: Moreira, N ; Reis, R ;
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
84
TITLE: Deciding KAT and Hoare Logic with Derivatives
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: GandALF, VOLUME: 96
INDEXED IN: Scopus DBLP CrossRef: 5
85
TITLE: Deciding Regular Expressions (In-)Equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS
INDEXED IN: Scopus DBLP CrossRef: 11
86
87
88
TITLE: Editorial
AUTHORS: Jürgen Dassow; Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: J. Autom. Lang. Comb., VOLUME: 17, ISSUE: 2-4
INDEXED IN: DBLP
89
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
90
Page 9 of 13. Total results: 129.

footer slogan

Useful Links

Get Help

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