| |
| 2008 | ||
|---|---|---|
| 3 | EE | Tobias Hanning, Aless Lasaruk: MIDIAS: An Integrated 2D/3D Sensor System for Safety Applications. ACIVS 2008: 194-205 |
| 2007 | ||
| 2 | EE | Aless Lasaruk, Thomas Sturm: Weak Integer Quantifier Elimination Beyond the Linear Case. CASC 2007: 275-294 |
| 1 | EE | 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 | [3] |
| 2 | Thomas Sturm | [1] [2] |