Operational Domain Theory and Topology of a Sequential Programming Language. - Martín Hötzel Escardó; Weng Kin Ho (LICS, 2005)

A Category Theoretical Argument against the Possibility of Artificial Life: Robert Rosen's Central Proof Revisited. - Dominique F. Chu; Weng Kin Ho (Artif. Life, 2006)

An Operational Domain-theoretic Treatment of Recursive Types. - Weng Kin Ho (MFPS, 2006)

Operational domain theory and topology of sequential functional languages. - Weng Kin Ho (2006)

The Localization Hypothesis and Machines. - Dominique F. Chu; Weng Kin Ho (Artif. Life, 2007)

Computational Realizations of Living Systems. - Dominique F. Chu; Weng Kin Ho (Artif. Life, 2007)

Operational domain theory and topology of sequential programming languages. - Martín Hötzel Escardó; Weng Kin Ho (Inf. Comput., 2009)

Characterising E-projectives via Co-monads. - Weng Kin Ho (ISDT, 2013)

On topologies defined by irreducible sets. - Dongsheng Zhao; Weng Kin Ho (J. Log. Algebraic Methods Program., 2015)

On a new convergence class in k-bounded sober spaces. - Hadrian Andradi; Weng Kin Ho (CoRR, 2016)

Strong completions of spaces. - Hadrian Andradi; Weng Kin Ho (CoRR, 2016)

The Ho-Zhao Problem. - Weng Kin Ho; Achim Jung; Xiaoyong Xi (CoRR, 2016)

Join-continuity + Hypercontinuity = Prime continuity. - Weng Kin Ho; Achim Jung; Dongsheng Zhao (CoRR, 2016)

Domains via a rough set theoretic approach. - Zhiwei Zou; Qingguo Li; Weng Kin Ho (CoRR, 2016)

On A New Convergence Class in Sup-sober Spaces. - Hadrian Andradi; Weng Kin Ho (CoRR, 2017)

Yoneda Completion via a DCPO Completion of its Poset of Formal Balls. - Kok Min Ng; Weng Kin Ho (ISDT, 2017)

Characterising E-projectives via Comonads. - Weng Kin Ho (Math. Struct. Comput. Sci., 2017)

The Ho-Zhao Problem. - Weng Kin Ho; Jean Goubault-Larrecq; Achim Jung; Xiaoyong Xi (Log. Methods Comput. Sci., 2018)

Domains via approximation operators. - Zhiwei Zou; Qingguo Li; Weng Kin Ho (Log. Methods Comput. Sci., 2018)

Universal Approach to Z-frame Envelopes of Semilattices. - Gaolin Li; Dongsheng Zhao; Weng Kin Ho (ISDT, 2019)

Quasi-continuous Yoneda Complete Quasi-Metric Space. - Kok Min Ng; Weng Kin Ho (ISDT, 2019)

Topological Scott Convergence Theorem. - Hadrian Andradi; Weng Kin Ho (Log. Methods Comput. Sci., 2019)

Computational Thinking Activities in Number Patterns: A Study in a Singapore Secondary School. - Shiau Wei Chan; Chee-Kit Looi; Weng Kin Ho; Wendy Huang; Peter Sen Kee Seow; Longkai Wu; Mi Song Kim (ICCE, 2020)

Advancing AI Literacy in Medical Education: A Medical AI Competency Framework Development. - Chang Cai; Jamie Andrew Duell; Daisy Minghui Chen; Weng Kin Ho; Bernett Teck Kwong Lee; Fang Li; Siyuan Liu 003; Olivia Ng; Vidya Sudarshan; Shang-Ming Zhou; Gaoxia Zhu; Xiuyi Fan (AIED (5), 2025)