Předměty
- Logické programování 1NAIL076 | Matematicko-fyzikální fakulta
- Seminář paralelní algoritmyNTIN004 | Matematicko-fyzikální fakulta
- Výroková a predikátová logika +1NAIL062 | Matematicko-fyzikální fakulta
- Lambda-kalkulus a funkcionální programování 1NAIL078 | Matematicko-fyzikální fakulta
- Struktury v hyperkrychlíchNTIN097 | Matematicko-fyzikální fakulta
Publikace
- Pattern-Avoiding Binary Trees - Generation, Counting, and Bijections2023 | Matematicko-fyzikální fakulta
- On the central levels problem +12020 | Matematicko-fyzikální fakulta
- Redundant binary representations with rigorous trade-off between connectivity and locality2020 | Matematicko-fyzikální fakulta
- Trimming and gluing Gray codes2018 | Matematicko-fyzikální fakulta
- Quest for Good Spanners of Hypercubes2018 | Matematicko-fyzikální fakulta
- Trimming and gluing gray codes2017 | Matematicko-fyzikální fakulta
- Linear time construction of a compressed Gray code2013 | Matematicko-fyzikální fakulta
- Gray codes with bounded weights2012 | Matematicko-fyzikální fakulta
- Testing connectivity of faulty networks in sublinear time2012 | Matematicko-fyzikální fakulta
- Efficient connectivity testing of hypercubic networks with faults2011 | Matematicko-fyzikální fakulta
Loading network view...