Chapters in Scholarly Books

Ho, W. K., Yap, R. A. S., Tay, E. G., Leong, Y. H., Toh, T. L., Quek, K. S., Toh, P. C., & Jaguthsing, D. (In-press). Understanding the Sustainability of a Teaching Innovation for Problem Solving: A Systems Approach. In Liljedahl, P. (Ed.), Mathematical problem solving: Current themes, trends and research (pp. 1-19). Burnaby: Springer.

Tay, E. G., Lim, S. K., Ho, W. K., & Toh, T. L. (2017). Preparing mathematics teachers in Singapore Mathematics Content Knowledge. In Tan, O. S., Liu, W. C., Low, E. L. (Ed.), Teacher Education in the 21st

Century: Singapore's Evolution and Innovation (pp. 107-132). Singapore: Springer.

Ho, W. K., & Chan, P. S. (2016). On the Efficacy of Flipped Classroom: Motivation and Cognitive Load. In Toh, P. C., & Kaur, B. (Eds.), Developing 21st Century Competencies in the Mathematics Classroom (pp. 213-240). Singapore: World Scientific.

Ho, W. K., Leong, Y. H., & Ho, F. H. (2015). The Impact of Online Video Suite on the Singapore Pre-service Teachers’ Buying-in to Innovative Teaching of Factorisation via Algecards. In Ng, S. F, (Ed.), Cases of

Mathematics Professional Development in East Asia Countries - Using Video to Support Grounded Analysis (pp. 157-178). Singapore: Springer.

Ho, W.K. (2014). Learning through "plane punctuality". In Lee, N.H., & Ng, K.E.D. (Eds.), Mathematical Modelling -- From Theory to Practice (pp. 167- 176). Singapore: World Scientific.

Journal Articles (Refereed)

Dong, F., Ho, W.K., & Zhao, D. (In-press). A Study on Rank Commutators of Special Families of Matrices. Southeast Asian Bulletin of Mathematics, 42, 1-16, 0.36.

Ho, W. K., Goubault-Larrecq, J.; Jung, A., & Xi, X. (In-press). The Ho- Zhao Problem. Logical Methods in Computer Science, To appear, 1-19, 0.661.

Ho, W. K. (2017). Characterising E-projectives via Comonads. Mathematical Structures in Computer Science, 27(4), 491-506, 0.73.

Ng, K. M., & Ho, W. K.* (2017). Yoneda Completion via a DCPO Completion of its Poset of Formal Balls. Electronic Notes in Theoretical Computer Science, 333, 103-121, 0.77.

Xi, X., Liu, H., Ho, W.K., & Zhao, D. (2017). Maximal Classes of Spaces and Domains Determined by Topologies on Function spaces of Domains. Topology and its applications, 222, 278-292, 0.377.

Leong, Y.H., Ho, W.K., & Cheng, L.P. (2015). Concrete-Pictorial-Abstract: Surveying its origins and charting its future. The Mathematics Educator, 16(1), 1-19.

Zhao, D., & Ho, W. K.* (2015). On topologies defined by irreducible sets. Journal of Logical and Algebraic Methods in Programming, 84(1), 185-195, 0.636.

Dong F.M., Zhao D.S., & Ho W.K. (2014). On the largest outscribed equilateral triangle. The Mathematical Gazette, 97, 79-84.

Ho, W. K. (2014). An Operational Domain-theoretic Treatment of Recursive Types. Mathematical Structures in Computer Science, 24(1), 1-59, 0.449.

Ho, W. K. (2014). Characterising E-projectives via Co-monads. Electronic Notes in Theoretical Computer Science, 301, 61-77, 0.77.

Dong F.M., Ho W.K.*, & Lee T.Y. (2013). A Family of Identities via Arbitrary Polynomials. The College Mathematics Journal, 44, 43-47.

Ho, W. K., Ho, F. H., & Lee, T. Y. (2013). Exponential function and its derivative revisited. International Journal of Mathematics Education in Science and Technology, 44(3), 423-428.

Ho, W. K., Ho, F. H., & Lee, T. Y. (2012). An elementary proof of the identity . International Journal of Mathematics Education in Science and Technology, 43(8), 1085-1092.

Escardó, M. H. & Ho, W. K. (2009). Operational domain theory and topology of sequential programming languages. Information and Computation, 207(3), 411-437, 1.225.

Ho, W.K., & Zhao, D. (2009). Lattices of Scott-closed sets. Commentationes Mathematicae Universitatis Carolinae, 50(2), 297-314, 0.225.

Chu, D., & Ho, W.K. (2007). Computational realizations of living systems. Artificial Life, 13(4), 297-314, 1.644.

Chu, D., & Ho, W.K. (2007). The localization hypothesis and machines. Artificial Life, 13(3), 229-302, 1.644.

