- Čím zaplnit prostor mezi manuální a automatickou paralelizací?2011 | Matematicko-fyzikální fakulta
- Kopenograms – Graphical Language for Structured Algorithms2012 | 1. lékařská fakulta
- Řešené těžkých SAT instancí pomocí hladového rozkladu na kliky2007 | Matematicko-fyzikální fakulta
- Řešení obtížných případů problému splnitelnosti Booleovských formulí2007 | Matematicko-fyzikální fakulta
- Procedural Code Representation in a Flow Graph2015 | Matematicko-fyzikální fakulta
- Evaluation of the rSP03B sero-strip, a newly proposed rapid test for canine exposure to Phlebotomus perniciosus, vector of Leishmania infantum2018 | Přírodovědecká fakulta