Publications

Publication date: March 1, 1990

An Adaptive Algorithm for the Collision of Flexible Bodies

Proceedings of Western Canadian Computer Graphics Workshop , Sunshine Village, Banff, Alberta, Canada, 4-8 March 1990

Gavin Miller

Publication date: February 1, 1990

Rapid, Stable Fluid Dynamics for Animation

Proceedings of SIGGRAPH '90

M. Kass, Gavin Miller

Publication date: January 31, 1990

Starburst Database System Mid-flight: as the Dust Clears

IEEE Transactions on Knowledge and Data Engineering, Vol. 2. No. I , ISSN: 1041-4347

L. Haas, Walter Chang

Publication date: November 1, 1989

Goal-directed snake motion over uneven terrain

Computer Graphics '89 , pp. 257-272, Blenheim Online Publications, November 1989

Gavin Miller

Publication date: May 31, 1989

A medial axis transform algorithm for compression and vectorization of document images

IEEE Int. Conf. on Acoustics, Speech, and Signal Processing . pp. 1850-1853. May 1989

Jonathan Brandt, A. Jain

Publication date: February 1, 1989

Globular Dynamics: A Connected Particle System for Animating Viscous Fluids

Computers and Graphics Vol. 13, No. 3, pp 305-309, 1989

Gavin Miller, A. Pearce

Publication date: January 31, 1989

A Signature Access Method for the Starburst Database System

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

Walter Chang, H. Schek

Publication date: January 1, 1989

An Object Oriented Model for a Radar System Simulation

State University of New York at Buffalo, Department of Computer Science

D. Sher, Shriram Revankar, R. Venkatesan

Publication date: October 17, 1988

An overview of the X toolkit

UIST 1988 – Proceedings of the 1st Annual ACM Symposium on User Interface Software and Technology

Joel McCormack, Paul Asente

• Human Computer Interaction
• Systems & Languages

Publication date: September 1, 1988

About the cover: Natural Phenomena

IEEE Computer Graphics and Applications , Vol. 8, No. 5, pp4-7, Sept 1988

Gavin Miller

Publication date: August 1, 1988

The Motion Dynamics of Snakes and Worms

Computer Graphics, Vol. 22., No. 4 , August 1988, pp 169-178

Gavin Miller

Publication date: June 1, 1988

From Wire-frames to Furry Animals

Proceedings of Graphics Interface '88 , Edmonton, Alberta, 6-10 June 1988, pp 138-145

Gavin Miller

Publication date: July 1, 1987

Editing Graphical Objects Using Procedural Representations

Ph.D. Thesis, Stanford University Department of Computer Science

Paul Asente

• Graphics (2D & 3D)
• Human Computer Interaction
• Systems & Languages

Publication date: February 1, 1987

Computer Display and Manufacture of 3-D Models

Ph.D. Thesis, Cambridge University Department of Engineering, Cambridge, England, 1987

Gavin Miller

Publication date: August 1, 1986

The Definition and Rendering of Terrain Maps

Computer Graphics Vol. 20, No. 4 , August 1986, pp 39-48

Gavin Miller

Publication date: December 20, 1981

Program reduction using symbolic execution

ACM SIGSOFT Softw. Eng. Notes , 6(1), 9–14

J. King

Publication date: October 11, 1981

JANUS: An interactive system for document composition

In Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation , 82–91

D. Chamberlin, J. King, D. Slutz, S. Todd, P. J., B. Wade

Publication date: February 21, 1980

Program correctness: on inductive assertion methods

IEEE Trans. Software Eng. , 6(5), 465-479

J. King

Publication date: November 14, 1976

An introduction to proving the correctness of programs

ACM Comput. Surv. , 8(3), 331–353

S. Hantler, J. King

Publication date: February 15, 1976

Symbolic execution and program testing

Commun. ACM , 19(7), 385–394

J. King