Publications
-
M. Brickenstein, A. Dreyer,
PolyBoRi:
A framework for Gröbner basis computations with Boolean
polynomials,
Journal of Symbolic Computation,
Volume 44, Issue 9 (2009),
September 2009,
pp. 1326–1345,
doi:10.1016/j.jsc.2008.02.017
- M. Brickenstein, A. Dreyer,
Gröbner-free normal forms for boolean polynomials,
ISSAC '08: Proceedings of the twenty-first international
symposium on symbolic and algebraic computation,
Linz/Hagenberg, Austria,
ACM, New York, NY, USA (2008), pp. 55-62,
Online Version
- M. Brickenstein, A. Dreyer, G. Greuel, M. Wedler, O. Wienand,
New developments in the theory of Groebner bases and applications to
formal verification,
Journal of Pure and Applied Algebra,
Special issue on
Theoretical Effectivity and Practical Effectivity of
Gröbner Bases,
Volume 213, Issue 8, August 2009,
pp. 1612–1635,
doi:10.1016/j.jpaa.2008.11.043
–
Preprint
- M. Brickenstein, A. Dreyer,
PolyBoRi: A Gröbner Basis Framework for Boolean
Polynomials,
Reports of Fraunhofer ITWM, No. 122,
Kaiserslautern, Germany, 2007.
- M. Brickenstein, A. Dreyer,
PolyBoRi: A framework for Gröbner basis computations with
Boolean polynomials,
Electronic Proceedings of the MEGA 2007 - Effective Methods in
Algebraic Geometry,
Strobl, Austria, June 2007,
Online Version
- R. Gentilini, K. Schneider, A. Dreyer,
Combining Interval Arithmetic and Three-Valued Temporal Logics
for the Verification of Analog Systems,
10. Workshop Methoden und Beschreibungssprachen zur Modellierung
und Verifikation von Schaltungen und Systemen (MBMV '07),
Erlangen, Germany, Mar. 2007.
- R. Gentilini, K. Schneider, A. Dreyer,
Three-Valued Automated Reasoning on Analog Properties,
17th ACM Great Lakes Symposium on VLSI (GLSVLSI '07),
ACM Press, Stresa-Lago Maggiore, Italy, Mar. 2007.
- A. Dreyer,
Interval Methods for Analog Circuits,
Reports of Fraunhofer ITWM, No. 97,
Kaiserslautern, Germany, 2006.
- A. Dreyer,
Resolving Parameter Dependences for Interval Analysis of Linear
Analog Circuits,
Proc. 9th International Workshop on Symbolic
Methods and Applications in Circuit Design (SMACD 2006),
Florence, Italy, Oct. 2006.
- R. Sommer, D. Platte, J. Broz, A. Dreyer, T. Halfmann, E. Barke,
Automatic Nonlinear Behavioral Model Generation using Sequential
Equation Structures,
Proc. 9th International Workshop on Symbolic Methods and
Applications in Circuit Design (SMACD 2006),
Florence, Italy, Oct. 2006,
Online Version
- A. Dreyer,
Interval Analysis of Linear Analog Circuits,
Proc. SCAN 06 - 12th GAMM - IMACS International Symposion on
Scientific Computing, Computer Arithmetic and Validated
Numerics,
Duisburg, Germany, Sep. 2006,
IEEE Computer Society Order Number E2821, ISBN-13: 978-0-7695-2821-2,
Online Version
- D. Platte, R. Sommer, J. Broz, A. Dreyer, T. Halfmann, E. Barke,
Automatische nichtlineare Verhaltensmodellgenerierung mit
sequentieller Gleichungsstruktur,
9. ITG/GMM-Fachtagung Analog '06
: Entwicklung von Analogschaltungen mit CAE-Methoden,
Dresden, Germany, Sep. 2006.
- A. Dreyer, T. Halfmann, J. Broz, J. Kataja, M. Antila,
Simulation Model of an Active Noise Control System,
Euronoise 2006 - 6th European Conference on Noise Control,
Acta Acustica united with Acustica Vol. 92, (2006) Suppl. 1, S 14,
Tampere, Finland, May 2006.
- A. Dreyer,
Interval Analysis of Analog Circuits with
Component Tolerances
,
PhD-Thesis, Shaker Verlag, 2005.
- A. Dreyer,
Combination of Symbolic and Interval-Numeric Methods for
Analysis of Analog Circuits,
Proc. 8th International Workshop on Symbolic Methods and
Applications in Circuit Design (SMACD 2004),
Wroclaw, Poland, Sep. 2004.
- A. Dreyer,
Primary Decomposition of Moduls,
Diplomarbeit, Universität Kaiserslautern, 2001.
|
+49 (0) 6 31 / 3 16 00-43 18
+49 (0) 6 31 / 3 16 00-53 18
