S. L. Ho

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
Proof-producing synthesis of CakeML from monadic HOL functions Journal of Automated Reasoning	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 Geometriae Dedicata	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 Computers & Mathematics with Applications	2004-08-06	Paper
A novel model-following scheme with simple structure for electrical position servo systems International Journal of Systems Science. Principles and Applications of Systems and Integration	2002-12-05	Paper
A common Tabu search algorithm for the global optimization of engineering problems Computer Methods in Applied Mechanics and Engineering	2002-05-12	Paper
Wavelet-Galerkin method for solving parabolic equations in finite domains Finite Elements in Analysis and Design	2002-03-03	Paper

Research outcomes over time

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