default search action

combined dblp search
author search
venue search
publication search

ask others

Gregory H. Chisholm

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/ChisholmELV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/ChisholmELV99
Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff:
Understanding Integrated Circuits. IEEE Des. Test Comput. 16(2): 26-37 (1999)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/ChisholmW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ChisholmW99
Gregory H. Chisholm, Anthony S. Wojcik:
An Application of Formal Analysis to Software in a Fault-Tolerant Environment. IEEE Trans. Computers 48(10): 1053-1064 (1999)
1989
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChisholmSW89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChisholmSW89
Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik:
An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods. J. Autom. Reason. 5(4): 533-540 (1989)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/DoomWWC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/DoomWWC98
Travis E. Doom, Jennifer L. White, Anthony S. Wojcik, Gregory H. Chisholm:
Identifying High-Level Components in Combinational Circuits. Great Lakes Symposium on VLSI 1998: 313-318
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/clrimg/SegalQKGC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clrimg/SegalQKGC93
Andrew C. Segal, John Quintas, Robert Kero, Richard Greene, Gregory H. Chisholm:
Formal system specification and testing of image processing/computer vision algorithms. Device-Independent Color Imaging and Imaging Systems Integration 1993: 256-261

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.