Chu, D., & Ho, W.K. (2006). A category theoretical argument against the possibility of artificial life: Robert Rosen's Central Proof revisited. Artificial Life, 12(1), 1-18, 1.769.

Ho, W. K. (2006). An Operational Domain-theoretic Treatment of Recursive Types. Electronic Notes in Theoretical Computer Science, 158, 237-259, 0.77.

Keynote Addresses

Ho, W. K.(2017, JUN). A Vicennial Walk Through 'A' Level Mathematics in Singapore. Keynote Address, Mathematics Teachers Conference, Singapore.

Ho, W. K.(2012, OCT). An Introduction to Topology and its Applications: a new approach. Keynote Address, Conference on Applied Mathematics and Education 2012, Yogyakarta, Indonesia.

Conference Papers (Published in Proceedings)

Evans, T., Leong, Y. H., & Ho, W. K. (2017). Videos in Teacher Professional Development. In Kaiser, G. (Ed.) Proceedings of the 13^th International Congress on Mathematical Education (ICME13) (pp. 647-

648). Hamburg, Germany: Springer.

Ho, W. K. (2017). Appreciating functional programming: A beginner's tutorial to HASKELL illustrated with applications in numerical methods. In Yang, W.-C. Meade, D. B., & Yuan, Y. (Eds.) Proceedings of the Twenty-second Asian Technological Conference in Mathematics (pp. 50-64). Chungli, Taiwan: Mathematics and Technology, LLC.

Ho, W. K., Toh, P. C., Tay, E. G., Teo, K. M., Shutler, P. M. E., & Yap, R. A. S. (2017). The role of computation in teaching and learning mathematics at the tertiary level. In Kim, D., Shin, J., Park, J., & Kang, H. (Eds.) 2017 ICJSME Proceedings: Future directions and issues in mathematics education (pp. 441-448). Seoul, Korea: KSME.

Lai, W., & Ho, W. K. (2017). Graphing a quadrilateral using a single Cartesian equation. In Yang, W.-C. (Ed.) Proceedings of the Twenty-second Asian Technology Conference in Mathematics (pp. 1-10). Chungli, Taiwan: Mathematics and Technology, LLC.

Ho, W.K. (2016). Outbox Centroid Theorem: An Episode of Dynamic Geometry Exploration. In Yang, W.C., Meade, D.B., & Khairiree, K. (Eds.) Proceedings of the Twenty-first Asian Technological Conference in Mathematics (pp. 36-50). Bangkok, Thailand: Mathematics and Technology, LCC.

Ho, W. K., & Ang, K. C. (2015). Developing Computational Thinking Through Coding. In Yang, W. C., Meade, D., & Liu, C. (Eds.) Proceedings of the Twentieth Asian Technology Conference in Mathematics (pp. 73-87). Leshan, China: Mathematics and Technology, LCC.

Kaur, B. & Ho, W.K. (2015). An exploratory study of peer feedback during collaborative mathematical problem solving. In Beswick, K., Muir, T. & Wells, J. (Eds.) Proceedings of the 39th Conference of the Group for the Psychology of Mathematics Education (pp. 173). Hobart, Australia: International Group for the Psychology of Mathematics Education.

Tay, E.G., & Ho, W. K. (2015). Teaching undergraduate mathematics – reflections on Imre Leader’s observations. In Göller, R., Biehler, R., Hochmuth, R., & Rück, H. (Eds.) Didactics of Mathematics in Higher Education as a Scientific Discipline (pp. 87-90). Kassel, Germany: Kompetenzzentrum Hochschuldidatik Matematik.

Ho, W. K. (2013). Exact Real Calculator for Everyone. In Yang, W.-C., Majweski, M., Alwis, T., & Rana. I. K. (Eds.) Proceedings of the Eighteenth Asian Technology Conference in Mathematics (ATCM) (pp. 1-15). Bombay, India: Mathematics and Technology, LLC.

Conference Presentations

Toh, P. C., Ho, W. K., Teo, K. M., Quek, K. S., Toh, T. L., Tay, E. G., & Yap, R. A. S. (2016, July). Holistic Approach to Curriculum Review of Undergraduate Mathematics. Paper presented at 13th International Congress on Mathematical Education, Hamburg, Germany.

Ho, W. K., Toh, P. C., Toh, T. L., Leong, Y. H., Tay, E. G., & Quek, K. S. (2014, December). The Practical Paradigm: Teaching of the Problem Solving Process in University Mathematics. Paper presented at 2014 Association of Southeast Asian Institutions of Higher Learning (ASAIHL) Conference, Singapore.

Dong, F.M., Zhao D.S., & Ho, W.K. (2013, November). On the largest outscribed equilateral triangles. Paper presented at The Third Lee Peng Yee Symposium (LPYS) in 2013, Singapore.

