Aless Lasaruk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

4 Aless Lasaruk, Thomas Sturm: Effective Quantifier Elimination for Presburger Arithmetic with Infinity. CASC 2009: 195-212

2008

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

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)

	2009
4		Aless Lasaruk, Thomas Sturm: Effective Quantifier Elimination for Presburger Arithmetic with Infinity. CASC 2009: 195-212
	2008
3		Tobias Hanning, Aless Lasaruk: MIDIAS: An Integrated 2D/3D Sensor System for Safety Applications. ACIVS 2008: 194-205
	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)

Coauthor Index

1 Tobias Hanning [3]

2 Thomas Sturm [1] [2] [4]

Colors in the list of coauthors