Zhaohui Fu

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
Energy diminishing implicit-explicit Runge-Kutta methods for gradient flows Mathematics of Computation	2024-08-21	Paper
Equivalent Formulations of the Oxygen Depletion Problem, Other Implicit Moving Boundary Value Problems, and Implications for Numerical Approximation SIAM Journal on Applied Mathematics	2023-05-03	Paper
Energy plus maximum bound preserving Runge-Kutta methods for the Allen-Cahn equation Journal of Scientific Computing	2022-08-05	Paper
Energy-decreasing exponential time differencing Runge-Kutta methods for phase-field models Journal of Computational Physics	2022-05-05	Paper
Automated assumption generation for compositional verification Formal Methods in System Design	2008-07-30	Paper
Automated Assumption Generation for Compositional Verification Computer Aided Verification	2007-11-29	Paper
Port space allocation with a time dimension The Journal of the Operational Research Society	2007-11-29	Paper
On Solving the Partial MAX-SAT Problem Lecture Notes in Computer Science	2007-09-04	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-16	Paper
scientific article; zbMATH DE number 2040744 (Why is no real title available?)	2004-02-11	Paper
Energy diminishing implicit-explicit Runge--Kutta methods for gradient flows (available as arXiv preprint)	N/A	Paper
Higher-Order Energy-Decreasing Exponential Time Differencing Runge-Kutta methods for Gradient Flows (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Zhaohui Fu