Hongfei Fu
From MaRDI portal
Hongfei Fu Q6166144
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 |
|---|---|---|
| Automated tail bound analysis for probabilistic recurrence relations | 2024-02-01 | Paper |
| New approaches for almost-sure termination of probabilistic programs Programming Languages and Systems | 2023-08-02 | Paper |
| Affine Loop Invariant Generation via Matrix Algebra | 2022-12-07 | Paper |
| Computational Approaches for Stochastic Shortest Path on Succinct MDPs | 2018-04-24 | Paper |
| Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems | 2012-08-31 | Paper |
| Decidability of behavioral equivalences in process calculi with name scoping Fundamentals of Software Engineering | 2012-06-29 | Paper |
Research outcomes over time
This page was built for person: Hongfei Fu
