Alexander Dreyer

According to our database1, Alexander Dreyer authored at least 9 papers between 2007 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Gröbner-free normal forms for Boolean polynomials.
J. Symb. Comput., 2013

Proof logging for computer algebra based SMT solving.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

2011
STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Fast and Robust Symbolic Model Order Reduction with Analog Insydes.
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010
Network-driven Boolean Normal Forms.
Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010

2009
PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials.
J. Symb. Comput., 2009

Solving hard instances in QF-BV combining Boolean reasoning with computer algebra.
Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

2007
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Three-valued automated reasoning on analog properties.
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007


  Loading...