- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Faculty of Mathematics and Physics
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall2014 | Faculty of Mathematics and Physics
- Quadratic programming with separable convex constraints and solving of 3D contact problems with friction2006 | Faculty of Mathematics and Physics
- QRML: A Component Language and Toolset for Quality and Resource Management2020 | Faculty of Mathematics and Physics