dblp.uni-trier.dewww.uni-trier.de

David Wilkins

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEDaniel 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
3EEVictor 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)

Coauthor Index

1Sutikshan Bhutani [3]
2Lawrence Chang [3]
3Grit Denker [4]
4Daniel Elenius [4]
5Victor Melamed [3]
6Kevin Normoyle [3]
7Colm Ó'Dúnlaing [2]
8Rukman Senanayake [4]
9Mark-Oliver Stehr [4]
10Harry Stuimer [3]
11Carolyn L. Talcott [4]
12Colum Watt [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)