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
- Modelling simultaneous broadcasting by level-disjoint partitions2018 | Faculty of Mathematics and Physics
- Broadcasting multiple messages in the 1-in port model in optimal time2018 | Faculty of Mathematics and Physics
- Time-optimal broadcasting of multiple messages in 1-in port model2016 | Faculty of Mathematics and Physics
- Rooted level-disjoint partitions of Cartesian products2015 | 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
Loading network view...