Yue Niu
From MaRDI portal
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 |
|---|---|---|
| Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory | 2026-04-02 | Paper |
| FBSDEs under nonlinear domination-monotonicity conditions and optimal controls of linear SDEs IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
| A metalanguage for cost-aware denotational semantics | 2026-02-27 | Paper |
| Multi-dimensional G-backward stochastic differential equations with random horizon Journal of Theoretical Probability | 2025-10-29 | Paper |
| L^p-solutions of multi-dimensional BSDEs with mean reflection Stochastic Processes and their Applications | 2025-06-30 | Paper |
| Automatic Space Bound Analysis for Functional Programs with Garbage Collection EPiC Series in Computing | 2019-07-04 | Paper |
Research outcomes over time
This page was built for person: Yue Niu
