Andreas Fröhlich

Available identifiers

zbMath Open frohlich.andreas-mMaRDI QIDQ504996

List of research outcomes

Publication	Date of Publication	Type
XOR local search for Boolean Brent equations	2022-03-22	Paper
Parameter uncertainty and reserve risk under Solvency II	2018-08-28	Paper
Complexity of fixed-size bit-vector logics	2017-01-18	Paper
Evaluating CDCL Variable Scoring Schemes	2015-11-20	Paper
Modelling parameter uncertainty for risk capital calculation	2015-07-29	Paper
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic	2014-10-14	Paper
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses	2014-09-26	Paper
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)	2014-09-26	Paper
bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR	2013-06-14	Paper
More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding	2013-06-14	Paper
Improving stochastic local search for SAT with a new probability distribution	2010-09-29	Paper
$H^\infty $ calculus and dilatations	2008-01-23	Paper
The Stokes operator in weighted \(L^q\)-spaces. II: Weighted resolvent estimates and maximal \(L^p\)-regularity	2007-11-05	Paper
Solutions of the Navier-Stokes initial value problem in weightedLq-spaces	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4462494	2004-05-18	Paper
The Stokes operator in weighted \(L^q\)-spaces. I: Weighted estimates for the Stokes resolvent problem in a half space	2003-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4551572	2002-10-31	Paper
Maximal regularity for the non-stationary Stokes system in an aperture domain.	2002-01-01	Paper
Stokes- and Navier-Stokes equations in weighted function spaces	2001-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3998143	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3700437	1984-01-01	Paper

Research outcomes over time

This page was built for person: Andreas Fröhlich