- Heuristiky pro rozdeleni stavoveho prostoru2007 | Matematicko-fyzikální fakulta
- Řetězení stavového prostoru: nová metoda distribuované verifikace +12007 | Matematicko-fyzikální fakulta
- Hledání vhodného poměru mezi předgenerovanou a za běhu generovanou částí stavového prostoru2008 | Matematicko-fyzikální fakulta
- Redukce dimenzionality stavového prostoru v Markovovských rozhodovacích procesech2008 | Matematicko-fyzikální fakulta
- State space analysis of the Prague Stock Exchange index2014 | Matematicko-fyzikální fakulta
- State-space modeling of claims reserves in non-life insurance +12021 | Matematicko-fyzikální fakulta
- Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking2019 | Matematicko-fyzikální fakulta
- Applying state space models to stochastic claims reserving2021 | Matematicko-fyzikální fakulta
- On conditional covariance modelling: An approach using state space models2016 | Matematicko-fyzikální fakulta
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- HTN or State Space - Who Should Do Planning in Your Game?2013 | Matematicko-fyzikální fakulta
- Automatic public state space abstraction in imperfect information games2015 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | Matematicko-fyzikální fakulta
- Stochastic approaches to reserving in non-life insurance2021 | Matematicko-fyzikální fakulta
- On Comparing Various Modelling Schemes: The Case of the Prague Stock Exchange Index2014 | Matematicko-fyzikální fakulta
- Abstract Pathfinder2012 | Matematicko-fyzikální fakulta
- The Big Match in Small Space (Extended Abstract)2016 | Matematicko-fyzikální fakulta
- Time-varying Betas of the Banking SectorPublikace bez příslušnosti k fakultě
- Predicate Abstraction in Java Pathfinder2013 | Matematicko-fyzikální fakulta
- Responsible Cosmopolitan State in Space Politics2022 | Fakulta sociálních věd
- Time-Varying Betas of Banking Sectors2012 | Fakulta sociálních věd
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- Another view on time-varying correlations: The case of stocks and bonds2013 | Matematicko-fyzikální fakulta
- The Prague Stock Exchange Index: An Econometric Analysis2014 | Matematicko-fyzikální fakulta
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Matematicko-fyzikální fakulta
- Holt-Winters method for run-off triangles in claims reserving2023 | Matematicko-fyzikální fakulta
- Modeling of Heart Rate During Exercise2017 | Lékařská fakulta v Plzni