BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Hongfei Fu
SearchCollections
Map detail
Hongfei Fu10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHongfei FuAHongfei FuResearcherApproximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed AutomataWApproximating Acceptanc...preprint / 2013Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision ProcessesWMaximal Cost-Bounded Re...preprint / 2014Polynomial Invariant Generation for Non-deterministic Recursive ProgramsWPolynomial Invariant Ge...preprint / 2020Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic ProgramsWAlgorithmic Analysis of...preprint / 2015Termination Analysis of Probabilistic Programs through Positivstellensatz'sWTermination Analysis of...preprint / 2016Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence RelationsWConcentration-Bound Ana...preprint / 2020Inductive Reachability WitnessesWInductive Reachability ...preprint / 2020Piecewise Analysis of Probabilistic Programs via $k$-InductionWPiecewise Analysis of P...preprint / 2026Guided Diffusion Model for Adversarial PurificationWGuided Diffusion Model ...preprint / 2022
Person9 links

Hongfei Fu

Researcher

PaperApproximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed AutomataAuthorship / preprint / 2013PaperMaximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision ProcessesAuthorship / preprint / 2014PaperPolynomial Invariant Generation for Non-deterministic Recursive ProgramsAuthorship / preprint / 2020PaperAlgorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic ProgramsAuthorship / preprint / 2015PaperTermination Analysis of Probabilistic Programs through Positivstellensatz'sAuthorship / preprint / 2016PaperConcentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence RelationsAuthorship / preprint / 2020PaperInductive Reachability WitnessesAuthorship / preprint / 2020PaperPiecewise Analysis of Probabilistic Programs via kk-InductionAuthorship / preprint / 2026

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)