Using Plans in Chess. - David Wilkins (IJCAI, 1979)

Using Patterns and Plans in Chess. - David Wilkins (Artif. Intell., 1980)

Homeomorphism of 2-Complexes is Equivalent to Graph Isomorphism. - Colm Ó'Dúnlaing; Colum Watt; David Wilkins (Int. J. Comput. Geom. Appl., 2000)

Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor. - Victor Melamed; Harry Stuimer; David Wilkins; Lawrence Chang; Kevin Normoyle; Sutikshan Bhutani (FORTE, 2002)

CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. - Daniel Elenius; Grit Denker; Mark-Oliver Stehr; Rukman Senanayake; Carolyn L. Talcott; David Wilkins (POLICY, 2007)

Policy-Based Cognitive Radios. - David Wilkins; Grit Denker; Mark-Oliver Stehr; Daniel Elenius; Rukman Senanayake; Carolyn L. Talcott (IEEE Wirel. Commun., 2007)

Aided diagnosis of dementia type through computer-based analysis of spontaneous speech. - William Jarrold; Bart Peintner; David Wilkins; Dimitra Vergyri; Colleen Richey; Maria Luisa Gorno-Tempini; Jennifer M. Ogar (CLPsych@ACL, 2014)

Automated title and abstract screening for scoping reviews using the GPT-4 Large Language Model. - David Wilkins (CoRR, 2023)