- PROMISE: high-level mission specification for multiple robots2020 | Matematicko-fyzikální fakulta
- High-level mission specification for multiple robots2019 | Matematicko-fyzikální fakulta
- Timing of accreting neutron stars with future X-ray instruments: towards new constraints on dense matter equation of state2023 | Matematicko-fyzikální fakulta