Statistics
Publications
13
Citations
680
H-Index
13
Active since
2008
Nathan Chong is an author at Imperial College London specializing in computer science, computing, and formal methods.
Publications per year
2008–2023
13
13
Christopher Lidbury, Andrei Lascu, Nathan Chong et al. · 2015 · 146 citations
Adam Betts, Nathan Chong, Alastair F. Donaldson et al. · 2012 · 144 citations
Christopher Lidbury, Andrei Lascu, Nathan Chong et al. · ACM SIGPLAN Notices · 2015 · 65 citations
Adam Betts, Nathan Chong, Alastair F. Donaldson et al. · ACM SIGPLAN Notices · 2012 · 45 citations
1–5 of 13