- Additive Types in Quantitative Type Theory2022 | Faculty of Mathematics and Physics
- How to study formation of political systems after the transition to democracy: possibilities and limitations +12015 | Faculty of Mathematics and Physics, Faculty of Social Sciences
- Lightweight Verification of Array Indexing2018 | Faculty of Mathematics and Physics
- Inborn errors of type I IFN immunity in patients with life-threatening COVID-192020 | First Faculty of Medicine, Second Faculty of Medicine
- Beauty and Critical Art: Is Beauty at Odds with Critical-Political Engagement?2015 | Faculty of Social Sciences