- Choosability of Graphs with Infinite Sets of Forbidden Differences2007 | Faculty of Mathematics and Physics
- Logic as a mathematization of thinking2011 | Publication without faculty affiliation
- How is it actually? Infinity2021 | Faculty of Education
- Cycle-continuous mappings - order structure2013 | Faculty of Mathematics and Physics
- Labelled Superposition for PLTL2012 | Faculty of Mathematics and Physics
- Bolzano's Notion of Infinity and Truths in Themselves2007 | Publication without faculty affiliation
- Parameterized complexity of generalized domination problems2012 | Faculty of Mathematics and Physics
- Cycle-Continuous Mappings-Order Structure2017 | Faculty of Mathematics and Physics
- Parameterized Complexity of Generalized Domination Problems2010 | Faculty of Mathematics and Physics
- Single-File System with Absorbing Boundary: Tracer Dynamics and First-Passage Properties2015 | Faculty of Mathematics and Physics
- On Induced Online Ramsey Number of Paths, Cycles, and Trees2019 | Faculty of Mathematics and Physics