Weak Integer Quantifier Elimination Beyond the Linear Case. - Aless Lasaruk; Thomas Sturm 001 (CASC, 2007)

Weak quantifier elimination for the full linear theory of the integers. - Aless Lasaruk; Thomas Sturm 001 (Appl. Algebra Eng. Commun. Comput., 2007)

MIDIAS: An Integrated 2D/3D Sensor System for Safety Applications. - Tobias Hanning; Aless Lasaruk (ACIVS, 2008)

Automatic Verification of the Adequacy of Models for Families of Geometric Objects. - Aless Lasaruk; Thomas Sturm 001 (Automated Deduction in Geometry, 2008)

Calibration of a system of a gray-value camera and an MDSI range camera. - Tobias Hanning; Aless Lasaruk (PerMIS, 2008)

Effective Quantifier Elimination for Presburger Arithmetic with Infinity. - Aless Lasaruk; Thomas Sturm 001 (CASC, 2009)

Calibration and Reconstruction Algorithms for a Handheld 3D Laser Scanner. - Denis V. Lamovsky; Aless Lasaruk (ACIVS, 2011)

Calibration and low-level data fusion algorithms for a parallel 2D/3D-camera. - Tobias Hanning; Aless Lasaruk; Thomas Tatschke (Inf. Fusion, 2011)

Approximate Regularization for Structural Optical Flow Estimation. - Aless Lasaruk (ACIVS, 2012)

An Efficient Model for a Camera Behind a Parallel Refractive Slab. - Aless Lasaruk; Tomás Pajdla (Int. J. Comput. Vis., 2023)