А. А. Логинов
А. А. Логинов 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.
- 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?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence14% of their works
- 2Astronomy and Astrophysics14% of their works
- 3Atomic and Molecular Physics, and Optics10% of their works
- 4Computational Theory and Mathematics7% of their works
- 5Software7% of their works
- 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.
- Noble Gas Compounds
- Magnetosome Formation
- Fluoride Ion Batteries
- Wavelets
- Static Analysis
- Satisfiability Modulo Theories
- Gravitational Waves
- Formal Verification
- Temporal Logic
- Model Checking
- Binary Black Hole
- Frames
- Image Denoising
- Sparse Representations
- Symbolic Model Checker
- Answer Set Programming
- Geomagnetic Field
- 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
- Model Checking53 topics
- Temporal Logic32 topics
- Binary Black Hole21 topic
- Formal Verification21 topic
- Frames21 topic
- Gravitational Waves21 topic
- Image Denoising21 topic
- Satisfiability Modulo Theories21 topic
- Sparse Representations21 topic
- Static Analysis21 topic
- Symbolic Model Checker21 topic
- Wavelets21 topic
- Answer Set Programming11 topic
- Fluoride Ion Batteries11 topic
- Geomagnetic Field11 topic
- Magnetosome Formation11 topic
- Modal Logic11 topic
- 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.