- SMT-based automatic proof of ASM model refinement2016 | Faculty of Mathematics and Physics
- AsmRefProver - Asmeta Refinement correctness ProverPublication without faculty affiliation
- Formalization of Invariant Patterns for the Invariant Refinement Method2015 | Faculty of Mathematics and Physics
- Multistage Mixed-precision Iterative Refinement2022 | Faculty of Mathematics and Physics
- Paired refinement: Impact of reintegration and rescaling2018 | Faculty of Science
- “Immortality is the lure”. The poets and the fantasies of refinement by genetic engineering2010 | Faculty of Arts
- Multistage mixed precision iterative refinement2022 | Faculty of Mathematics and Physics
- Mixed Precision GMRES-based Iterative Refinement with Recycling +12022 | Faculty of Mathematics and Physics
- Mixed precision GMRES-based iterative refinement with recycling2022 | Faculty of Mathematics and Physics
- Dynamical Refinement of 3D ED data: Comparison of CCD and HPD data2022 | Central Library of Charles University
- Conformation-based refinement of 18-mer DNA structures2023 | Central Library of Charles University
- Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement2011 | Faculty of Mathematics and Physics
- Synthesis and Rietveld refinement of skutterudite-related phase CoSn_1.5 Te_1.52008 | Faculty of Science
- Refining bimodal microstructure of materials with MSTRUCT2014 | Faculty of Mathematics and Physics
- Design of ensemble-based component systems by invariant refinement2013 | Faculty of Mathematics and Physics
- Effect of Grain Refinement on Electrochemical Characteristics in AE42 Magnesium Alloy2011 | Faculty of Mathematics and Physics
- The microstructure changes in the grain refined Al-Si-Mg alloy with the electro hydro pulse treatment2012 | Faculty of Mathematics and Physics
- Developmental refinement of vesicle cycling at Schaffer collateral synapses2013 | Faculty of Medicine in Pilsen
- Effect of grain refinement on corrosion resistance of different magnesium alloys2012 | Faculty of Mathematics and Physics
- MIXED PRECISION ITERATIVE REFINEMENT WITH SPARSE APPROXIMATE INVERSE PRECONDITIONING2023 | Faculty of Mathematics and Physics
- THREE-PRECISION GMRES-BASED ITERATIVE REFINEMENT FOR LEAST SQUARES PROBLEMS2020 | Faculty of Mathematics and Physics
- Grain Refinement after Various Thermo-Mechanical Treatments in AZ80 and ZK60 Magnesium Alloys2012 | Faculty of Mathematics and Physics
- Constructing Domain-Specific Component Frameworks through Architecture Refinement2009 | Faculty of Mathematics and Physics
- Grain Refinement in Al-Mn-Fe-Si Alloys by Severe Plastic Deformation2015 | Faculty of Mathematics and Physics
- Mechanical twinning and microstructure refinement in metastable titanium alloys2016 | Faculty of Mathematics and Physics
- Grain refinement in aluminium alloy AlMgSi1 during ECAP at room temperature2009 | Faculty of Mathematics and Physics
- Electron Diffraction Tomography and Dynamical Refinement for Crystal-Structure Characterization of Nanocrystalline Materials2015 | Faculty of Mathematics and Physics
- Diffraction anisotropy and paired refinement: crystal structure of H33, a protein binder to interleukin 102023 | Central Library of Charles University
- Nickel isotope fractionation during laterite Ni ore smelting and refining: Implications for tracing the sources of Ni in smelter-affected soils2016 | Faculty of Science