NN

Nicholas Nethercote

20

Publications

5,342

Citations

14

h-index

16

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (15)
Book Chapter (4)
Book (1)

Filter by Open Access Type

Open Access (4)
Closed Access (16)

Filter by Authors

Nicholas Nethercote (20)
Julian Seward (5)
Peter J. Stuckey (4)
Kim Marriott (4)
Alan Mycroft (3)

Filter by Topics

Parallel Computing and Optimization Techniques (11)
Security and Verification in Computing (7)
Logic, programming, and type systems (6)
Software Testing and Debugging Techniques (4)
Distributed and Parallel Computing Systems (3)