Weak quantifier elimination for the full linear theory of the integers: A uniform generalization of presburger arithmetic A Lasaruk, T Sturm Applicable Algebra in Engineering, Communication and Computing 18, 545-574, 2007 | 36 | 2007 |
Calibration and low-level data fusion algorithms for a parallel 2D/3D-camera T Hanning, A Lasaruk, T Tatschke Information Fusion 12 (1), 37-47, 2011 | 22 | 2011 |
Weak integer quantifier elimination beyond the linear case A Lasaruk, T Sturm International Workshop on Computer Algebra in Scientific Computing, 275-294, 2007 | 13 | 2007 |
Effective quantifier elimination for Presburger arithmetic with infinity A Lasaruk, T Sturm Computer Algebra in Scientific Computing: 11th International Workshop, CASC …, 2009 | 11 | 2009 |
Calibration and reconstruction algorithms for a handheld 3D laser scanner D Lamovsky, A Lasaruk International Conference on advanced concepts for intelligent vision systems …, 2011 | 5 | 2011 |
Device and method for calibrating a camera system of a vehicle A Lasaruk, T Ruland US Patent 11,062,478, 2021 | 3 | 2021 |
Approximate regularization for structural optical flow estimation A Lasaruk Advanced Concepts for Intelligent Vision Systems: 14th International …, 2012 | 3 | 2012 |
Parametrisches integer-solving A Lasaruk Diploma Thesis, Universität Passau, D-94030 Passau, Germany (in German, 2005), 2005 | 3 | 2005 |
An efficient model for a camera behind a parallel refractive slab A Lasaruk, T Pajdla International Journal of Computer Vision 131 (2), 431-452, 2023 | 2 | 2023 |
Automatic verification of the adequacy of models for families of geometric objects A Lasaruk, T Sturm Automated Deduction in Geometry: 7th International Workshop, ADG 2008 …, 2011 | 2 | 2011 |
Method and apparatus for the autocalibration of a vehicle camera system A Lasaruk, F Hachfeld US Patent 10,554,951, 2020 | 1 | 2020 |
MIDIAS: an integrated 2d/3d sensor system for safety applications T Hanning, A Lasaruk International Conference on Advanced Concepts for Intelligent Vision Systems …, 2008 | 1 | 2008 |
Calibration of a system of a gray-value camera and an MDSI range camera T Hanning, A Lasaruk Proceedings of the 8th Workshop on Performance Metrics for Intelligent …, 2008 | 1 | 2008 |
MDSI range camera calibration T Hanning, A Lasaruk, R Wertheimer Advanced Microsystems for Automotive Applications 2008, 49-61, 2008 | 1 | 2008 |
Synchronized camera system having two different cameras A Lasaruk, R Müller, S Hachfeld, D Krökel, S Heinrich US Patent 12,015,840, 2024 | | 2024 |
Assembly and measurement of an assembly for calibrating a camera M Alexovski, I Franz, A Lasaruk US Patent 11,967,110, 2024 | | 2024 |
Calibration of a Vehicle Sensor M Alexovski, A Lasaruk US Patent App. 18/472,425, 2024 | | 2024 |
Method for rectification of images and/or image points, camera-based system and vehicle A Lasaruk US Patent App. 18/257,663, 2024 | | 2024 |
Method for capturing and processing a digital panoramic image S Görmer, A Lasaruk, S Manjunatha US Patent App. 17/457,140, 2022 | | 2022 |
Camera system having different shutter modes D Kroekel, S Hegemann, S Heinrich, S Hachfeld, A Lasaruk, R Mueller US Patent 11,146,719, 2021 | | 2021 |