Science Explorer Interactive view Map
Researcher · Rice University · United States

Moshe Y. Vardi

Moshe Y. Vardi publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.

ORCID 0000-0002-0661-5773 OpenAlex
World rank
#27,381
of 1,633,909 ranked researchers
Rank in United States
#12,847
of 358,040
Works
224
Citations
2.1k
Citations per work
9.5

What does Moshe Y. Vardi research?

Artificial Intelligence: 31.3%Computational Theory and Mathematics: 27.8%Software: 10.0%Computer Networks and Communications: 5.3%other fields: 25.6%31%top field
Artificial Intelligence31.3%Computational Theory and Mathematics27.8%Software10.0%Computer Networks and Communications5.3%other fields25.6%

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

  1. 1Artificial Intelligence31% of their works
  2. 2Computational Theory and Mathematics28% of their works
  3. 3Software10% of their works
  4. 4Computer Networks and Communications5% of their works
  5. 5Computer Vision and Pattern Recognition3% of their works
  6. 6Signal Processing2% of their works

Research topics

Which keywords describe Moshe Y. Vardi's research?

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

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 Checking1173 topics
  2. Temporal Logic842 topics
  3. Automata732 topics
  4. Satisfiability Modulo Theories601 topic
  5. Symbolic Model Checker601 topic
  6. Formal Verification331 topic
  7. Static Analysis331 topic
  8. Answer Set Programming241 topic
  9. Modal Logic241 topic
  10. Automated Testing141 topic
  11. Software Fault Localization141 topic
  12. Formal Languages131 topic
  13. Regular Expressions131 topic
  14. Active Learning101 topic
  15. Continuous Queries101 topic
  16. Data Stream Management101 topic
  17. Machine Learning101 topic
  18. Bayesian Networks91 topic
  19. Causal Inference91 topic

Where does Moshe Y. Vardi work?

Moshe Y. Vardi's main affiliation in the publication record is Rice University, United States.

How many publications and citations does Moshe Y. Vardi have?

Science Explorer counts 224 works and 2,128 citations for Moshe Y. Vardi, ranking #27,381 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.