research
∙
09/25/2022
Constant-delay enumeration for SLP-compressed documents
We study the problem of enumerating results from a query over a compress...
share
research
∙
01/03/2022
Efficient enumeration algorithms for annotated grammars
We introduce annotated grammars, an extension of context-free grammars w...
research
∙
12/27/2021
How to choose the root: centrality measures over tree structures
Centrality measures are commonly used to analyze graph-structured data; ...
research
∙
11/08/2021
CORE: a COmplex event Recognition Engine
Complex Event Recognition (CER) systems are a prominent technology for f...
research
∙
11/02/2021
MillenniumDB: A Persistent, Open-Source, Graph Database
In this systems paper, we present MillenniumDB: a novel graph database e...
research
∙
10/26/2020
Expressive power of linear algebra query languages
Linear algebra algorithms often require some sort of iteration or recurs...
research
∙
10/15/2020
Ranked enumeration of MSO logic on words
In the last years, enumeration algorithms with bounded delay have attrac...
research
∙
10/12/2020
Constant-delay enumeration algorithms for document spanners over nested documents
Some of the most relevant document schemas used online, such as XML and ...
research
∙
05/20/2020
An FPRAS and Polynomial-Time Uniform Sampler for Tree Automata
In this work, we introduce the first fully polynomial time randomized ap...
research
∙
01/17/2020
Pumping lemmas for weighted automata
We present pumping lemmas for five classes of functions definable by fra...
research
∙
06/21/2019
Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation
In this work, we study two simple yet general complexity classes, based ...
research
∙
05/07/2018
Descriptive Complexity for Counting Complexity Classes
Descriptive Complexity has been very successful in characterizing comple...
research
∙
03/14/2018
Constant delay algorithms for regular document spanners
Regular expressions and automata models with capture variables are core ...
research
∙
12/04/2017
A Second-Order Approach to Complex Event Recognition
Complex Event Recognition (CER for short) refers to the activity of dete...
research
∙
09/15/2017
Foundations of Complex Event Processing
Complex Event Processing (CEP) has emerged as the unifying field for tec...
research
∙
07/04/2017