- Constraint solversPublication without faculty affiliation
- Accurate Simulations of Lipid Monolayers Require a Water Model with Correct Surface Tension2022 | Central Library of Charles University
- Principles of Constraint Processing2008 | Faculty of Mathematics and Physics
- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Faculty of Mathematics and Physics