James G. Williams - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2018

Data Visualization RevisitedKai A. Olsen, James G. Williams, Michael B. Spring. iconference 2018: 292-302 [doi]

2014

Leveraging the national cyberinfrastructure for biomedical researchRichard D. LeDuc, Matthew Vaughn, John M. Fonner, Michael Sullivan, James G. Williams, Philip D. Blood, James Taylor, William Barnett. jamia, 21(2):195-199, 2014. [doi]

In memoriam: Anthony Debons (1916-2013)James G. Williams. jasis, 65(8):1729-1730, 2014. [doi]

In memoriam: Allen Kent (1921-2014)James G. Williams. jasis, 65(10):2162-2163, 2014. [doi]

2008

Developing a Telecommunication Operation Support Systems (OSS): The Impact of a Change in Network TechnologyJames G. Williams, Kai A. Olsen. ijbdcn, 4(1):30-51, 2008. [doi]

2006

The Internet, the Web, and eBusiness: Formalizing applications for the real worldJames G. Williams. jasis, 57(14):1979-1980, 2006. [doi]

Developing a Telecommunication Operation Support Systems (OSS): The Impact of a Change in Network TechnologyJames G. Williams, Kai A. Olsen. jcit-igi, 8(4):35-54, 2006. [doi]

2004

Spelling and grammar checking using the Web as a text repositoryKai A. Olsen, James G. Williams. jasis, 55(11):1020-1023, 2004. [doi]

1998

Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education ApplicationsMichael A. McRobbie, Donald F. McMullen, K. H. Adams, Dennis Gannon, Douglas D. Pearson, R. Allen Robel, Steven S. Wallace, James G. Williams. hpdc 1998: 252-259 [doi]

1993

1991

Toward a Universal Integrity ModelLeonard J. LaPadula, James G. Williams. csfw 1991: 216-218

Instantiation Theory - On the Foundations of Automated DeductionJames G. Williams. Volume 518 of Lecture Notes in Computer Science, Springer, 1991.

1990

On the Formalization of Semantic ConventionsJames G. Williams. JSYML, 55(1):220-243, 1990.

1985

Education of microcomputer professionals (Panel)James G. Williams, David R. Callaghan, S. Ron Oliver. acm 1985: 550 [doi]

Components of verification technologyJames G. Williams. sigsoft, 10(4):49-50, 1985. [doi]

1984

PVS - design for a practical verification systemCharles H. Applebaum, James G. Williams. acm 1984: 58-68 [doi]

1975

Opinion paper. On theory development in information scienceJames G. Williams, Chai Kim. jasis, 26(1):1-9, 1975. [doi]

Sign in or sign up to see more results.

runs on WebDSL