Rogério Ventura Lages dos Santos Reis


AuthID: R-000-FN6

Confirmed Publications: 123



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 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
13
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
14
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
15
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
16
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
17
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
18
19
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
20
TITLE: Location Based Automata for Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: 15th International Conference on Language and Automata Theory and Applications, LATA 2021 in Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, VOLUME: 12638
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 2 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

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