- Verifying Nested Workflows with Extra Constraints2013 | Faculty of Mathematics and Physics
- Simplifying Verification of Nested Workflows with Extra Constraints2013 | Faculty of Mathematics and Physics
- Using Attribute Grammars to Model Nested Workflows with Extra Constraints2016 | Faculty of Mathematics and Physics
- On Complexity of Verifying Nested Workflows with Extra Constraints +12012 | Faculty of Mathematics and Physics
- On verification of nested workflows with extra constraints: From theory to practice2014 | Faculty of Mathematics and Physics
- Multistage portfolio optimization with risk premium contraints2015 | Faculty of Mathematics and Physics