Concepedia

Author

Haim Gaifman

Hebrew University of Jerusalem

Also Known As

Gaifman, Haim, H. Gaifman, HAIM GAIFMAN, Haim Gaifman

72

Publications

2.8K

Citations

23

H-Index

66

Concepts

All Affiliations

Hebrew University of JerusalemColumbia UniversityWeizmann Institute of ScienceIBM (United States)IBM Research - Almaden
HG

About

Haim Gaifman is an author at Hebrew University of Jerusalem specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

13

16

887

2

Language Studies

7

7

910

3

Education

1

1

16

4

Natural Sciences

1

1

11

5

Social Sciences

1

1

22

Haim Gaifman

×

31

Publications

2K

Citations

20

H-Index

YearCitations

Page 1