Concepedia

Author

Arie Gurfinkel

Carnegie Mellon UniversityORCID

Also Known As

A Gurfinkel, A. Gurfinkel, Arie Gurfinkel, Gurfinkel Arie, Gurfinkel, Arie

190

Publications

3.9K

Citations

34

H-Index

86

Concepts

All Affiliations

Carnegie Mellon UniversityUniversity of TorontoSoftware Engineering InstituteUniversity of WaterlooTel Aviv University
AG

About

Arie Gurfinkel is an author at Carnegie Mellon University specializing in computer science, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

20

36

1.3K

2

Computer Engineering

12

13

362

3

Language Studies

2

2

31

4

Social Sciences

1

1

18

5

Architectural Engineering

1

1

18

Arie Gurfinkel

×

37

Publications

1.4K

Citations

20

H-Index

YearCitations

Page 1