Nicholas Nethercote

9 papers and 720 indexed citations i.

Nicholas Nethercote has authored 9 papers that have received a total of 720 indexed citations. This includes 6 papers in Artificial Intelligence, 6 papers in Hardware and Architecture and 3 papers in Software. The topics of these papers are Parallel Computing and Optimization Techniques (6 papers), Security and Verification in Computing (5 papers) and Logic, programming, and type systems (3 papers). Nicholas Nethercote is often cited by papers focused on Parallel Computing and Optimization Techniques (6 papers), Security and Verification in Computing (5 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in Australia, United Kingdom and United States. Nicholas Nethercote's co-authors include Julian Seward, Alan Mycroft, James H. Burrill, Kim Marriott and A. Gordon Smith and has published in prestigious journals such as ACM SIGPLAN Notices, Electronic Notes in Theoretical Computer Science and Constraints.