Cheap Checking for Cloud Computing: Statistical Analysis via Annotated Data Streams. - Chris Hickey; Graham Cormode (AISTATS, 2018)

You Can Check Others' Work More Quickly Than Doing It Yourself. - Graham Cormode; Chris Hickey (ICDE, 2018)

Problem Difficulty in Arithmetic Cognition: Humans and Connectionist Models. - Sungjae Cho; Jaeseo Lim; Chris Hickey; Byoung-Tak Zhang (CogSci, 2019)

Efficient Interactive Proofs for Linear Algebra. - Graham Cormode; Chris Hickey (ISAAC, 2019)

Simulating Problem Difficulty in Arithmetic Cognition Through Dynamic Connectionist Models. - Sungjae Cho; Jaeseo Lim; Chris Hickey; Jung Ae Park; Byoung-Tak Zhang (CoRR, 2019)

Hierarchical Color Learning in Convolutional Neural Networks. - Chris Hickey; Byoung-Tak Zhang (CVPR Workshops, 2020)

Streaming Zero-Knowledge Proofs. - Graham Cormode; Marcel Dall'Agnol; Tom Gur; Chris Hickey (CCC, 2024)