- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine2013 | Matematicko-fyzikální fakulta
- Contractivity of Bellman operator in risk averse dynamic programming with infinite horizon2023 | Matematicko-fyzikální fakulta
- Introduction to dynamic program analysis with DiSL +12013 | Matematicko-fyzikální fakulta
- On Parallel Evaluation of Matrix-Based Dynamic Programming Algorithms2015 | Matematicko-fyzikální fakulta
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Matematicko-fyzikální fakulta
- A Dynamic Programming Approach to Individual Initialization in Genetic Programming2015 | Matematicko-fyzikální fakulta
- Vylepšený algoritmus pro segmentaci femorální hlavice z CT pomocí dynamického programování2010 | Matematicko-fyzikální fakulta, 1. lékařská fakulta
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublikace bez příslušnosti k fakultě
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Matematicko-fyzikální fakulta
- Improving matrix-based dynamic programming on massively parallel accelerators2016 | Matematicko-fyzikální fakulta
- Sentence reordering via dynamic programming for cross-lingual dependency parsingPublikace bez příslušnosti k fakultě
- Comparison of multistage stochastic programming and stochastic dynamic programming with discrete timePublikace bez příslušnosti k fakultě
- A note on stochastic dynamic programming for the mean variance models2000 | Matematicko-fyzikální fakulta
- Rozdělení dětí do skupin2013 | Matematicko-fyzikální fakulta
- ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform +12013 | Matematicko-fyzikální fakulta
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Matematicko-fyzikální fakulta
- Comparison of Multistage Stochastic Programs with Recourse and Stochastic Dynamic Programs with Discrete Time2002 | Publikace bez příslušnosti k fakultě
- Rozkopané křižovatky2021 | Matematicko-fyzikální fakulta
- Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory2020 | Matematicko-fyzikální fakulta
- Rozklady na součet2015 | Matematicko-fyzikální fakulta
- Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory2022 | Matematicko-fyzikální fakulta
- Improving Parallel Processing of Matrix-based Similarity Measures on Modern GPUs2015 | Matematicko-fyzikální fakulta
- Streaming Algorithms for Geometric Steiner Forest2022 | Matematicko-fyzikální fakulta
- Optimalizace tras přívozů2016 | Matematicko-fyzikální fakulta
- Jak skáče žabka2016 | Matematicko-fyzikální fakulta
- Navlékání korálků2019 | Matematicko-fyzikální fakulta
- SDDP for multistage stochastic programs: preprocessing via scenario reduction2017 | Matematicko-fyzikální fakulta
- Lyžařské středisko2017 | Matematicko-fyzikální fakulta