Concepedia

Oliver Wienand

OW

7

Publications

205

Citations

7

H-Index

2006

Active since

Affiliations

University of Kaiserslautern(Current)

University of California, Berkeley

Otto-von-Guericke University Magdeburg

Oliver Wienand is an author at University of Kaiserslautern specializing in discrete mathematics, graph theory, and formal specification.

Top concepts

Graph TheoryDiscrete MathematicsEngineeringVerificationFormal MethodsAutomated ReasoningFormal VerificationFormal SpecificationStatisticsSoftware Design

Publications per year

2006–2022

7

Publications

7

Convex Rank Tests and Semigraphoids

Jason Morton, Lior Pachter, Anne Shiu et al. · SIAM Journal on Discrete Mathematics · 2009 · 76 citations

Order Theory, Graph Theory, Rank Tests +12

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

Three Counter-Examples on Semi-Graphoids

Raymond Hemmecke, Jason Morton, Anne Shiu et al. · Combinatorics Probability Computing · 2007 · 23 citations

Geometric Graph Theory, Graph Theory, Reflection Arrangement +9

The Gröbner basis of the ideal of vanishing polynomials

Gert–Martin Greuel, Frank Seelisch, Oliver Wienand · Journal of Symbolic Computation · 2010 · 17 citations · Full text

Real Algebraic Geometry, Schubert Calculus, Commutative Algebra +1

The humoral immune response more than one year after SARS-CoV-2 infection: low detection rate of anti-nucleocapsid antibodies via Euroimmun ELISA

Gregor Paul, Philipp Strnad, Oliver Wienand et al. · Infection · 2022 · 17 citations · Full text

Rows per page

1–5 of 7