Andreas Fröhlich

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
XOR local search for Boolean Brent equations	2022-03-22	Paper
Parameter uncertainty and reserve risk under Solvency II Insurance Mathematics & Economics	2018-08-28	Paper
Complexity of fixed-size bit-vector logics Theory of Computing Systems	2017-01-18	Paper
Evaluating CDCL variable scoring schemes Lecture Notes in Computer Science	2015-11-20	Paper
Modelling parameter uncertainty for risk capital calculation European Actuarial Journal	2015-07-29	Paper
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic Mathematical Foundations of Computer Science 2014	2014-10-14	Paper
Improving implementation of SLS solvers for SAT and new heuristics for $k$-SAT with long clauses Lecture Notes in Computer Science	2014-09-26	Paper
Everything you always wanted to know about blocked sets (but were afraid to ask) Lecture Notes in Computer Science	2014-09-26	Paper
bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR Automated Deduction – CADE-24	2013-06-14	Paper
More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding Computer Science – Theory and Applications	2013-06-14	Paper
Improving stochastic local search for SAT with a new probability distribution Theory and Applications of Satisfiability Testing – SAT 2010	2010-09-29	Paper
$H^\infty $ calculus and dilatations Bulletin de la Société mathématique de France	2008-01-23	Paper
The Stokes operator in weighted $L^q$-spaces. II: Weighted resolvent estimates and maximal $L^p$-regularity Mathematische Annalen	2007-11-05	Paper
Solutions of the Navier-Stokes initial value problem in weightedLq-spaces Mathematische Nachrichten	2004-08-10	Paper
scientific article; zbMATH DE number 2066061 (Why is no real title available?)	2004-05-18	Paper
The Stokes operator in weighted $L^q$-spaces. I: Weighted estimates for the Stokes resolvent problem in a half space Journal of Mathematical Fluid Mechanics	2003-08-27	Paper
scientific article; zbMATH DE number 1791643 (Why is no real title available?)	2002-10-31	Paper
Maximal regularity for the non-stationary Stokes system in an aperture domain. Journal of Evolution Equations	2002-01-01	Paper
Stokes- and Navier-Stokes equations in weighted function spaces Berichte aus der Mathematik	2001-09-26	Paper
scientific article; zbMATH DE number 49351 (Why is no real title available?)	1992-09-17	Paper
scientific article; zbMATH DE number 3925768 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: Andreas Fröhlich