- Heuristics for the State Space Division2007 | Faculty of Mathematics and Physics
- Streaming state space: a method of distributed model verification +12007 | Faculty of Mathematics and Physics
- Balancing On-the-fly Generation and Pre-generation of State Space2008 | Faculty of Mathematics and Physics
- State Space Dimensionality Reduction in Markov Decision Processes2008 | Faculty of Mathematics and Physics
- State space analysis of the Prague Stock Exchange index2014 | Faculty of Mathematics and Physics
- State-space modeling of claims reserves in non-life insurance +12021 | Faculty of Mathematics and Physics
- Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking2019 | Faculty of Mathematics and Physics
- Applying state space models to stochastic claims reserving2021 | Faculty of Mathematics and Physics
- On conditional covariance modelling: An approach using state space models2016 | Faculty of Mathematics and Physics
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Faculty of Mathematics and Physics
- HTN or State Space - Who Should Do Planning in Your Game?2013 | Faculty of Mathematics and Physics
- Automatic public state space abstraction in imperfect information games2015 | Faculty of Mathematics and Physics
- Extraction of Component-Environment Interaction Model Using State Space Traversal2010 | Faculty of Mathematics and Physics
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | Faculty of Mathematics and Physics
- Stochastic approaches to reserving in non-life insurance2021 | Faculty of Mathematics and Physics
- On Comparing Various Modelling Schemes: The Case of the Prague Stock Exchange Index2014 | Faculty of Mathematics and Physics
- Abstract Pathfinder2012 | Faculty of Mathematics and Physics
- The Big Match in Small Space (Extended Abstract)2016 | Faculty of Mathematics and Physics
- Time-varying Betas of the Banking SectorPublication without faculty affiliation
- Predicate Abstraction in Java Pathfinder2013 | Faculty of Mathematics and Physics
- Responsible Cosmopolitan State in Space Politics2022 | Faculty of Social Sciences
- Time-Varying Betas of Banking Sectors2012 | Faculty of Social Sciences
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublication without faculty affiliation
- Another view on time-varying correlations: The case of stocks and bonds2013 | Faculty of Mathematics and Physics
- The Prague Stock Exchange Index: An Econometric Analysis2014 | Faculty of Mathematics and Physics
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Faculty of Mathematics and Physics
- Holt-Winters method for run-off triangles in claims reserving2023 | Faculty of Mathematics and Physics
- Modeling of Heart Rate During Exercise2017 | Faculty of Medicine in Pilsen