Andreas Fröhlich

From MaRDI portal
Person:504996

Available identifiers

zbMath Open frohlich.andreas-mMaRDI QIDQ504996

List of research outcomes





PublicationDate of PublicationType
XOR local search for Boolean Brent equations2022-03-22Paper
Parameter uncertainty and reserve risk under Solvency II2018-08-28Paper
Complexity of fixed-size bit-vector logics2017-01-18Paper
Evaluating CDCL Variable Scoring Schemes2015-11-20Paper
Modelling parameter uncertainty for risk capital calculation2015-07-29Paper
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic2014-10-14Paper
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses2014-09-26Paper
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)2014-09-26Paper
bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR2013-06-14Paper
More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding2013-06-14Paper
Improving stochastic local search for SAT with a new probability distribution2010-09-29Paper
$H^\infty $ calculus and dilatations2008-01-23Paper
The Stokes operator in weighted \(L^q\)-spaces. II: Weighted resolvent estimates and maximal \(L^p\)-regularity2007-11-05Paper
Solutions of the Navier-Stokes initial value problem in weightedLq-spaces2004-08-10Paper
https://portal.mardi4nfdi.de/entity/Q44624942004-05-18Paper
The Stokes operator in weighted \(L^q\)-spaces. I: Weighted estimates for the Stokes resolvent problem in a half space2003-08-27Paper
https://portal.mardi4nfdi.de/entity/Q45515722002-10-31Paper
Maximal regularity for the non-stationary Stokes system in an aperture domain.2002-01-01Paper
Stokes- and Navier-Stokes equations in weighted function spaces2001-09-26Paper
https://portal.mardi4nfdi.de/entity/Q39981431992-09-17Paper
https://portal.mardi4nfdi.de/entity/Q37004371984-01-01Paper

Research outcomes over time

This page was built for person: Andreas Fröhlich