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

Rogério Ventura Lages dos Santos Reis

Rogério Ventura Lages dos Santos Reis

At LASI

Member of the CMUP R&D Unit

Academic Degree

Current Position

at

Personal Webpage

Personal Email

Orcid

0000-0001-9668-0917

Researcher ID

FCT Public Key

Ciência ID

AB13-0F48-171C

Google Scholar

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