| PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials M Brickenstein, A Dreyer Journal of Symbolic Computation 44 (9), 1326-1345, 2009 | 222 | 2009 |
| New developments in the theory of Gröbner bases and applications to formal verification M Brickenstein, A Dreyer, GM Greuel, M Wedler, O Wienand Journal of Pure and Applied Algebra 213 (8), 1612-1635, 2009 | 68 | 2009 |
| Slimgb: Gröbner bases with slim polynomials M Brickenstein Revista Matemática Complutense 23, 453-466, 2010 | 59 | 2010 |
| Constructive D-Module Theory with Singular D Andres, M Brickenstein, V Levandovskyy, J Martín-Morales, ... Mathematics in Computer Science 4, 359-383, 2010 | 23 | 2010 |
| Obtaining and solving systems of equations in key variables only for the small variants of AES S Bulygin, M Brickenstein Mathematics in Computer Science 3, 185-200, 2010 | 22 | 2010 |
| Boolean Gröbner Bases: Theory, Algorithms and Applications M Brickenstein Logos Verlag Berlin GmbH, 2010 | 19 | 2010 |
| Gröbner-free normal forms for Boolean polynomials M Brickenstein, A Dreyer Journal of Symbolic Computation 48, 37-53, 2013 | 13* | 2013 |
| swMATH–a new information service for mathematical software S Bönisch, M Brickenstein, H Chrapary, GM Greuel, W Sperber International conference on intelligent computer mathematics, 369-373, 2013 | 7 | 2013 |
| Gröbner bases with slim polynomials M Brickenstein Reports in Comp. Alg, 0 | 4 | |
| Network-driven Boolean normal forms M Brickenstein, A Dreyer Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2010 | 2 | 2010 |
| swMATH—citations for your mathematical software S Bönisch, M Brickenstein, GM Greuel, W Sperber Gesellschaft für Informatik eV, 2012 | | 2012 |
| Verifikation digitaler Systeme mit PolyBoRi M Brickenstein, A Dreyer | | 2011 |
| Verifikation digitaler Systeme mit P OLY BORI–Ein Fallbeispiel M Brickenstein, A Dreyer Gesellschaft für Informatik eV, Fachgruppe Computeralgebra, 2011 | | 2011 |
| Verifikation digitaler Systeme mit POLYBORI–Ein Fallbeispiel M Brickenstein, A Dreyer Computeralgebra-Rundbrief, 13, 0 | | |
Alexander DreyerHead of SupportBestätigte E-Mail-Adresse bei 3r4u.de
