Alexander Dreyer

2008
2	EE	Michael Brickenstein, Alexander Dreyer: Gröbner-free normal forms for boolean polynomials. ISSAC 2008: 55-62
2007
1	EE	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]
2	Raffaella Gentilini	[1]
3	Klaus Schneider	[1]

Colors in the list of coauthors