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
- Linear extension diameter of level induced subposets of the Boolean lattice2014 | Faculty of Mathematics and Physics
- Linear extension diameter of subposets of Boolean lattice induced by two levels2011 | 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
- Modelling simultaneous broadcasting by level-disjoint partitions2018 | Faculty of Mathematics and Physics
Loading network view...