Algoritmi | User | Rogério Ventura Lages dos Santos Reis


Rogério Ventura Lages dos Santos Reis

Rogério Ventura Lages dos Santos Reis
Personal Email
Orcid
0000-0001-9668-0917Researcher ID
FCT Public Key
Ciência ID
AB13-0F48-171CGoogle Scholar
Publications (113)
Location automata for regular expressions with shuffle and intersection
Information and Computation
2023 | journal-article
25th International Conference on Developments in Language Theory (DLT 2021): Preface
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
2023 | other
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions
2023 | book-chapter
Location automata for synchronised shuffle expressions
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
2023 | journal-article
On the average complexity of partial derivative transducers *,**,***
THEORETICAL COMPUTER SCIENCE
2023 | journal-article
Approximate NFA Universality Motivated by Information Theory
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022
2022 | conference-paper
Approximate NFA Universality and Related Problems Motivated by Information Theory
CoRR
2022 | other
Manipulation of Regular Expressions Using Derivatives: An Overview
IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2022)
2022 | conference-paper
Developments in Language Theory - 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings
DLT
2021 | edited-book
Hot Current Topics of Descriptional Complexity
Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
2021 | book-chapter
Location Based Automata for Expressions with Shuffle
Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings
2021 | conference-paper
On the Uniform Distribution of Regular Expressions
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021
2021 | conference-paper
On the Uniform Distribution of Regular Expressions
CoRR
2021 | other
On the size of partial derivatives and the word membership problem
ACTA INFORMATICA
2021 | journal-article
Partial Derivative Automaton by Compressing Regular Expressions
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021
2021 | conference-paper
Partial derivatives of regular expressions over alphabet-invariant and user-defined labels
Theor. Comput. Sci.
2021 | journal-article
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | other
Report on Zhi-Wei Sun's 1-3-5 conjecture and some of its refinements
JOURNAL OF NUMBER THEORY
2021 | journal-article
The Prefix Automaton
J. Autom. Lang. Comb.
2021 | journal-article
Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average
SIGACT News
2020 | journal-article
On the Average State Complexity of Partial Derivative Transducers
SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE
2020 | conference-paper
Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
2020 | journal-article
The computational power of parsing expression grammars
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
2020 | journal-article
Criptografia e Criptoanálise
Revista de Ciência Elementar
2019 | journal-article
A mesh of automata
INFORMATION AND COMPUTATION
2019 | journal-article
On Average Behaviour of Regular Expressions in Strong Star Normal Form
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
2019 | journal-article
Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels
Implementation and Application of Automata - 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings
2019 | conference-paper
Automata for regular expressions with shuffle
INFORMATION AND COMPUTATION
2018 | journal-article
Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018
2018 | conference-paper
Position Automata for Semi-extended Expressions
Journal of Automata, Languages and Combinatorics
2018 | journal-article
RANDOMIZED GENERATION OF ERROR CONTROL CODES WITH AUTOMATA AND TRANSDUCERS
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS
2018 | journal-article
Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels
IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2018
2018 | conference-paper
Symbolic Manipulation of Code Properties
Journal of Automata, Languages and Combinatorics
2018 | journal-article
The Computational Power of Parsing Expression Grammars
Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
2018 | conference-paper
A Survey on Operational State Complexity
Journal of Automata, Languages and Combinatorics
2017 | journal-article
On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions
Journal of Automata, Languages and Combinatorics
2017 | journal-article
On the Average Complexity of Strong Star Normal Form
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017
2017 | conference-paper
On the Mother of All Automata: The Position Automaton
DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017
2017 | conference-paper
Optimal state reductions of automata with partially specified behaviors
THEORETICAL COMPUTER SCIENCE
2017 | journal-article
Osteoarthritis
Studies in Mechanobiology, Tissue Engineering and Biomaterials
2017 | book-chapter
Preface
Role of Theory in Compute