James G. Williams

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

10EEJames G. Williams: The Internet, the Web, and eBusiness: Formalizing applications for the real world. JASIST 57(14): 1979-1980 (2006)
9EEKai A. Olsen, James G. Williams: Spelling and grammar checking using the Web as a text repository. JASIST 55(11): 1020-1023 (2004)
8EEMichael 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
7 James G. Williams, Leonard J. LaPadula: Automated Support for External Consistency. CSFW 1993: 71-81
6EEMarshall 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)
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
2 James G. Williams: On the Formalization of Semantic Conventions. J. Symb. Log. 55(1): 220-243 (1990)
1EECharles H. Applebaum, James G. Williams: PVS - design for a practical verification system. ACM Conference on Computer Science 1984: 58-68

Coauthor Index

1Marshall D. Abrams [6]
2K. H. Adams [8]
3Edward Amoroso [6]
4Charles H. Applebaum [1]
5Dennis Gannon [8]
6Robert R. Korfhage (Robert Korfhage) [5]
7Leonard J. LaPadula [3] [6] [7]
8Teresa F. Lunt [6]
9Donald F. McMullen [8]
10Michael A. McRobbie [8]
11Kai A. Olsen [5] [9]
12Douglas D. Pearson [8]
13R. Allen Robel [8]
14Kenneth M. Sochats [5]
15Michael B. Spring [5]
16Steven S. Wallace [8]

Colors in the list of coauthors

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