| No. |
Title |
Author |
Year |
| 1 |
Streaming Enumeration on Nested Documents |
Muñoz, Martín et al. |
2022 |
| 2 |
Dynamic Data Structures for Timed Automata Acceptance |
Grez, Alejandro et al. |
2021 |
| 3 |
Ranked Enumeration of MSO Logic on Words |
Bourhis, Pierre et al. |
2021 |
| 4 |
A Family of Centrality Measures for Graph Data Based on Subgraphs |
Riveros, Cristian et al. |
2020 |
| 5 |
On the Expressiveness of Languages for Complex Event Recognition |
Grez, Alejandro et al. |
2020 |
| 6 |
Towards Streaming Evaluation of Queries with Correlation in Complex Event Processing |
Grez, Alejandro et al. |
2020 |
| 7 |
A Formal Framework for Complex Event Processing |
Grez, Alejandro et al. |
2019 |
| 8 |
Pumping Lemmas for Weighted Automata |
Mazowiecki, Filip et al. |
2018 |
| 9 |
Probabilistic Automata of Bounded Ambiguity |
Fijalkow, Nathanaël et al. |
2017 |
| 10 |
Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties |
Mazowiecki, Filip et al. |
2016 |
| 11 |
Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata |
Mazowiecki, Filip et al. |
2015 |
