Science Explorer Back to mapMap
Discussion
Researcher · University of Minnesota Morris · United States

Elena Machkasova

Elena Machkasova publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.

OpenAlex
World rank
#6,977,385
of 7,710,434 ranked researchers
Rank in United States
#1,572,718
of 1,627,098
Works
21
Citations
83
Citations per work
4.0
h-index
5
i10-index 2Top 82% in Artificial Intelligence
Elena Machkasova

What does Elena Machkasova research?

Elena Machkasova's work is mostly in Computer Science (89%), Biochemistry, Genetics and Molecular Biology (2%).

Physical Sciences: 19 works · 88.6% of their workComputer Science: 19 works · 88.6% of their workArtificial Intelligence: 9 works · 41.5% of their workComputational Theory and Mathematics: 4 works · 17.0% of their workComputer Networks and Communications: 2 works · 11.3% of their workHardware and Architecture: 2 works · 11.3% of their workComputer Science Applications: 2 works · 7.5% of their workEverything else: 2 works · 9.5% of their workLife Sciences: 0 works · 1.9% of their workBiochemistry, Genetics and Molecular Biology: 0 works · 1.9% of their workMolecular Biology: 0 works · 1.9% of their workTHEIR WORKElena Machkasova21works
Life Sciences2%Physical Sciences89%

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 Science1988.6%
  2. Everything else29.5%
    1. Biochemistry, Genetics and Molecular Biology01.9%
  1. 1Artificial Intelligence42% of their works
  2. 2Computational Theory and Mathematics17% of their works
  3. 3Computer Networks and Communications11% of their works
  4. 4Hardware and Architecture11% of their works
  5. 5Computer Science Applications8% of their works
  6. 6Molecular Biology2% of their works

Research topics

Which keywords describe Elena Machkasova's research?

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

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 18 words, with their numbers
  1. Model Checking273 topics
  2. Formal Verification141 topic
  3. Static Analysis141 topic
  4. Temporal Logic132 topics
  5. Satisfiability Modulo Theories71 topic
  6. Symbolic Model Checker71 topic
  7. Answer Set Programming61 topic
  8. Modal Logic61 topic
  9. Parallel Computing61 topic
  10. Performance Optimization61 topic
  11. Computational Thinking31 topic
  12. Distributed Systems31 topic
  13. Fault Tolerance31 topic
  14. Programming Education31 topic
  15. Continuous Queries21 topic
  16. Data Stream Management21 topic
  17. DNA Computing11 topic
  18. Molecular Computation11 topic

Where does Elena Machkasova work?

Elena Machkasova's main affiliation in the publication record is University of Minnesota Morris, United States.

How many publications and citations does Elena Machkasova have?

OpenAlex counts 21 works and 83 citations for Elena Machkasova, an h-index of 5, ranking #6,977,385 of 7,710,434 researchers worldwide on the quality 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 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 Elena Machkasova. Posts are plain text and can be reported.