Science Explorer Back to mapMap
Discussion
Researcher · University of Oxford · United Kingdom

Mahsa Shirmohammadi

Mahsa Shirmohammadi publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Management Science and Operations Research, on topics such as Formal Methods in Verification, semigroups and automata theory and Logic, programming, and type systems.

ORCID 0000-0002-7779-2339 OpenAlex
World rank
#6,744,780
of 7,710,434 ranked researchers
Rank in United Kingdom
#353,245
of 367,258
Works
85
Citations
247
Citations per work
2.9
h-index
8
i10-index 6Top 57% in Computational Theory and Mathematics
Mahsa Shirmohammadi

What does Mahsa Shirmohammadi research?

Mahsa Shirmohammadi's work is mostly in Computer Science (67%), Decision Sciences (5%), Mathematics (3%).

Physical Sciences: 60 works · 70.4% of their workComputer Science: 57 works · 67.4% of their workComputational Theory and Mathematics: 35 works · 40.7% of their workArtificial Intelligence: 19 works · 22.9% of their workComputer Networks and Communications: 3 works · 3.8% of their workMathematics: 3 works · 3.0% of their workAlgebra and Number Theory: 3 works · 3.0% of their workEverything else: 19 works · 21.9% of their workSocial Sciences: 7 works · 7.7% of their workDecision Sciences: 4 works · 4.7% of their workManagement Science and Operations Research: 4 works · 4.7% of their workEconomics, Econometrics and Finance: 3 works · 3.0% of their workEconomics and Econometrics: 3 works · 3.0% of their workTHEIR WORKMahsaShirmohammadi85works
Physical Sciences70%Social Sciences8%

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 Science5767.4%
    2. Mathematics33.0%
  2. Everything else1921.9%
    1. Decision Sciences44.7%
    2. Economics, Econometrics and Finance33.0%
  1. 1Computational Theory and Mathematics41% of their works
  2. 2Artificial Intelligence23% of their works
  3. 3Management Science and Operations Research5% of their works
  4. 4Computer Networks and Communications4% of their works
  5. 5Economics and Econometrics3% of their works
  6. 6Algebra and Number Theory3% of their works

Research topics

Which keywords describe Mahsa Shirmohammadi's research?

The keywords of their largest research topics: Model Checking, Automata, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Languages, Regular Expressions 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. 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 19 words, with their numbers
  1. Model Checking623 topics
  2. Automata572 topics
  3. Temporal Logic502 topics
  4. Satisfiability Modulo Theories381 topic
  5. Symbolic Model Checker381 topic
  6. Formal Languages191 topic
  7. Regular Expressions191 topic
  8. Answer Set Programming121 topic
  9. Formal Verification121 topic
  10. Modal Logic121 topic
  11. Static Analysis121 topic
  12. Deadlock Prevention101 topic
  13. Deep Learning101 topic
  14. Petri Nets101 topic
  15. Reinforcement Learning101 topic
  16. Gröbner Bases81 topic
  17. Symbolic Computing81 topic
  18. Game Theory71 topic
  19. Network Formation71 topic

Where does Mahsa Shirmohammadi work?

Mahsa Shirmohammadi's main affiliation in the publication record is University of Oxford, United Kingdom.

How many publications and citations does Mahsa Shirmohammadi have?

OpenAlex counts 85 works and 247 citations for Mahsa Shirmohammadi, an h-index of 8, ranking #6,744,780 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 Mahsa Shirmohammadi. 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.