Gregory H. Chisholm

According to our database, Gregory H. Chisholm authored at least 5 papers between 1989 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

An Application of Formal Analysis to Software in a Fault-Tolerant Environment.

Gregory H. Chisholm, Anthony S. Wojcik

IEEE Trans. Computers, 1999

Understanding Integrated Circuits.

Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff

IEEE Des. Test Comput., 1999

1998

Identifying High-Level Components in Combinational Circuits.

Travis E. Doom, Jennifer L. White, Anthony S. Wojcik, Gregory H. Chisholm

Proceedings of the 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 1998

1993

Formal system specification and testing of image processing/computer vision algorithms.

Andrew C. Segal, John Quintas, Robert Kero, Richard Greene, Gregory H. Chisholm

Proceedings of the Device-Independent Color Imaging and Imaging Systems Integration, 1993

1989

An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods.

Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik

J. Autom. Reason., 1989