On Language Varieties Without Boolean Operations. - Fabian Birkmann; Stefan Milius; Henning Urbat (LATA, 2021)

Distributed Coalgebraic Partition Refinement. - Fabian Birkmann; Hans-Peter Deifel; Stefan Milius (TACAS (2), 2022)

Software and Benchmarks for Distributed Coalgebraic Partition Refinement. - Fabian Birkmann; Hans-Peter Deifel; Stefan Milius (Zenodo, 2022)

Nominal Topology for Data Languages. - Fabian Birkmann; Stefan Milius; Henning Urbat (ICALP, 2023)

Eilenberg's variety theorem without Boolean operations. - Fabian Birkmann; Stefan Milius; Henning Urbat (Inf. Comput., 2023)

Monoidal Extended Stone Duality. - Fabian Birkmann; Henning Urbat; Stefan Milius (FoSSaCS (1), 2024)

Algebraic Language Theory with Effects. - Fabian Birkmann; Stefan Milius; Henning Urbat; Thorsten Wißmann (CoRR, 2024)