Academic staff at Faculty of Mathematics and Physics, Catholic Theological Faculty
Study programme
Classes
- Philosophical EthicsKFIL050 | Catholic Theological Faculty
- Combinatorics on WordsNMAG444 | Faculty of Mathematics and Physics
- Formalization seminarNMAG585 | Faculty of Mathematics and Physics
- Seminar for bachelor thesisNMAT362 | Faculty of Mathematics and Physics
- Information theoryNMMB210 | Faculty of Mathematics and Physics
- Automata and Convolutional CodesNMMB401 | Faculty of Mathematics and Physics
- Quantum InformationNMMB534 | Faculty of Mathematics and Physics
Publications
- Lyndon Words Formalized in Isabelle/HOL2021 | Faculty of Mathematics and Physics
- Formalization of Basic Combinatorics on Words2021 | Faculty of Mathematics and Physics
- Combinatorics on Words Basics2021 | Faculty of Mathematics and Physics
- Lyndon words2021 | Faculty of Mathematics and Physics
- Fully bordered words2017 | Faculty of Mathematics and Physics
- Prefix frequency of lost positions2017 | Faculty of Mathematics and Physics
- Beyond the Runs Theorem2015 | Faculty of Mathematics and Physics
- Universal Lyndon Words2014 | Faculty of Mathematics and Physics
- Binary Codes that do not Preserve Primitivity2023 | Faculty of Mathematics and Physics
- Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time2023 | Faculty of Mathematics and Physics
Loading network view...