- Optimalita a interpolace2007 | Matematicko-fyzikální fakulta
- On Interpolants and Variable Assignments2014 | Matematicko-fyzikální fakulta
- Interpolace v modálních logikách2006 | Filozofická fakulta
- Three-Monotone Interpolation2015 | Matematicko-fyzikální fakulta
- Farkas-Based Tree Interpolation2020 | Matematicko-fyzikální fakulta
- Leveraging Interpolant Strength in Model Checking2012 | Matematicko-fyzikální fakulta
- Decomposing Farkas Interpolants2019 | Matematicko-fyzikální fakulta
- PVAIR: Partial Variable Assignment InterpolatoR2016 | Matematicko-fyzikální fakulta
- A FEASIBLE INTERPOLATION FOR RANDOM RESOLUTION2017 | Matematicko-fyzikální fakulta
- Areal interpolation of spatial interaction data2019 | Přírodovědecká fakulta
- C-2 Hermite interpolation by Pythagorean-hodograph quintic triarcs2014 | Matematicko-fyzikální fakulta
- TWO FACTORS AFFECTING THE SPEED OF INTERPOLATION WITHIN RAY CELLS2021 | Matematicko-fyzikální fakulta
- C2 Hermitovská interpolace Pythagorejskými křivkami2007 | Publikace bez příslušnosti k fakultě
- Uniformní interpolace a výrokové kvantifikátory v modální logice2007 | Filozofická fakulta
- Limiting variants of Krasnosel'skiĭ's compact interpolation theorem2014 | Matematicko-fyzikální fakulta
- Normal forms, Distributive laws, and Uniform interpolants2008 | Filozofická fakulta
- Interpolace překladových modelů pro doménovou adaptaci v TectoMT2015 | Matematicko-fyzikální fakulta
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- Interpolation within ray tubes - state of the art2012 | Matematicko-fyzikální fakulta
- Hermitovská interpolace s Eukleidovskými křivkami s Pythagorejským hodografem2009 | Matematicko-fyzikální fakulta
- A LIMITATION ON THE KPT INTERPOLATION2020 | Matematicko-fyzikální fakulta
- Interpolation of uniformly absolutely continuous operators2013 | Matematicko-fyzikální fakulta
- Prostory funkcí. Nerovnosti a interpolace2009 | Matematicko-fyzikální fakulta
- Prostory funkcí nerovnosti a interpolace2007 | Matematicko-fyzikální fakulta
- Exploiting partial variable assignment in interpolation-based model checking2019 | Matematicko-fyzikální fakulta
- Některé nové výsledky o napětí získaném interpolačními metodami pro okrajovou úlohu lineární viskoelasticity2005 | Matematicko-fyzikální fakulta
- Forma dostupné interpolace pro Fregehosystémy konstantní hloubky2010 | Matematicko-fyzikální fakulta
- Nisan-Wigderson generatos in proof systems with forms of interpolation2011 | Matematicko-fyzikální fakulta
- C-1 Hermite interpolation with spatial Pythagorean-hodograph cubic biarcs2014 | Matematicko-fyzikální fakulta
- Evaluation of Interpolation Methods in InSAR DEM Derivation from ERS Tandem Data2011 | Přírodovědecká fakulta