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
- Modelling simultaneous broadcasting by level-disjoint partitions2018 | Matematicko-fyzikální fakulta
- Rooted level-disjoint partitions of Cartesian products2015 | Matematicko-fyzikální fakulta
- On the mutually independent Hamiltonian cycles in faulty hypercubes2013 | 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
- 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
Loading network view...