Alexander Dreyer
发表
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2013,
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Klaus Schneider,
Raffaella Gentilini,
Alexander Dreyer,
2007,
MBMV.
Marko Antila,
Jari Kataja,
Alexander Dreyer,
2006
.
Klaus Schneider,
Raffaella Gentilini,
Alexander Dreyer,
2007,
GLSVLSI '07.
Michael Brickenstein,
Alexander Dreyer,
Michael Brickenstein,
2008,
ISSAC '08.
Michael Brickenstein,
Alexander Dreyer,
Michael Brickenstein,
2010,
Verification over discrete-continuous boundaries.
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2009,
Algorithms and Applications for Next Generation SAT Solvers.
Michael Brickenstein,
Alexander Dreyer,
Michael Brickenstein,
2009,
J. Symb. Comput..
Markus Wedler,
Dominik Stoffel,
Wolfgang Kunz,
2011,
2011 Design, Automation & Test in Europe.
Michael Brickenstein,
Alexander Dreyer,
2013,
J. Symb. Comput..
Matthias Hauser,
Alexander Dreyer,
Christian Salzig,
2011,
CASC.
Michael Brickenstein,
Alexander Dreyer,
Michael Brickenstein,
2007
.
Alexander Dreyer,
2006
.
Alexander Dreyer,
2004
.