Homer: A Higher−order Observational equivalence Model checkER by Hopkins, D, Ong, L

GuaranteeNash for Boolean games is NEXP−hard by Ianovski, E, Ong, L

Beyond Bayesian model averaging over paths in probabilistic programs with stochastic support by Reichelt, T, Ong, L, Rainforth, T

School cooperative societies in Malaysia: The inconspicuous and unique retail format with promising potentials by Ong, L.D., Tay, A.

Get full text

The effects of co-workers’ social undermining behaviour on employees’ work behaviours by Ong, L.D., Tay, A.

Get full text

An account of a modified lightning protection system for power stations by Ahmad, Hussein, Ong, L. M.

Get full text

Nonparametric Hamiltonian Monte Carlo by Mak, C, Zaiser, F, Ong, L

Information flow analysis for a dynamically typed language with staged metaprogramming by Lester, M, Ong, L, Schäfer, M

Syntactic control of concurrency by Ghica, D, Murawski, A, Ong, L

Algorithmic Game Semantics and Component−Based Verification by Abramsky, S, Ghica, D, Ong, L, Murawski, A

Soter: an Automatic Safety Verifier for Erlang by D'Osualdo, E, Kochems, J, Ong, L

Soter: an automatic safety verifier for erlang by D'Osualdo, E, Kochems, J, Ong, L

Applying Game Semantics to Compositional Software Modelling and verification by Abramsky, S, Ghica, D, Ong, L, Murawski, A

Influence of dielectric stiffness, interface, and layer thickness on hysteresis loops of ferroelectric superlattices by Chew, Khian Hooi, Iwata, M., Ong, L.H.

Get full text

Switching dynamics in ferroelectric superlattices by Chew, Khian Hooi, Iwata, M., Ong, L.H.

Transient parkinsonism following mycoplasma pneumoniae infection with normal brain magnetic resonance imaging (MRI) by Tay, C.G., Fong, C.Y., Ong, L.C.

Calculations on switching characteristics of ferroelectric-paraelectric superlattices by Chew, Khian Hooi, Lee, T.Y., Ong, L.H.

Analytical landau-type model of polarization switching in ferroelectrics by Chew, Khian Hooi, Ong, L.H., Loh, K.K.

Pressure vessel and piping technology / by Cheung, John S. T., Ong, L. S., Seminar on Pressure Vessel and Piping Technology (1993 : Singapore)

Hysteresis loops of ferroelectric bilayers and superlattices by Chew, Khian Hooi, Tilley, D.R., Ong, L.H., Osman, J.

Get full text