- SMT-based automatic proof of ASM model refinement2016 | Matematicko-fyzikální fakulta
- Učinné, vysoce selektivní Gem-Difluorované monokationické inhibitory neuronální NO syntázy s orální biologickou dostupností.2010 | 1. lékařská fakulta
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Matematicko-fyzikální fakulta
- AsmRefProver - Asmeta Refinement correctness ProverPublikace bez příslušnosti k fakultě
- How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study2016 | Matematicko-fyzikální fakulta
- Systémy Univerzity Karlovy pro soutěž ve strojovém překladu novinových textů bez použití paralelních dat2019 | Matematicko-fyzikální fakulta
- Practical concept of traveltime inversion of simulated P-wave vertical seismic profile data in weak to moderate arbitrary anisotropy2020 | Matematicko-fyzikální fakulta
