Person:684212

Available identifiers

zbMath Open ho.son-lamMaRDI QIDQ684212

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Son Lam Ho