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
- The Hamilton Compression of Highly Symmetric Graphs2022 | Faculty of Mathematics and Physics
- On the central levels problem +12020 | Faculty of Mathematics and Physics
- Gray codes and symmetric chains +12018 | 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
- Redundant binary representations with rigorous trade-off between connectivity and locality2020 | 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
- Extending perfect matchings to Gray codes with prescribed ends2018 | Faculty of Mathematics and Physics
Loading network view...