Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 132



11
TITLE: Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: 27th International Conference of the Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2023, VOLUME: 14151
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
12
TITLE: Location automata for regular expressions with shuffle and intersection  Full Text
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 295
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
13
TITLE: Location automata for regular expressions with shuffle and intersection PDF
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2023, SOURCE: Inf. Comput., VOLUME: 295, ISSUE: Part B
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP | CIÊNCIAVITAE
14
TITLE: Location automata for synchronised shuffle expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 132
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
15
TITLE: On the average complexity of partial derivative transducers *,**,***  Full Text
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 956
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
16
TITLE: Approximate NFA Universality and Related Problems Motivated by Information Theory
AUTHORS: Stavros Konstantinidis; Mitja Mastnak; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.01594
INDEXED IN: DBLP
IN MY: ORCID | DBLP
17
TITLE: Approximate NFA Universality Motivated by Information Theory
AUTHORS: Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2022, SOURCE: 24th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, VOLUME: 13439
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
18
TITLE: Manipulation of Regular Expressions Using Derivatives: An Overview
AUTHORS: Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2022, SOURCE: 26th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2022), VOLUME: 13266
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
19
TITLE: Alternation in two-way finite automata  Full Text
AUTHORS: Konstantinidis, S; Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 870
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
20
Page 2 of 14. Total results: 132.

footer slogan

Useful Links

Get Help

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