Ling Cheung

9 papers and 75 indexed citations i.

About

Ling Cheung has authored 9 papers that have received a total of 75 indexed citations. This includes 7 papers in Artificial Intelligence, 7 papers in Computer Networks and Communications and 6 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (6 papers), Distributed systems and fault tolerance (5 papers) and Cryptography and Data Security (3 papers). Ling Cheung is often cited by papers focused on Formal Methods in Verification (6 papers), Distributed systems and fault tolerance (5 papers) and Cryptography and Data Security (3 papers) and collaborates with scholars based in United States, The Netherlands and Belgium. Ling Cheung's co-authors include Nancy Lynch, Ran Canetti, Olivier Pereira, Roberto Segala and Moses Liskov and has published in prestigious journals such as Journal of the ACM, Journal of Computer and System Sciences and Theoretical Computer Science

In The Last Decade

Rankless by CCL
2025