| 2025 | CSL | Modal Automata: Analysing Modal Fixpoint Logics, One Step at a Time (Invited Talk). | Yde Venema |
| 2025 | LICS | Interpolation for the two-way modal μ-calculus. | Johannes Kloibhofer, Yde Venema |
| 2025 | TABLEAUX | Interpolation for Converse PDL. | Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema |
| 2023 | TABLEAUX | Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. | Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema |
| 2023 | WoLLIC | Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. | Jan Rooduijn, Yde Venema |
| 2022 | CSL | Succinct Graph Representations of μ-Calculus Formulas. | Clemens Kupke, Johannes Marti, Yde Venema |
| 2022 | LICS | Size measures and alphabetic equivalence in the μ-calculus. | Clemens Kupke, Johannes Marti, Yde Venema |
| 2021 | TABLEAUX | A Focus System for the Alternation-Free μ-Calculus. | Johannes Marti, Yde Venema |
| 2019 | CALCO | Coalgebraic Geometric Logic. | Nick Bezhanishvili, Jim de Groot, Yde Venema |
| 2019 | CALCO | Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. | Vincenzo Ciancia, Yde Venema |
| 2019 | LICS | Completeness for Game Logic. | Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2019 | WoLLIC | Closure Ordinals of the Two-Way Modal -Calculus. | Gian Carlo Milanese, Yde Venema |
| 2017 | CALCO | Disjunctive Bases: Normal Forms for Modal Logics. | Sebastian Enqvist, Yde Venema |
| 2017 | TABLEAUX | Parity Games and Automata for Game Logic. | Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2016 | CSL | Completeness for Coalgebraic Fixpoint Logic. | Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
| 2015 | CALCO | Uniform Interpolation for Coalgebraic Fixpoint Logic. | Johannes Marti, Fatemeh Seifan, Yde Venema |
| 2015 | LICS | Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. | Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
| 2014 | AiML | PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. | Facundo Carreiro, Yde Venema |
| 2014 | CSL | Weak MSO: automata and expressiveness modulo bisimilarity. | Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi |
| 2013 | LICS | A Characterization Theorem for the Alternation-Free Fragment of the Modal -Calculus. | Alessandro Facchini, Yde Venema, Fabio Zanasi |
| 2011 | CALCO | Model Constructions for Moss' Coalgebraic Logic. | Jort Bergfeld, Yde Venema |
| 2010 | AiML | Coalgebraic Lindstrom Theorems. | Alexander Kurz, Yde Venema |
| 2010 | AiML | Uniform Interpolation for Monotone Modal Logic. | Luigi Santocanale, Yde Venema |
| 2010 | CONCUR | Flat Coalgebraic Fixed Point Logics. | Lutz Schrder, Yde Venema |
| 2010 | ICALP | Automata for Coalgebras: An Approach Using Predicate Liftings. | Galle Fontaine, Raul Andres Leal, Yde Venema |
| 2009 | CALCO | Complementation of Coalgebra Automata. | Christian Kissig, Yde Venema |
| 2008 | AiML | Proof systems for the coalgebraic cover modality. | Marta Blkov, Alessandra Palmigiano, Yde Venema |
| 2008 | AiML | Completeness of the finitary Moss logic. | Clemens Kupke, Alexander Kurz, Yde Venema |
| 2007 | CALCO | Nabla Algebras and Chu Spaces. | Alessandra Palmigiano, Yde Venema |
| 2007 | LPAR | Completeness for Flat Modal Fixpoint Logics. | Luigi Santocanale, Yde Venema |
| 2007 | WoLLIC | A Modal Distributive Law (abstract). | Yde Venema |
| 2006 | KR | Definitorially Complete Description Logics. | Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema |
| 2005 | LICS | Closure Properties of Coalgebra Automata. | Clemens Kupke, Yde Venema |
| 1998 | AiML | Canonical Pseudo-Correspondence. | Yde Venema |
| 1998 | TARK | A Modal Logic of Information Change. | Joeri Engelfriet, Yde Venema |
| 1996 | AiML | Atom Structures. | Yde Venema |