The following pages link to Zhaohui Fu (Q934709):
Displayed 9 items.
- Automated assumption generation for compositional verification (Q934710) (← links)
- Energy-decreasing exponential time differencing Runge-Kutta methods for phase-field models (Q2133694) (← links)
- Energy plus maximum bound preserving Runge-Kutta methods for the Allen-Cahn equation (Q2162330) (← links)
- (Q4449841) (← links)
- Port space allocation with a time dimension (Q5428975) (← links)
- Automated Assumption Generation for Compositional Verification (Q5429334) (← links)
- Theory and Applications of Satisfiability Testing (Q5714769) (← links)
- On Solving the Partial MAX-SAT Problem (Q5756559) (← links)
- Equivalent Formulations of the Oxygen Depletion Problem, Other Implicit Moving Boundary Value Problems, and Implications for Numerical Approximation (Q6038786) (← links)