Science Explorer Interactive view Map
Researcher · GrammaTech (United States) · United States

А. А. Логинов

А. А. Логинов publishes mostly in Artificial Intelligence, Astronomy and Astrophysics and Atomic and Molecular Physics, and Optics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Image and Signal Denoising Methods.

ORCID 0000-0002-3966-4045 OpenAlex
World rank
#1,130,405
of 1,633,909 ranked researchers
Rank in United States
#285,047
of 358,040
Works
20
Citations
54
Citations per work
2.7

What does А. А. Логинов research?

Artificial Intelligence: 13.8%Astronomy and Astrophysics: 13.8%Atomic and Molecular Physics, and Optics: 10.3%Computational Theory and Mathematics: 6.9%other fields: 55.2%14%top field
Artificial Intelligence13.8%Astronomy and Astrophysics13.8%Atomic and Molecular Physics, and Optics10.3%Computational Theory and Mathematics6.9%other fields55.2%

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

  1. 1Artificial Intelligence14% of their works
  2. 2Astronomy and Astrophysics14% of their works
  3. 3Atomic and Molecular Physics, and Optics10% of their works
  4. 4Computational Theory and Mathematics7% of their works
  5. 5Software7% of their works
  6. 6Applied Mathematics7% of their works

Research topics

Which keywords describe А. А. Логинов's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Binary Black Hole, Formal Verification, Frames, Gravitational Waves, Image Denoising and Satisfiability Modulo Theories.

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 Checking53 topics
  2. Temporal Logic32 topics
  3. Binary Black Hole21 topic
  4. Formal Verification21 topic
  5. Frames21 topic
  6. Gravitational Waves21 topic
  7. Image Denoising21 topic
  8. Satisfiability Modulo Theories21 topic
  9. Sparse Representations21 topic
  10. Static Analysis21 topic
  11. Symbolic Model Checker21 topic
  12. Wavelets21 topic
  13. Answer Set Programming11 topic
  14. Fluoride Ion Batteries11 topic
  15. Geomagnetic Field11 topic
  16. Magnetosome Formation11 topic
  17. Modal Logic11 topic
  18. Noble Gas Compounds11 topic

Where does А. А. Логинов work?

А. А. Логинов's main affiliation in the publication record is GrammaTech (United States), United States.

How many publications and citations does А. А. Логинов have?

Science Explorer counts 20 works and 54 citations for А. А. Логинов, ranking #1,130,405 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.