Science Explorer Interactive view Map
Researcher · University of Leicester · United Kingdom

Nir Piterman

Nir Piterman publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology, on topics such as Formal Methods in Verification, Logic, programming, and type systems and semigroups and automata theory.

ORCID 0000-0002-8242-5357 OpenAlex
World rank
#34,410
of 1,633,909 ranked researchers
Rank in United Kingdom
#3,190
of 90,785
Works
53
Citations
442
Citations per work
8.3

What does Nir Piterman research?

Computational Theory and Mathematics: 35.6%Artificial Intelligence: 28.8%Molecular Biology: 13.6%Software: 10.2%other fields: 11.8%36%top field
Computational Theory and Mathematics35.6%Artificial Intelligence28.8%Molecular Biology13.6%Software10.2%other fields11.8%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics36% of their works
  2. 2Artificial Intelligence29% of their works
  3. 3Molecular Biology14% of their works
  4. 4Software10% of their works
  5. 5Hardware and Architecture3% of their works
  6. 6Computational Mechanics2% of their works

Research topics

Which keywords describe Nir Piterman's research?

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

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.

All 19 words, with their numbers
  1. Model Checking253 topics
  2. Automata192 topics
  3. Temporal Logic162 topics
  4. Satisfiability Modulo Theories141 topic
  5. Symbolic Model Checker141 topic
  6. Formal Verification91 topic
  7. Static Analysis91 topic
  8. Formal Languages51 topic
  9. Regular Expressions51 topic
  10. Automated Testing31 topic
  11. Software Fault Localization31 topic
  12. Answer Set Programming21 topic
  13. DNA Computing21 topic
  14. Deadlock Prevention21 topic
  15. Gene Regulatory Networks21 topic
  16. Modal Logic21 topic
  17. Molecular Computation21 topic
  18. Petri Nets21 topic
  19. Stochastic Gene Expression21 topic

Where does Nir Piterman work?

Nir Piterman's main affiliation in the publication record is University of Leicester, United Kingdom.

How many publications and citations does Nir Piterman have?

Science Explorer counts 53 works and 442 citations for Nir Piterman, ranking #34,410 of 1,633,909 researchers worldwide on the composite score.

Ranked on field-normalised 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 are in the interactive view on the map. Is this your page? Request a correction or removal.