- Bachelor thesis - Factoring polynomials over finite fields
- Together with Martin Mareš we wrote
Linear-Time Ranking of Permutations, which was accepted to
Algorithms – ESA 2007, 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings, LNCS 4698, Springer Verlag, Berlin 2007.
- Diploma thesis - Quadratic fields based cryptography
- Paper Optimal worst-case fully persistent arrays presented at TFP 2009.
- Paper The performance of the haskell containers package in Proceedings of Haskell Symposium 2010.
- Paper Adams' Trees Revisited - Correct and Efficient Implementation in Proceedings of TFP 2011.
- Paper Functional Data Structures and Algorithms submitted as PhD thesis.