- Closure properties of lim C2022 | Faculty of Mathematics and Physics
- Closure for the property of having a hamiltonian prism2007 | Faculty of Mathematics and Physics
- Deleting deterministic restarting automata with two windows2017 | Faculty of Mathematics and Physics
- On Deleting Deterministic Restarting Automata That Have Two Windows2018 | Faculty of Mathematics and Physics
- Non-Returning Finite Automata With Translucent Letters2022 | Faculty of Mathematics and Physics
- Compactness in abelian categories2019 | Faculty of Mathematics and Physics
- On Basic Properties of Jumping Finite Automata2018 | Faculty of Mathematics and Physics
- Self-small products of abelian groups2022 | Faculty of Mathematics and Physics
- Two-sided locally testable languages2018 | Faculty of Mathematics and Physics
- Recognizing Picture Languages by Reductions to String Languages2022 | Faculty of Mathematics and Physics
- Deterministic ordered restarting automata for picture languages2015 | Faculty of Mathematics and Physics
- Restarting Tiling Automata2012 | Faculty of Mathematics and Physics
- Restarting Tiling Automata2013 | Faculty of Mathematics and Physics, Charles University
- INTERVAL MATRICES WITH MONGE PROPERTY2020 | Faculty of Mathematics and Physics
- Extension Complexity of Formal Languages2020 | Faculty of Mathematics and Physics
- New results on deterministic sgraffito automata2013 | Faculty of Mathematics and Physics
- Ordered Restarting Automata for Picture Languages2014 | Faculty of Mathematics and Physics
- On rings determined by their idempotents and units2023 | Faculty of Mathematics and Physics
- Non-returning deterministic and nondeterministic finite automata with translucent letters2023 | Faculty of Mathematics and Physics
- Two-dimensional Sgraffito automata2014 | Faculty of Mathematics and Physics
- Epistemic Logics for Skeptical Agents2016 | Faculty of Arts