Zhaohui Fu

Available identifiers

zbMath Open fu.zhaohuiMaRDI QIDQ934709

List of research outcomes

Publication	Date of Publication	Type
Energy diminishing implicit-explicit Runge-Kutta methods for gradient flows	2024-08-21	Paper
Equivalent Formulations of the Oxygen Depletion Problem, Other Implicit Moving Boundary Value Problems, and Implications for Numerical Approximation	2023-05-03	Paper
Energy plus maximum bound preserving Runge-Kutta methods for the Allen-Cahn equation	2022-08-05	Paper
Energy-decreasing exponential time differencing Runge-Kutta methods for phase-field models	2022-05-05	Paper
Automated assumption generation for compositional verification	2008-07-30	Paper
Automated Assumption Generation for Compositional Verification	2007-11-29	Paper
Port space allocation with a time dimension	2007-11-29	Paper
On Solving the Partial MAX-SAT Problem	2007-09-04	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4449841	2004-02-11	Paper
Energy diminishing implicit-explicit Runge--Kutta methods for gradient flows	N/A	Paper
Higher-Order Energy-Decreasing Exponential Time Differencing Runge-Kutta methods for Gradient Flows	N/A	Paper

Research outcomes over time

This page was built for person: Zhaohui Fu