S. L. Ho

Available identifiers

Publication	Date of Publication	Type
Proof-producing synthesis of CakeML from monadic HOL functions	2020-11-02	Paper
The Gauss-Bonnet theorem and the geometry of surfaces	2019-05-28	Paper
Proof-producing synthesis of CakeML with I/O and local state from monadic HOL functions	2018-10-18	Paper
Deformations of fundamental group representations and earthquakes on \(SO(n,1)\) surface groups	2018-02-09	Paper
On conformally flat circle bundles over surfaces	2014-12-18	Paper
A study of the connectionist models for software reliability prediction	2004-08-06	Paper
A novel model-following scheme with simple structure for electrical position servo systems	2002-12-05	Paper
A common Tabu search algorithm for the global optimization of engineering problems	2002-05-12	Paper
Wavelet-Galerkin method for solving parabolic equations in finite domains	2002-03-03	Paper

This page was built for person: S. L. Ho