| 2026 | FOSSACS | Karp's NP-Complete Problems over First-Order Definable Structures. | Aidan Healy, Bartek Klin |
| 2026 | LICS | The Finite Length Property of the Rado Graph and Friends. | Jingjie Yang, Mikolaj Bojanczyk, Bartek Klin |
| 2022 | MFCS | Countdown μ-Calculus. | Jedrzej Kolodziejski, Bartek Klin |
| 2021 | CSL | μ-Calculi with Atoms (Invited Talk). | Bartek Klin |
| 2021 | FOSSACS | Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages. | Bartek Klin, Slawomir Lasota, Szymon Torunczyk |
| 2021 | LICS | Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. | Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman |
| 2019 | LICS | History-Dependent Nominal μ-Calculus. | Clovis Eberhart, Bartek Klin |
| 2019 | LICS | Codensity Games for Bisimilarity. | Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo |
| 2017 | CSL | Modal mu-Calculus with Atoms. | Bartek Klin, Mateusz Lelyk |
| 2017 | ICALP | Expressiveness of Probabilistic Modal Logics, Revisited. | Nathanal Fijalkow, Bartek Klin, Prakash Panangaden |
| 2017 | POPL | Learning nominal automata. | Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski |
| 2015 | CALCO | Presenting Morphisms of Distributive Laws. | Bartek Klin, Beata Nachyla |
| 2015 | FOSSACS | Coalgebraic Trace Semantics via Forgetful Logics. | Bartek Klin, Jurriaan Rot |
| 2015 | LICS | Locally Finite Constraint Satisfaction Problems. | Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk |
| 2014 | CSL | Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. | Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk |
| 2013 | LICS | Turing Machines with Atoms. | Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk |
| 2012 | POPL | Towards nominal computation. | Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota |
| 2011 | LICS | Automata with Group Actions. | Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota |
| 2008 | FOSSACS | Structural Operational Semantics for Stochastic Process Calculi. | Bartek Klin, Vladimiro Sassone |
| 2007 | LICS | Bialgebraic Operational Semantics and Modal Logic. | Bartek Klin |
| 2005 | CALCO | The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. | Bartek Klin |
| 2005 | CALCO | Labels from Reductions: Towards a General Theory. | Bartek Klin, Vladimiro Sassone, Pawel Sobocinski |
| 2003 | CONCUR | Syntactic Formats for Free. | Bartek Klin, Pawel Sobocinski |
| 2001 | FASE | Semantics of Architectural Specifications in CASL. | Lutz Schrder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
| 2001 | MFCS | Checking Amalgamability Conditions for C ASL Architectural Specifications. | Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schrder, Till Mossakowski |