Test Generation for FET Switching Circuits. - J. Paul Roth; Vojin G. Oklobdzija; John F. Beetem (ITC, 1984)

The GF11 Supercomputer. - John F. Beetem; Monty Denneau; Don Weingarten (ISCA, 1985)

Introduction to the Galaxy Language. - Anne F. Beetem; John F. Beetem (IEEE Softw., 1989)

Rapid implementation of hierarchical integrated simulators using Galaxy. - John F. Beetem (RSP, 1991)

Incremental Scanning and Parsing With Galaxy. - John F. Beetem; Anne F. Beetem (IEEE Trans. Software Eng., 1991)

Visualizing optimization algorithms via rapid prototyping of graphical user interfaces. - John F. Beetem (RSP, 1992)

Orthophrase extensibility in Galaxy. - John F. Beetem; Anne F. Beetem; J. M. Park (Inf. Softw. Technol., 1992)

Hierarchical topological sorting of apparent loops via partitioning. - John F. Beetem (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992)

Rebel: a clustering algorithm for look-up table FPGA's. - John F. Beetem (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)