| 2006 |
|---|
| 10 | EE | James G. Williams:
The Internet, the Web, and eBusiness: Formalizing applications for the real world.
JASIST 57(14): 1979-1980 (2006) |
| 2004 |
|---|
| 9 | EE | Kai A. Olsen,
James G. Williams:
Spelling and grammar checking using the Web as a text repository.
JASIST 55(11): 1020-1023 (2004) |
| 1998 |
|---|
| 8 | EE | Michael A. McRobbie,
Donald F. McMullen,
K. H. Adams,
Dennis Gannon,
Douglas D. Pearson,
R. Allen Robel,
Steven S. Wallace,
James G. Williams:
Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications.
HPDC 1998: 252-259 |
| 1993 |
|---|
| 7 | | James G. Williams,
Leonard J. LaPadula:
Automated Support for External Consistency.
CSFW 1993: 71-81 |
| 6 | EE | Marshall D. Abrams,
Edward Amoroso,
Leonard J. LaPadula,
Teresa F. Lunt,
James G. Williams:
Report of an integrity research study group.
Computers & Security 12(7): 679-689 (1993) |
| 5 | | Kai A. Olsen,
Robert Korfhage,
Kenneth M. Sochats,
Michael B. Spring,
James G. Williams:
Visualization of a Document Collection: The VIBE System.
Inf. Process. Manage. 29(1): 69-81 (1993) |
| 1991 |
|---|
| 4 | | James G. Williams:
Instantiation Theory - On the Foundations of Automated Deduction
Springer 1991 |
| 3 | | Leonard J. LaPadula,
James G. Williams:
Toward a Universal Integrity Model.
CSFW 1991: 216-218 |
| 1990 |
|---|
| 2 | | James G. Williams:
On the Formalization of Semantic Conventions.
J. Symb. Log. 55(1): 220-243 (1990) |
| 1984 |
|---|
| 1 | EE | Charles H. Applebaum,
James G. Williams:
PVS - design for a practical verification system.
ACM Conference on Computer Science 1984: 58-68 |
