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
- Extending perfect matchings to Gray codes with prescribed ends2018 | Faculty of Mathematics and Physics
- A short proof of the middle levels theorem2018 | Faculty of Mathematics and Physics
- Gray codes and symmetric chains +12018 | Faculty of Mathematics and Physics
- Quest for Good Spanners of Hypercubes2018 | Faculty of Mathematics and Physics
- Note on incidence chromatic number of subquartic graphs2017 | Faculty of Mathematics and Physics
- On incidence coloring conjecture in Cartesian products of graphs2016 | Faculty of Mathematics and Physics
- Linear extension diameter of level induced subposets of the Boolean lattice2014 | Faculty of Mathematics and Physics
- On the mutually independent Hamiltonian cycles in faulty hypercubes2013 | Faculty of Mathematics and Physics
- Edge-fault-tolerant hamiltonicity of augmented cubes2013 | Faculty of Mathematics and Physics
Loading network view...