List of computer science publications by Hing-Lun Chan.

Mechanisation of the AKS Algorithm · Author Picture Hing Lun Chan. Australian National University, Canberra, Australia. , · Author Picture Michael Norrish.

Hing-Lun Chan's 5 research works with 19 citations, including: Classification of Finite Fields with Applications.

Works (9) ; Windmills of the Minds: an Algorithm for Fermat's Two Squares Theorem. Proceedings of the 11th ACM SIGPLAN International Conference on Certified ...

A fresh look at linear temporal logic, sequential information flow, simplifying concurrent programming via synchronization synthesis.

Hing Lun Chan's 3 research works with 1 citations, including: Windmills of the minds: an algorithm for fermat's two squares theorem.

Contestant. Year. △. Country, Score, Rank, Award. Abs. Rel. Abs. Rel. 1992 · Hong Kong, China, 175, 87.50%, 39/171, 77.78%, Silver.

conf.researchr.org / Hing Lun Chan. conf.researchr.org general profile. POPL 2022 profile. No Photo. Registered user since Sun 28 Nov 2021.

Dr Joseph Chan is an accomplished professional in the field of construction and project management. He holds a BSc (Hons) degree in Construction Economics and ...

Oct 21, 2024 · I have reviewed the manuscript with satisfaction. Corresponding author. Correspondence to Hing Lun Chan. Ethics declarations. Competing ...