Bisimulational Categoricity. - Jedrzej Kolodziejski (AiML, 2020)

Countdown μ-Calculus. - Jedrzej Kolodziejski; Bartek Klin (MFCS, 2022)

Modal Separability of Fixpoint Formulae. - Jean Christoph Jung; Jedrzej Kolodziejski (Description Logics, 2024)

Modal Separation of Fixpoint Formulae. - Jean Christoph Jung; Jedrzej Kolodziejski (STACS, 2025)

Computation of Interpolants for Description Logic Concepts in Hard Cases. - Jean Christoph Jung; Jedrzej Kolodziejski; Frank Wolter (CoRR, 2025)