Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 131



81
TITLE: Incomplete Transition Complexity of Basic Operations on Finite Languages
AUTHORS: Eva Maia ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: CIAA, VOLUME: 7982 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
82
TITLE: Incomplete Transition Complexity of Some Basic Operations
AUTHORS: Maia, E ; Moreira, N ; Reis, R ;
PUBLISHED: 2013, SOURCE: 39th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) in SOFSEM 2013: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 7741
INDEXED IN: Scopus WOS DBLP CrossRef: 3
83
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
84
TITLE: Preface
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 24, ISSUE: 6
INDEXED IN: DBLP CrossRef
85
TITLE: SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012)
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
86
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: 4
87
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: 10
88
89
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
90
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
Page 9 of 14. Total results: 131.

footer slogan

Useful Links

Get Help

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