Yue Niu

From MaRDI portal
Person:5222978



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!

PublicationDate of PublicationType
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory2026-04-02Paper
FBSDEs under nonlinear domination-monotonicity conditions and optimal controls of linear SDEs
IEEE Transactions on Automatic Control
2026-03-17Paper
A metalanguage for cost-aware denotational semantics2026-02-27Paper
Multi-dimensional G-backward stochastic differential equations with random horizon
Journal of Theoretical Probability
2025-10-29Paper
L^p-solutions of multi-dimensional BSDEs with mean reflection
Stochastic Processes and their Applications
2025-06-30Paper
Automatic Space Bound Analysis for Functional Programs with Garbage Collection
EPiC Series in Computing
2019-07-04Paper


Research outcomes over time


This page was built for person: Yue Niu