| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 7 |      | Denis V. Lamovsky, Aless Lasaruk: Calibration and Reconstruction Algorithms for a Handheld 3D Laser Scanner. ACIVS 2011: 635-646 |
| 6 | | Tobias Hanning, Aless Lasaruk, T. Tatschke: Calibration and low-level data fusion algorithms for a parallel 2D/3D-camera. Information Fusion 12(1): 37-47 (2011) |
| 2009 | ||
| 5 | | Aless Lasaruk, Thomas Sturm: Effective Quantifier Elimination for Presburger Arithmetic with Infinity. CASC 2009: 195-212 |
| 2008 | ||
| 4 | | Tobias Hanning, Aless Lasaruk: MIDIAS: An Integrated 2D/3D Sensor System for Safety Applications. ACIVS 2008: 194-205 |
| 3 | | Aless Lasaruk, Thomas Sturm: Automatic Verification of the Adequacy of Models for Families of Geometric Objects. Automated Deduction in Geometry 2008: 116-140 |
| 2007 | ||
| 2 | | Aless Lasaruk, Thomas Sturm: Weak Integer Quantifier Elimination Beyond the Linear Case. CASC 2007: 275-294 |
| 1 | | Aless Lasaruk, Thomas Sturm: Weak quantifier elimination for the full linear theory of the integers. Appl. Algebra Eng. Commun. Comput. 18(6): 545-574 (2007) |
| 1 | Tobias Hanning | [4] [6] |
| 2 | Denis V. Lamovsky | [7] |
| 3 | Thomas Sturm | [1] [2] [3] [5] |
| 4 | T. Tatschke | [6] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page