| 2026 | CSL | Well-Founded Coalgebras Meet Kőnig's Lemma. | Henning Urbat, Thorsten Wimann |
| 2025 | CALCO | Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl). | Thorsten Wimann, Blint Kocsis, Jurriaan Rot, Ruben Turkenburg |
| 2025 | ICALP | Algebraic Language Theory with Effects. | Fabian Lenke, Stefan Milius, Henning Urbat, Thorsten Wimann |
| 2024 | LICS | Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda. | Thorsten Wimann, Stefan Milius |
| 2023 | CALCO | Bisimilar States in Uncertain Structures. | Jurriaan Rot, Thorsten Wimann |
| 2023 | CSL | Supported Sets - A New Foundation for Nominal Sets and Automata. | Thorsten Wimann |
| 2023 | FOSSACS | Weighted and Branching Bisimilarities from Generalized Open Maps. | Jrmy Dubut, Thorsten Wimann |
| 2023 | ICALP | Action Codes. | Frits W. Vaandrager, Thorsten Wimann |
| 2022 | TACAS | A New Approach for Active Automata Learning Based on Apartness. | Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wimann |
| 2021 | CALCO | Minimality Notions via Factorization Systems ((Co)algebraic pearls). | Thorsten Wimann |
| 2021 | CONCUR | Explaining Behavioural Inequivalence Generically in Quasilinear Time. | Thorsten Wimann, Stefan Milius, Lutz Schrder |
| 2021 | FSCD | Coalgebra Encoding for Efficient Minimization. | Hans-Peter Deifel, Stefan Milius, Thorsten Wimann |
| 2019 | FM | Generic Partition Refinement and Weighted Tree Automata. | Hans-Peter Deifel, Stefan Milius, Lutz Schrder, Thorsten Wimann |
| 2019 | FOSSACS | Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. | Thorsten Wimann, Jrmy Dubut, Shin-ya Katsumata, Ichiro Hasuo |
| 2017 | CONCUR | Efficient Coalgebraic Partition Refinement. | Ulrich Dorsch, Stefan Milius, Lutz Schrder, Thorsten Wimann |
| 2017 | FOSSACS | Nominal Automata with Name Binding. | Lutz Schrder, Dexter Kozen, Stefan Milius, Thorsten Wimann |
| 2016 | FOSSACS | A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. | Stefan Milius, Dirk Pattinson, Thorsten Wimann |
| 2015 | CALCO | Finitary Corecursion for the Infinitary Lambda Calculus. | Stefan Milius, Thorsten Wimann |
| 2014 | CADE | Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). | Daniel Gorn, Dirk Pattinson, Lutz Schrder, Florian Widmann, Thorsten Wimann |