Concepedia

Hongfei Fu

HF

10

Publications

270

Citations

10

H-Index

2016

Active since

Affiliations

Institute of Science and Technology Austria(Current)

Shanghai Jiao Tong University

Sharif University of Technology

Institute of Software

East China Normal University

Hongfei Fu is an author at Institute of Science and Technology Austria specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationProbabilityAutomated ReasoningMathematical ProgrammingComputational ComplexityVerification

Publications per year

2016–2024

10

Publications

10

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs

Krishnendu Chatterjee, Hongfei Fu, Petr Novotný et al. · 2016 · 72 citations

Mathematical Programming, Engineering, Computational Complexity +20

Cost analysis of nondeterministic probabilistic programs

Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady et al. · 2019 · 51 citations

Mathematical Programming, Cost Allocation, Engineering +15

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

Krishnendu Chatterjee, Hongfei Fu, Petr Novotný et al. · ACM Transactions on Programming Languages and Systems · 2018 · 47 citations

Mathematical Programming, Engineering, Computational Complexity +20

Polynomial reachability witnesses via Stellensätze

Ali Al Asadi, Krishnendu Chatterjee, Hongfei Fu et al. · 2021 · 25 citations

Program Checking, Engineering, Reachability Problem +19

Quantitative analysis of assertion violations in probabilistic programs

Jinyi Wang, Yican Sun, Hongfei Fu et al. · 2021 · 16 citations

Mathematical Programming, Program Checking, Engineering +20

Rows per page

1–5 of 10