- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine2013 | Faculty of Mathematics and Physics
- Contractivity of Bellman operator in risk averse dynamic programming with infinite horizon2023 | Faculty of Mathematics and Physics
- Introduction to dynamic program analysis with DiSL +12013 | Faculty of Mathematics and Physics
- On Parallel Evaluation of Matrix-Based Dynamic Programming Algorithms2015 | Faculty of Mathematics and Physics
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Faculty of Mathematics and Physics
- A Dynamic Programming Approach to Individual Initialization in Genetic Programming2015 | Faculty of Mathematics and Physics
- An Improved Algorithm for Fractured Femoral Head Segmentation from CT Using Dynamic Programming2010 | Faculty of Mathematics and Physics, First Faculty of Medicine
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublication without faculty affiliation
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Faculty of Mathematics and Physics
- Improving matrix-based dynamic programming on massively parallel accelerators2016 | Faculty of Mathematics and Physics
- Sentence reordering via dynamic programming for cross-lingual dependency parsingPublication without faculty affiliation
- Comparison of multistage stochastic programming and stochastic dynamic programming with discrete timePublication without faculty affiliation
- A note on stochastic dynamic programming for the mean variance models2000 | Faculty of Mathematics and Physics
- Dividing chidren to groups2013 | Faculty of Mathematics and Physics
- ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform +12013 | Faculty of Mathematics and Physics
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Faculty of Mathematics and Physics
- Comparison of Multistage Stochastic Programs with Recourse and Stochastic Dynamic Programs with Discrete Time2002 | Publication without faculty affiliation
- Broken intersections2021 | Faculty of Mathematics and Physics
- Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory2020 | Faculty of Mathematics and Physics
- Decompositions into the sum2015 | Faculty of Mathematics and Physics
- Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory2022 | Faculty of Mathematics and Physics
- Improving Parallel Processing of Matrix-based Similarity Measures on Modern GPUs2015 | Faculty of Mathematics and Physics
- Streaming Algorithms for Geometric Steiner Forest2022 | Faculty of Mathematics and Physics
- Ferries routes optimization2016 | Faculty of Mathematics and Physics
- Jumping of a frog2016 | Faculty of Mathematics and Physics
- Beads on a string2019 | Faculty of Mathematics and Physics
- SDDP for multistage stochastic programs: preprocessing via scenario reduction2017 | Faculty of Mathematics and Physics
- Ski resort2017 | Faculty of Mathematics and Physics