14 citations · 21 across the 21 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.PL2018★ 14 cited
Size-Change Termination as a Contract
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt +1
Termination is an important but undecidable program property, which has led to a large body of work on static methods for conservatively predicting or enforcing termination. One su…
math.OC2018
Energy estimates and model order reduction for stochastic bilinear systems
Martin Redmann
In this paper, we investigate a large-scale stochastic system with bilinear drift and linear diffusion term. Such high dimensional systems appear for example when discretizing a st…
math.PR2018
Solving linear parabolic rough partial differential equations
Christian Bayer, Denis Belomestny, Martin Redmann +2
We study linear rough partial differential equations in the setting of [Friz and Hairer, Springer, 2014, Chapter 12]. More precisely, we consider a linear parabolic partial differe…