Michael Brickenstein

Statistics

Publications

Citations

243

H-Index

Active since

2009

Affiliations

Mathematical Research Institute of Oberwolfach(Current)

Fraunhofer-Gesellschaft

Fraunhofer Institute for Industrial Mathematics

University of Kaiserslautern

Michael Brickenstein is an author at Mathematical Research Institute of Oberwolfach specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsCircuit ComplexityNumerical AnalysisAutomated ReasoningSystems EngineeringDiscrete Mathematics

Publications per year

2009–2022

Publications

PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials

Michael Brickenstein, Alexander Dreyer · Journal of Symbolic Computation · 2009 · 145 citations

Boolean Function, Computer Algebra, Algebraic Method +2

New developments in the theory of Gröbner bases and applications to formal verification

Michael Brickenstein, Alexander Dreyer, Gert–Martin Greuel et al. · Journal of Pure and Applied Algebra · 2009 · 50 citations

Formal Specification, Engineering, Gröbner Bases +9

POLYBORI: A Gröbner basis framework for Boolean polynomials

Michael Brickenstein, Alexander Dreyer · Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology) · 2022 · 20 citations · Full text

Circuit Complexity, Engineering, Boolean Function +10

Constructive D-Module Theory with Singular

Daniel de Andrés, Michael Brickenstein, Viktor Levandovskyy et al. · Mathematics in Computer Science · 2010 · 17 citations

Higher Category Theory, Universal Algebra, Constructive D-module Theory +1

Obtaining and Solving Systems of Equations in Key Variables Only for the Small Variants of AES

Stanislav Bulygin, Michael Brickenstein · Mathematics in Computer Science · 2010 · 11 citations

Numerical Analysis, Engineering, Key Variables +3

1–5 of 5