PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials. - Michael Brickenstein; Alexander Dreyer (J. Symb. Comput., 2009)

Network-driven Boolean Normal Forms. - Michael Brickenstein; Alexander Dreyer (Verification over discrete-continuous boundaries, 2010)

Constructive $D$-module Theory with textsc{Singular} - Daniel Andres; Michael Brickenstein; Viktor Levandovskyy; Jorge Martín-Morales; Hans Schönemann (CoRR, 2010)

Constructive D-Module Theory with Singular. - Daniel Andres; Michael Brickenstein; Viktor Levandovskyy; Jorge Martín-Morales; Hans Schönemann (Math. Comput. Sci., 2010)

Obtaining and Solving Systems of Equations in Key Variables Only for the Small Variants of AES. - Stanislav Bulygin; Michael Brickenstein (Math. Comput. Sci., 2010)

swMATH - A New Information Service for Mathematical Software. - Sebastian Bönisch; Michael Brickenstein; Hagen Chrapary; Gert-Martin Greuel; Wolfram Sperber (MKM/Calculemus/DML, 2013)

Gröbner-free normal forms for Boolean polynomials. - Michael Brickenstein; Alexander Dreyer (J. Symb. Comput., 2013)