Publications

Fundamenta Informaticae 2021: A Congruence-Based Perspective on Finite Tree Automata with Elena Gutiérrez and Pierre Ganty.
TOCL 2021: Complete Abstractions for Checking Language Inclusion with Francesco Ranzato and Pierre Ganty.
PhD Thesis: On the Use of Quasiorders in Formal Language Theory.
MFCS 2020: A Quasiorder-based Perspective on Residual Automata with Elena Gutiérrez and Pierre Ganty.
SAS 2019: Complete Abstractions for Checking Language Inclusion with Francesco Ranzato and Pierre Ganty.
MFCS 2019: A Congruence-based Perspective on Automata Minimization Algorithms with Elena Gutiérrez and Pierre Ganty.
DCC 2019: Regular Expression Search on Compressed Text with Pierre Ganty.
ATVA 2017: A Language-theoretic View on Network Protocols with Pierre Ganty and Boris Köpf.

Software

Zearch: A grep-like tool for regular expression search on grammar-compressed texts. The tool works on repair compressed text and outperforms the state of the art for counting the number of lines in the compressed text matching the input expression. Optionally, zearch also reports the matching lines.
HTTP Validator: An input validator for HTTP messages that relies on recognizers for context-free and regular languages.