- SMT-based automatic proof of ASM model refinement2016 | Faculty of Mathematics and Physics
- Potent, Highly Selective, and Orally Bioavailable Gem-Difluorinated Monocationic Inhibitors of Neuronal Nitric Oxide Synthase2010 | First Faculty of Medicine
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Faculty of Mathematics and Physics
- AsmRefProver - Asmeta Refinement correctness ProverPublication without faculty affiliation
- How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study2016 | Faculty of Mathematics and Physics
- CUNI Systems for the Unsupervised News Translation Task in WMT 20192019 | Faculty of Mathematics and Physics
- Practical concept of traveltime inversion of simulated P-wave vertical seismic profile data in weak to moderate arbitrary anisotropy2020 | Faculty of Mathematics and Physics