David Wilkins

发表

Carolyn L. Talcott, Daniel Elenius, Grit Denker, 2007, IEEE Wireless Communications.

CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies

Carolyn L. Talcott, Daniel Elenius, Grit Denker, 2007, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07).

Using Patterns and Plans in Chess

David Wilkins, D. Wilkins, 1980, Artif. Intell..

Using Plans in Chess

David Wilkins, D. Wilkins, 1979, IJCAI.

Max Planck Institute for Psycholinguistics: Annual report 1996

David Wilkins, Jan Peter De Ruiter, 1996 .

A non-clausal theorem proving system

David Wilkins, 1974 .

Implementation of a third-generation 1.1GHz 64b microprocessor

David Wilkins, Lawrence Chang, Kevin Normoyle, 2002, 2002 IEEE International Solid-State Circuits Conference. Digest of Technical Papers (Cat. No.02CH37315).

Homeomorphism of 2-Complexes is Equivalent to Graph Isomorphism

David Wilkins, Colm Ó'Dúnlaing, Colum Watt, 2000, Int. J. Comput. Geom. Appl..

An Evaluation of the Effect of Human Interaction on the Accuracy of the Interactive Visual System

Richard Smart, Amir Schur, David Wilkins, 2012 .

Systematic reviews of and integrated report on the quantitative, qualitative and economic evidence base for the management of obesity in men.

David Wilkins, Fiona Stewart, Clare Robertson, 2014, Health technology assessment.