Alexander Dreyer

	2011
5		Matthias Hauser, Christian Salzig, Alexander Dreyer: Fast and Robust Symbolic Model Order Reduction with Analog Insydes. CASC 2011: 215-225
4		Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel: STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra. DATE 2011: 155-160
	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	Gert-Martin Greuel	[4]
4	Matthias Hauser	[5]
5	Wolfgang Kunz	[4]
6	Evgeny Pavlenko	[4]
7	Christian Salzig	[5]
8	Klaus Schneider	[1]
9	Frank Seelisch	[4]
10	Dominik Stoffel	[4]
11	Markus Wedler	[4]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page