| 2026 | FM | History-Constrained Systems. | Louwe B. Kuijer, David Purser, Henry Sinclair-Banks, Patrick Totzke |
| 2026 | LICS | The Size of Interpolants in Modal Logics. | Balder ten Cate, Louwe B. Kuijer, Frank Wolter |
| 2024 | AiML | Varieties of Distributed Knowledge. | Rustam Galimullin, Louwe B. Kuijer |
| 2021 | MFCS | HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. | Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann |
| 2020 | IJCAI | Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. | Wiebe van der Hoek, Louwe B. Kuijer, Y N. Wng |
| 2020 | KR | Logics of Preference when There Is No Best. | Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer |
| 2019 | WoLLIC | Knowledge Without Complete Certainty. | Hans van Ditmarsch, Louwe B. Kuijer |
| 2016 | AiML | Fully Arbitrary Public Announcements. | Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer |
| 2016 | TIME | On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. | Valentin Goranko, Louwe B. Kuijer |