Dual Adjunction Between $ varOmega $-Automata and Wilke Algebra Quotients. - Anton Chernev; Helle Hvid Hansen; Clemens Kupke (ICTAC, 2024)

Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients. - Anton Chernev; Helle Hvid Hansen; Clemens Kupke (CoRR, 2024)

Thin Coalgebraic Behaviours Are Inductive. - Anton Chernev; Corina Cîrstea; Helle Hvid Hansen; Clemens Kupke (CoRR, 2025)