James G. Williams

James G. Williams, Kai A. Olsen: Developing a Telecommunication Operation Support Systems (OSS): The Impact of a Change in Network Technology. IJBDCN 4(1): 30-51 (2008)

James G. Williams: The Internet, the Web, and eBusiness: Formalizing applications for the real world. JASIST 57(14): 1979-1980 (2006)

James G. Williams, Kai A. Olsen: Developing a Telecommunication Operation Support Systems (OSS): The Impact of a Change in Network Technology. J. Cases on Inf. Techn. 8(4): 35-54 (2006)

Kai A. Olsen, James G. Williams: Spelling and grammar checking using the Web as a text repository. JASIST 55(11): 1020-1023 (2004)

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

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)

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)

James G. Williams, Leonard J. LaPadula: Automated Support for External Consistency. CSFW 1993: 71-81

James G. Williams: A shift in security modeling paradigms. NSPW 1993: 57-61

Leonard J. LaPadula, James G. Williams: External consistency in a network environment. NSPW 1993: 131-137

James G. Williams: Instantiation Theory - On the Foundations of Automated Deduction. Lecture Notes in Computer Science 518, Springer 1991, isbn 3-540-54333-3

Leonard J. LaPadula, James G. Williams: Toward a Universal Integrity Model. CSFW 1991: 216-218

James G. Williams: On the Formalization of Semantic Conventions. J. Symb. Log. 55(1): 220-243 (1990)

Charles H. Applebaum, James G. Williams: PVS - design for a practical verification system. ACM Conference on Computer Science 1984: 58-68