- Wally axiomatics of Branching Continuations2013 | Filozofická fakulta
- Flow of Time in BST/BCont Models and Related Semantical Observations2012 | Filozofická fakulta
- Does branching explain flow of time or the other way around?2015 | Filozofická fakulta
- Klinická pediatrie2012 | 1. lékařská fakulta, Fakulta tělesné výchovy a sportu, 2. lékařská fakulta