Weng Kin Ho

27 papers A* 1B 1C 1Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Advancing AI Literacy in Medical Education: A Medical AI Competency Framework Development.
AIED (5)
Chang Cai, Jamie Andrew Duell, Daisy Minghui Chen, Weng Kin Ho, Bernett Teck Kwong Lee, Fang Li, Siyuan Liu, Olivia Ng, Vidya Sudarshan, Shang-Ming Zhou, Gaoxia Zhu, Xiuyi Fan
2022 — ed.
Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022
ISDT
Weng Kin Ho, Dongsheng Zhao, Achim Jung, Guo-Qiang Zhang
2020 C conf
Computational Thinking Activities in Number Patterns: A Study in a Singapore Secondary School.
ICCE
Shiau Wei Chan, Chee-Kit Looi, Weng Kin Ho, Wendy Huang, Peter Sen Kee Seow, Longkai Wu, Mi Song Kim
2019 — conf
Quasi-continuous Yoneda Complete Quasi-Metric Space.
ISDT
Kok Min Ng, Weng Kin Ho
2019 J jnl
Topological Scott Convergence Theorem.
Log. Methods Comput. Sci.
Hadrian Andradi, Weng Kin Ho
2019 — conf
Universal Approach to
ISDT
Gaolin Li, Dongsheng Zhao, Weng Kin Ho
2018 J jnl
Domains via approximation operators.
Log. Methods Comput. Sci.
Zhiwei Zou, Qingguo Li, Weng Kin Ho
2018 J jnl
The Ho-Zhao Problem.
Log. Methods Comput. Sci.
Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi
2017 J jnl
Characterising E-projectives via Comonads.
Math. Struct. Comput. Sci.
Weng Kin Ho
2017 J jnl
On A New Convergence Class in Sup-sober Spaces.
CoRR
Hadrian Andradi, Weng Kin Ho
2017 J jnl
Topological Scott Convergence Theorem.
CoRR
Hadrian Andradi, Weng Kin Ho
2017 — conf
Yoneda Completion via a DCPO Completion of its Poset of Formal Balls.
ISDT
Kok Min Ng, Weng Kin Ho
2016 J jnl
Domains via a rough set theoretic approach.
CoRR
Zhiwei Zou, Qingguo Li, Weng Kin Ho
2016 J jnl
Join-continuity + Hypercontinuity = Prime continuity.
CoRR
Weng Kin Ho, Achim Jung, Dongsheng Zhao
2016 J jnl
On a new convergence class in k-bounded sober spaces.
CoRR
Hadrian Andradi, Weng Kin Ho
2016 J jnl
Strong completions of spaces.
CoRR
Hadrian Andradi, Weng Kin Ho
2016 J jnl
The Ho-Zhao Problem.
CoRR
Weng Kin Ho, Achim Jung, Xiaoyong Xi
2015 J jnl
On topologies defined by irreducible sets.
J. Log. Algebraic Methods Program.
Dongsheng Zhao, Weng Kin Ho
2013 J jnl
An operational domain-theoretic treatment of recursive types.
Math. Struct. Comput. Sci.
Weng Kin Ho
2013 — conf
Characterising E-projectives via Co-monads.
ISDT
Weng Kin Ho
2009 J jnl
Operational domain theory and topology of sequential programming languages.
Inf. Comput.
Martín Hötzel Escardó, Weng Kin Ho
2007 J jnl
Computational Realizations of Living Systems.
Artif. Life
Dominique F. Chu, Weng Kin Ho
2007 J jnl
The Localization Hypothesis and Machines.
Artif. Life
Dominique F. Chu, Weng Kin Ho
2006 J jnl
A Category Theoretical Argument against the Possibility of Artificial Life: Robert Rosen's Central Proof Revisited.
Artif. Life
Dominique F. Chu, Weng Kin Ho
2006 B conf
An Operational Domain-theoretic Treatment of Recursive Types.
MFPS
Weng Kin Ho
2006 — —
Operational domain theory and topology of sequential functional languages.
Weng Kin Ho
2005 A* conf
Operational Domain Theory and Topology of a Sequential Programming Language.
LICS
Martín Hötzel Escardó, Weng Kin Ho