Alexander Dreyer

	2009
3		Michael Brickenstein, Alexander Dreyer: PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials. J. Symb. Comput. 44(9): 1326-1345 (2009)
	2008
2		Michael Brickenstein, Alexander Dreyer: Gröbner-free normal forms for boolean polynomials. ISSAC 2008: 55-62
	2007
1		Raffaella Gentilini, Klaus Schneider, Alexander Dreyer: Three-valued automated reasoning on analog properties. ACM Great Lakes Symposium on VLSI 2007: 485-488

Coauthor Index

1	Michael Brickenstein	[2] [3]
2	Raffaella Gentilini	[1]
3	Klaus Schneider	[1]

Colors in the list of coauthors