- Optimality and Interpolation2007 | Faculty of Mathematics and Physics
- On Interpolants and Variable Assignments2014 | Faculty of Mathematics and Physics
- Interpolation in Modal Logics2006 | Faculty of Arts
- Three-Monotone Interpolation2015 | Faculty of Mathematics and Physics
- Farkas-Based Tree Interpolation2020 | Faculty of Mathematics and Physics
- Leveraging Interpolant Strength in Model Checking2012 | Faculty of Mathematics and Physics
- Decomposing Farkas Interpolants2019 | Faculty of Mathematics and Physics
- PVAIR: Partial Variable Assignment InterpolatoR2016 | Faculty of Mathematics and Physics
- A FEASIBLE INTERPOLATION FOR RANDOM RESOLUTION2017 | Faculty of Mathematics and Physics
- Areal interpolation of spatial interaction data2019 | Faculty of Science
- C-2 Hermite interpolation by Pythagorean-hodograph quintic triarcs2014 | Faculty of Mathematics and Physics
- TWO FACTORS AFFECTING THE SPEED OF INTERPOLATION WITHIN RAY CELLS2021 | Faculty of Mathematics and Physics
- C2 Hermite interpolation by Pythagorean hodograph space curves2007 | Publication without faculty affiliation
- Uniform interpolation and propositional quantifiers in modal logics2007 | Faculty of Arts
- Limiting variants of Krasnosel'skiĭ's compact interpolation theorem2014 | Faculty of Mathematics and Physics
- Normal forms, Distributive laws, and Uniform interpolants2008 | Faculty of Arts
- Translation Model Interpolation for Domain Adaptation in TectoMT2015 | Faculty of Mathematics and Physics
- Using linear algebra in decomposition of Farkas interpolants2022 | Faculty of Mathematics and Physics
- Interpolation within ray tubes - state of the art2012 | Faculty of Mathematics and Physics
- Hermite Interpolation with Euclidean Pythagorean Hodograph Curves2009 | Faculty of Mathematics and Physics
- A LIMITATION ON THE KPT INTERPOLATION2020 | Faculty of Mathematics and Physics
- Interpolation of uniformly absolutely continuous operators2013 | Faculty of Mathematics and Physics
- Function Spaces. Inequalities and Interpolation2009 | Faculty of Mathematics and Physics
- Function Spaces Inequalities and Interpolation2007 | Faculty of Mathematics and Physics
- Exploiting partial variable assignment in interpolation-based model checking2019 | Faculty of Mathematics and Physics
- Stress obtained by interpolation methods for a boundary value problem in linear viscoelasticity2005 | Faculty of Mathematics and Physics
- A form of feasible interpolation for constant depth frege systems2010 | Faculty of Mathematics and Physics
- Nisan-Wigderson generatos in proof systems with forms of interpolation2011 | Faculty of Mathematics and Physics
- C-1 Hermite interpolation with spatial Pythagorean-hodograph cubic biarcs2014 | Faculty of Mathematics and Physics
- Evaluation of Interpolation Methods in InSAR DEM Derivation from ERS Tandem Data2011 | Faculty of Science