Ho, W. K. (2013, November). Maximal Outbox Problem. Paper presented at The Third Lee Peng Yee Symposium, Singapore.

Ho, W. K. (2008, March). Using history of mathematics in teaching and learning of mathematics in Singapore. Paper presented at Raffles International Conference on Education, Singapore.

Journal Articles (Non-refereed)

*Cheng, L. P., Ho, W. K. & Lee, T. Y (2013). Perimeter in the primary school mathematics curriculum of Singapore. Mathematics Teaching, 236, 27-30.

University Texts/Professional Books

Yeo, J. B. W., Choy, B. H., Ng, K. E. D., & Ho, W. K. (In-press). Problems in real-world contexts: Principles of design and implementation. Singapore: Shinglee.

Ng, K. E. D., Lee, N. H., Chan, C. M. E, Cheang, W. K., Cheng, L. P., Ho, F. H., Ho., W. K., Dindyal, J., Soon, W. M., Yeo, K. K. J., & Zhao, D. S. (Eds.). (2012). Mathematical Modelling: A Collection of Tasks. Singapore: Alston Publications.

Ho, W.K. (2010). Number Theory. Singapore: Prentice Hall, Pearson Education South Asia.

Editorship of Conference Proceedings

Kaur, B., Ho, W.K., Toh, T.L. & Choy, B.H. (Ed.) (2017). Proceedings of the 41st Conference of the International Group for the Psychology of Mathematics Education - Volumes 1, 2, 3 and 4. Proceedings of the 41st Conference of the International Group for the Psychology of Mathematics Education. Singapore

Publications sorted by research areas

Computer Science: Theory – Domain Theory and its Applications

Scott topological representation

Ho, W. K., Goubault-Larrecq, J.; Jung, A., & Xi, X. (In-press). The Ho- Zhao Problem. Logical Methods in Computer Science, To appear, 1-19, 0.661.

Ho, W. K. (2017). Characterising E-projectives via Comonads. Mathematical Structures in Computer Science, 27(4), 491-506, 0.73.

Ho, W. K. (2014). Characterising E-projectives via Co-monads. Electronic Notes in Theoretical Computer Science, 301, 61-77, 0.77.

Ho, W.K., & Zhao, D. (2009). Lattices of Scott-closed sets. Commentationes Mathematicae Universitatis Carolinae, 50(2), 297-314, 0.225.

Operational domain theory of programming languages

Ho, W. K. (2014). An Operational Domain-theoretic Treatment of Recursive Types. Mathematical Structures in Computer Science, 24(1), 1-59, 0.449.

Ho, W. K.(2012, OCT). An Introduction to Topology and its Applications: a new approach. Keynote Address, Conference on Applied Mathematics and Education 2012, Yogyakarta, Indonesia.

Escardó, M. H. & Ho, W. K. (2009). Operational domain theory and topology of sequential programming languages. Information and Computation, 207(3), 411-437, 1.225.

Ho, W. K. (2006). An Operational Domain-theoretic Treatment of Recursive Types. Electronic Notes in Theoretical Computer Science, 158, 237-259, 0.77.

Domain theory in situ T₀ spaces

Zhao, D., & Ho, W. K.* (2015). On topologies defined by irreducible sets. Journal of Logical and Algebraic Methods in Programming, 84(1), 185-195, 0.636.

Quantitative domain theory

Ng, K. M., & Ho, W. K.* (2017). Yoneda Completion via a DCPO Completion of its Poset of Formal Balls. Electronic Notes in Theoretical Computer Science, 333, 103-121, 0.77.

Function spaces of domains and topological spaces

Xi, X., Liu, H., Ho, W.K., & Zhao, D. (2017). Maximal Classes of Spaces and Domains Determined by Topologies on Function spaces of Domains. Topology and its applications, 222, 278-292, 0.377.

Computer Science: Practice

Exact Real Calculator for Everyone

Artificial life

Chu, D., & Ho, W.K. (2007). Computational realizations of living systems. Artificial Life, 13(4), 297-314, 1.644.

Chu, D., & Ho, W.K. (2007). The localization hypothesis and machines. Artificial Life, 13(3), 229-302, 1.644.

Chu, D., & Ho, W.K. (2006). A category theoretical argument against the possibility of artificial life: Robert Rosen's Central Proof revisited. Artificial Life, 12(1), 1-18, 1.769.

Computer Science: Education

Computer science education

Mathematics education

Editorship of Mathematics Education Conferences

Video technology in mathematics education

648). Hamburg, Germany: Springer.

Mathematics Professional Development in East Asia Countries - Using Video to Support Grounded Analysis (pp. 157-178). Singapore: Springer.

Tertiary mathematics education (Content)