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
- Generalized Gray codes with prescribed ends2017 | Faculty of Mathematics and Physics
- Partitions of faulty hypercubes into paths with prescribed endvertices2008 | Faculty of Mathematics and Physics
- Path partitions of hypercubes2008 | 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
- 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
Loading network view...