Concepedia

Author

Geoffrey S. Smith

Cornell University

Also Known As

Geoffrey S. Smith, Smith, Geoffrey S

17

Publications

234

Citations

6

H-Index

22

Concepts

All Affiliations

Cornell University
GS

About

Geoffrey S. Smith is an author at Cornell University specializing in formal verification, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

92

2

Computer Science

2

2

92

3

Arts

1

1

61

4

Dance

1

1

61

5

Systems Engineering

1

1

32

Geoffrey S. Smith

×

4

Publications

182

Citations

4

H-Index

YearCitations

Page 1