David Harel

Weizmann Institute of Science IL

0000-0001-7240-3931

539

Publications

30,827

Citations

H-Index

226

i10-Index

2yr Mean Cite

Cite/Paper

Data combined from OpenAlex . OA = OpenAlex S2 = Semantic Scholar

Verify on Google Scholar

Publications

539 total

No publications found.

Research Topics

Formal Methods in Verification Advanced Software Engineering Methodologies Model-Driven Software Engineering Techniques Logic, programming, and type systems Logic, Reasoning, and Knowledge

Affiliations

Weizmann Institute of Science

External Profiles

OpenAlex Profile Search Semantic Scholar ORCID Profile Google Scholar

Share Profile

Back to Researchers

Continue on JournalsHub

Put what you just read into practice with these free tools.

Citation Rate Checker

Verify IF, SJR quartile, CiteScore by ISSN.

Indexing Tracker

Confirm Scopus, DOAJ, JCR, OpenAlex status.

Compare Journals

Side-by-side metrics for up to 3 journals.

Find My Journal

Paste your abstract — get matched journals.

ABDC Journal List

Business / management A*, A, B, C tiers.

Browse All Journals

Search 6,300+ journals with full metrics.

David Harel

Publications

Research Topics

Affiliations

External Profiles

Share Profile

Continue on JournalsHub

Journal Details

Join JournalsHub

Welcome Back