Classes
- Propositional and Predicate Logic +1NAIL062 | Faculty of Mathematics and Physics
- Logic Programming 1NAIL076 | Faculty of Mathematics and Physics
- Lambda Calculus and Functional Programming 1NAIL078 | Faculty of Mathematics and Physics
- Seminar on Parallel AlgorithmsNTIN004 | Faculty of Mathematics and Physics
- Hypercube structuresNTIN097 | Faculty of Mathematics and Physics
Publications
- Redundant binary representations with rigorous trade-off between connectivity and locality2020 | Faculty of Mathematics and Physics
- Testing connectivity of faulty networks in sublinear time2012 | Faculty of Mathematics and Physics
- Efficient connectivity testing of hypercubic networks with faults2011 | Faculty of Mathematics and Physics
- Star transposition Gray codes for multiset permutations2023 | Faculty of Mathematics and Physics
- Pattern-Avoiding Binary Trees - Generation, Counting, and Bijections2023 | Faculty of Mathematics and Physics
- Star Transposition Gray Codes for Multiset Permutations2022 | Faculty of Mathematics and Physics
- The Hamilton Compression of Highly Symmetric Graphs2022 | Faculty of Mathematics and Physics
- On the central levels problem +12020 | Faculty of Mathematics and Physics
- Trimming and gluing Gray codes2018 | Faculty of Mathematics and Physics
- Modelling simultaneous broadcasting by level-disjoint partitions2018 | Faculty of Mathematics and Physics
Loading network view...