activity
20092022
most citedHybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

12 citations · 18 across the 6 of their papers we have counts for

collaborators

10 papers

cs.FL2022

Ordering Regular Languages and Automata: Complexity

Giovanna D'Agostino, Davide Martincigh, Alberto Policriti

Given an order of the underlying alphabet we can lift it to the states of a finite deterministic automaton: to compare states we use the order of the strings reaching them. When th…

cs.FL2021

Ordering regular languages: a danger zone

Giovanna D'Agostino, Davide Martincigh, Alberto Policriti

Ordering the collection of states of a given automaton starting from an order of the underlying alphabet is a natural move towards a computational treatment of the language accepte…

cs.FL2021

On (co-lex) Ordering Automata

Giovanna D'Agostino, Nicola Cotumaccio, Alberto Policriti +1

The states of a deterministic finite automaton A can be identified with collections of words in Pf(L(A)) -- the set of prefixes of words belonging to the regular language accepted…

cs.FL2020

Wheeler Languages

Jarno Alanko, Giovanna D'Agostino, Alberto Policriti +1

The recently introduced class of Wheeler graphs, inspired by the Burrows-Wheeler Transform (BWT) of a given string, admits an efficient index data structure for searching for subpa…

cs.LO2019

Adding the Power-Set to Description Logics

Laura Giordano, Alberto Policriti

We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, con…

cs.DS2019

Regular Languages meet Prefix Sorting

Jarno Alanko, Giovanna D'Agostino, Alberto Policriti +1

Indexing strings via prefix (or suffix) sorting is, arguably, one of the most successful algorithmic techniques developed in the last decades. Can indexing be extended to languages…