- TrEd 2.0 - newly refactored tree editorPublication without faculty affiliation
- Search Budget in Multi-Objective Refactoring optimization: a Model-Based Empirical Study2022 | Faculty of Mathematics and Physics
- Verification of Use-Cases with FOAM Tool in Context of Cloud Providers2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Crucial service-oriented antipatterns2009 | Faculty of Mathematics and Physics
- Incremental Verification by SMT-based Summary Repair2020 | Faculty of Mathematics and Physics
- OCL Language and Model Driven Development2010 | Faculty of Mathematics and Physics
- DisProt in 2022: improved quality and accessibility of protein intrinsic disorder annotation2022 | Faculty of Science
- Multistage Mixed-precision Iterative Refinement2022 | Faculty of Mathematics and Physics
- Multistage mixed precision iterative refinement2022 | Faculty of Mathematics and Physics
