- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Matematicko-fyzikální fakulta
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall2014 | Matematicko-fyzikální fakulta
- Kvadratické programování se separovanými konvexními omezeními a řešení 3D kontaktních úloh se třením2006 | Matematicko-fyzikální fakulta
- QRML: A Component Language and Toolset for Quality and Resource Management2020 | Matematicko-fyzikální fakulta