User Publications

A Machiavelo

On the Uniform Distribution of Regular Expressions

Descriptional Complexity of Formal Systems, Dcfs 2021 | 2021 | inproceedings

Pregrammars and Intersection Types

29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference). | 2021 | inproceedings

The Prefix Automaton

J. Autom. Lang. Comb. | 2021 | article

E Maia

Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average

SIGACT News | 2020 | article

A mesh of automata

Information and Computation | 2019 | article

E Maia

M Holzer

On Average Behaviour of Regular Expressions in Strong Star Normal Form

International Journal of Foundations of Computer Science | 2019 | article

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types

Electronic Notes in Theoretical Computer Science | 2019 | inproceedings

S Alves

A Unifying Framework for Type Inhabitation

3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK | 2018 | inproceedings

S Alves

Automata for regular expressions with shuffle

Information and Computation | 2018 | article

Position Automata for Semi-extended Expressions

Journal of Automata, Languages and Combinatorics | 2018 | article

Inhabitation machines: determinism and principality

Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017. | 2017 | inproceedings

Sandra Alves

On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions

Journal of Automata, Languages and Combinatorics | 2017 | article

A Machiavelo

R Bastos

On the Average Complexity of Strong Star Normal Form

Descriptional Complexity of Formal Systems, Dcfs 2017 | 2017 | inproceedings

On the Mother of All Automata: the Position Automaton

Developments in Language Theory, Dlt 2017 | 2017 | inproceedings

E Maia

M Holzer

On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection

Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings | 2016 | inproceedings

R Bastos

Position Automaton Construction for Regular Expressions with Intersection

Developments in Language Theory, Dlt 2016 | 2016 | inproceedings

The G-ACM Tool: using the Drools Rule Engine for Access Control Management

CoRR | 2016 | misc

J Sá

S Alves

A short note on type-inhabitation: Formula-trees vs. game semantics

Information Processing Letters | 2015 | article

S Alves

A Typed Language for Events

Logic-based Program Synthesis and Transformation (lopstr 2015) | 2015 | inproceedings

M Fernandez

S Alves

Average Size of Automata Constructions from Regular Expressions

Bulletin of the EATCS | 2015 | article

Deciding synchronous Kleene algebra with derivatives

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015 | inproceedings