Concepedia

Author

Eyal Harel

Weizmann Institute of Science

Also Known As

E. Harel, Eyal Harel

5

Publications

288

Citations

4

H-Index

13

Concepts

All Affiliations

Weizmann Institute of Science
EH

About

Eyal Harel is an author at Weizmann Institute of Science specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

168

2

Computer Science

2

2

168

3

Systems Engineering

2

2

168

4

Real-time Systems

2

2

168

5

Automated Reasoning

2

2

168

Eyal Harel

×

2

Publications

168

Citations

2

H-Index

YearCitations

Explicit clock temporal logic

Eyal Harel, Orna Lichtenstein, Amir Pnueli

2002

136

Applications of temporal logic to the specification of real time systems (extended abstract)

Amir Pnueli, Eyal Harel

1988

32

Page 1