Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 132



11
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: 3
IN MY: ORCID | CIÊNCIAVITAE
12
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
13
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
14
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
15
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
16
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
17
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
18
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
19
20
TITLE: Hot Current Topics of Descriptional Complexity
AUTHORS: Martin Kutrib; Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLISHED: 2021, SOURCE: Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups, VOLUME: 600
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
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