Publications

A Signature Access Method for the Starburst Database System

Chang, W., Schek, H. (Jan. 31, 1989)
Proceedings of the 15th International Conference on Very Large Data Bases . Amsterdam, The Netherlands, Pages: 145 – 153, 1989, ISBN:1-55860-101-5, Morgan Kaufmann Publishers Inc. San Francisco, CA, US

An Object Oriented Model for a Radar System Simulation

Sher, D., Revankar, S., Venkatesan, R. (Jan. 1, 1989)
State University of New York at Buffalo, Department of Computer Science

An overview of the X toolkit

McCormack, J., Asente, P. (Oct. 17, 1988)
UIST 1988 – Proceedings of the 1st Annual ACM Symposium on User Interface Software and Technology

About the cover: Natural Phenomena

Miller, G. (Sep. 1, 1988)
IEEE Computer Graphics and Applications , Vol. 8, No. 5, pp4-7, Sept 1988

The Motion Dynamics of Snakes and Worms

Miller, G. (Aug. 1, 1988)
Computer Graphics, Vol. 22., No. 4 , August 1988, pp 169-178

From Wire-frames to Furry Animals

Miller, G. (Jun. 1, 1988)
Proceedings of Graphics Interface '88 , Edmonton, Alberta, 6-10 June 1988, pp 138-145

Editing Graphical Objects Using Procedural Representations

Asente, P. (Jul. 1, 1987)
Ph.D. Thesis, Stanford University Department of Computer Science

Computer Display and Manufacture of 3-D Models

Miller, G. (Feb. 1, 1987)
Ph.D. Thesis, Cambridge University Department of Engineering, Cambridge, England, 1987

The Definition and Rendering of Terrain Maps

Miller, G. (Aug. 1, 1986)
Computer Graphics Vol. 20, No. 4 , August 1986, pp 39-48

Program reduction using symbolic execution

King, J. (Dec. 20, 1981)
ACM SIGSOFT Softw. Eng. Notes , 6(1), 9–14

JANUS: An interactive system for document composition

Chamberlin, D., King, J., Slutz, D., Todd, S., J., P., Wade, B. (Oct. 11, 1981)
In Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation , 82–91

Program correctness: on inductive assertion methods

King, J. (Feb. 21, 1980)
IEEE Trans. Software Eng. , 6(5), 465-479

An introduction to proving the correctness of programs

Hantler, S., King, J. (Nov. 14, 1976)
ACM Comput. Surv. , 8(3), 331–353

Symbolic execution and program testing

King, J. (Feb. 15, 1976)
Commun. ACM , 19(7), 385–394

An interpretation oriented theorem prover over integers

King, J., Floyd, R. (Feb. 3, 1970)
In STOC '70: Proceedings of the second annual ACM symposium on Theory of computing , 169–179

A program verifier

King, J. (Feb. 14, 1969)
PhD Thesis, Carnegie Mellon University
1 54 55 56