Concepedia

Author

Ori Lahav

Tel Aviv UniversityORCID

Also Known As

Lahav O., Lahav, Ori, O. Lahav, Ori Lahav

111

Publications

1.6K

Citations

21

H-Index

60

Concepts

All Affiliations

Tel Aviv UniversityMax Planck Institute for Software SystemsSeoul National UniversityReichman UniversityUppsala University
OL

About

Ori Lahav is an author at Tel Aviv University specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

18

23

936

2

Language Studies

3

3

111

3

Business

1

1

28

4

Social Sciences

1

1

20

5

Cognitive Science

1

1

20

Ori Lahav

×

29

Publications

1.1K

Citations

20

H-Index

YearCitations

Page 1