Předměty
- Výroková a predikátová logika +1NAIL062 | Matematicko-fyzikální fakulta
- Logické programování 1NAIL076 | Matematicko-fyzikální fakulta
- Lambda-kalkulus a funkcionální programování 1NAIL078 | Matematicko-fyzikální fakulta
- Seminář paralelní algoritmyNTIN004 | Matematicko-fyzikální fakulta
- Struktury v hyperkrychlíchNTIN097 | Matematicko-fyzikální fakulta
Publikace
- Redundant binary representations with rigorous trade-off between connectivity and locality2020 | Matematicko-fyzikální fakulta
- Star transposition Gray codes for multiset permutations2023 | Matematicko-fyzikální fakulta
- Pattern-Avoiding Binary Trees - Generation, Counting, and Bijections2023 | Matematicko-fyzikální fakulta
- Star Transposition Gray Codes for Multiset Permutations2022 | Matematicko-fyzikální fakulta
- The Hamilton Compression of Highly Symmetric Graphs2022 | Matematicko-fyzikální fakulta
- On the central levels problem +12020 | Matematicko-fyzikální fakulta
- Trimming and gluing Gray codes2018 | Matematicko-fyzikální fakulta
- Modelling simultaneous broadcasting by level-disjoint partitions2018 | Matematicko-fyzikální fakulta
- Extending perfect matchings to Gray codes with prescribed ends2018 | Matematicko-fyzikální fakulta
- Broadcasting multiple messages in the 1-in port model in optimal time2018 | Matematicko-fyzikální fakulta
Loading network view...