Science Explorer Back to mapMap
Discussion
Researcher · Weizmann Institute of Science · Israel

Amir Pnueli

Amir Pnueli publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Model-Driven Software Engineering Techniques.

OpenAlex
World rank
#41,533
of 7,710,434 ranked researchers
Rank in Israel
#390
of 38,292
Works
374
Citations
39k
Citations per work
104.0
h-index
88
i10-index 243Top 0.1% in Computational Theory and Mathematics
Amir Pnueli

What does Amir Pnueli research?

Amir Pnueli's work is mostly in Computer Science (88%), Biochemistry, Genetics and Molecular Biology (1%).

Physical Sciences: 330 works · 88.2% of their workComputer Science: 330 works · 88.2% of their workComputational Theory and Mathematics: 121 works · 32.3% of their workArtificial Intelligence: 103 works · 27.5% of their workSoftware: 43 works · 11.6% of their workHardware and Architecture: 40 works · 10.7% of their workComputer Networks and Communications: 23 works · 6.1% of their workEverything else: 40 works · 10.6% of their workLife Sciences: 4 works · 1.2% of their workBiochemistry, Genetics and Molecular Biology: 4 works · 1.2% of their workMolecular Biology: 4 works · 1.2% of their workTHEIR WORKAmir Pnueli374works
Life Sciences1%Physical Sciences88%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science33088.2%
  2. Everything else4010.6%
    1. Biochemistry, Genetics and Molecular Biology41.2%
  1. 1Computational Theory and Mathematics32% of their works
  2. 2Artificial Intelligence28% of their works
  3. 3Software12% of their works
  4. 4Hardware and Architecture11% of their works
  5. 5Computer Networks and Communications6% of their works
  6. 6Molecular Biology1% of their works

Research topics

Which keywords describe Amir Pnueli's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Domain-Specific Languages and Model-Driven Engineering.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking4773 topics
  2. Temporal Logic3132 topics
  3. Satisfiability Modulo Theories2681 topic
  4. Symbolic Model Checker2681 topic
  5. Formal Verification1641 topic
  6. Static Analysis1641 topic
  7. Domain-Specific Languages571 topic
  8. Model-Driven Engineering571 topic
  9. High-Level Synthesis481 topic
  10. Reconfigurable Computing481 topic
  11. Answer Set Programming451 topic
  12. Modal Logic451 topic
  13. Automated Testing411 topic
  14. Distributed Systems411 topic
  15. Fault Tolerance411 topic
  16. Software Fault Localization411 topic
  17. Deadlock Prevention321 topic
  18. Petri Nets321 topic

Where does Amir Pnueli work?

Amir Pnueli's main affiliation in the publication record is Weizmann Institute of Science, Israel.

How many publications and citations does Amir Pnueli have?

OpenAlex counts 374 works and 38,892 citations for Amir Pnueli, an h-index of 88, ranking #41,533 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Amir Pnueli. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.