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
https://portal.mardi4nfdi.de/entity/Q2743181	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andreas Fröhlich