Harvey Tuch

6 papers and 190 indexed citations i.

About

Harvey Tuch has authored 6 papers that have received a total of 190 indexed citations. This includes 3 papers in Artificial Intelligence, 3 papers in Computer Networks and Communications and 2 papers in Computational Theory and Mathematics. The topics of these papers are Advanced Data Storage Technologies (3 papers), Security and Verification in Computing (3 papers) and Logic, programming, and type systems (3 papers). Harvey Tuch is often cited by papers focused on Advanced Data Storage Technologies (3 papers), Security and Verification in Computing (3 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in Australia, Sri Lanka and United States. Harvey Tuch's co-authors include Michael Norrish, Gerwin Klein, Kenneth C. Barr, Rafal Kolanski and David Cock and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and ACM SIGOPS Operating Systems Review

In The Last Decade

Rankless by CCL
2025