| 2007 |
|---|
| 4 | EE | Daniel Elenius,
Grit Denker,
Mark-Oliver Stehr,
Rukman Senanayake,
Carolyn L. Talcott,
David Wilkins:
CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.
POLICY 2007: 261-265 |
| 2002 |
|---|
| 3 | EE | Victor Melamed,
Harry Stuimer,
David Wilkins,
Lawrence Chang,
Kevin Normoyle,
Sutikshan Bhutani:
Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor.
FORTE 2002: 360-363 |
| 2000 |
|---|
| 2 | | Colm Ó'Dúnlaing,
Colum Watt,
David Wilkins:
Homeomorphism of 2-Complexes is Equivalent to Graph Isomorphism.
Int. J. Comput. Geometry Appl. 10(5): 453-476 (2000) |
| 1980 |
|---|
| 1 | | David Wilkins:
Using Patterns and Plans in Chess.
Artif. Intell. 14(2): 165-203 (1980) |
