- Wally axiomatics of Branching Continuations2013 | Faculty of Arts
- Flow of Time in BST/BCont Models and Related Semantical Observations2012 | Faculty of Arts
- Does branching explain flow of time or the other way around?2015 | Faculty of Arts
- Clinical Pediatrics2012 | First Faculty of Medicine, Faculty of Physical Education and Sport, Second Faculty of Medicine