Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 131



61
TITLE: On the dissimilarity operation on finite languages
AUTHORS: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: NCMA
INDEXED IN: DBLP
62
TITLE: On the Formalization of Some Results of Context-Free Language Theory
AUTHORS: Ramos, MVM; de Queiroz, RJGB; Moreira, N ; Almeida, JCB ;
PUBLISHED: 2016, SOURCE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803
INDEXED IN: Scopus WOS DBLP CrossRef: 2
63
TITLE: On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
AUTHORS: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: DCFS, VOLUME: 9777
INDEXED IN: Scopus DBLP CrossRef: 2
64
TITLE: Position Automaton Construction for Regular Expressions with Intersection
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: 20th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, VOLUME: 9840
INDEXED IN: Scopus WOS DBLP CrossRef: 2
65
TITLE: Preface: Non-classical models of automata and applications VII
AUTHORS: Holzer, M; Moreira, N ; Reis, R ;
PUBLISHED: 2016, SOURCE: RAIRO - Theoretical Informatics and Applications, VOLUME: 50, ISSUE: 4
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
66
TITLE: Average Size of Automata Constructions from Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bull. EATCS, VOLUME: 116
INDEXED IN: DBLP
67
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
68
TITLE: Deciding Synchronous Kleene Algebra with Derivatives
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: CIAA, VOLUME: 9223
INDEXED IN: Scopus DBLP CrossRef: 2 Handle
69
TITLE: Incomplete operational transition complexity of regular languages
AUTHORS: Maia, E ; Moreira, N ; Reis, R ;
PUBLISHED: 2015, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 244
INDEXED IN: Scopus WOS DBLP CrossRef: 6
70
TITLE: Optimal State Reductions of Automata with Partially Specified Behaviors
AUTHORS: Moreira, N ; Pighizzini, G; Reis, R ;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
Page 7 of 14. Total results: 131.

footer slogan

Useful Links

Get Help

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