Science Explorer Interactive view Map
Researcher · Institute for System Programming · Russia

В. А. Захаров

В. А. Захаров publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, semigroups and automata theory and Logic, programming, and type systems.

ORCID 0000-0002-3794-9565 OpenAlex
World rank
#1,524,626
of 1,633,909 ranked researchers
Rank in Russia
#23,687
of 28,789
Works
27
Citations
14
Citations per work
0.5

What does В. А. Захаров research?

Computational Theory and Mathematics: 26.5%Artificial Intelligence: 24.5%Software: 8.2%Signal Processing: 6.1%other fields: 34.7%26%top field
Computational Theory and Mathematics26.5%Artificial Intelligence24.5%Software8.2%Signal Processing6.1%other fields34.7%

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

  1. 1Computational Theory and Mathematics26% of their works
  2. 2Artificial Intelligence24% of their works
  3. 3Software8% of their works
  4. 4Signal Processing6% of their works
  5. 5Hardware and Architecture6% of their works
  6. 6Computer Networks and Communications4% of their works

Research topics

Which keywords describe В. А. Захаров's research?

The keywords of their largest research topics: Automata, Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Languages, Regular Expressions, Android Malware and Detection.

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. Automata102 topics
  2. Model Checking92 topics
  3. Satisfiability Modulo Theories61 topic
  4. Symbolic Model Checker61 topic
  5. Formal Languages41 topic
  6. Regular Expressions41 topic
  7. Android Malware31 topic
  8. Detection31 topic
  9. Formal Verification31 topic
  10. Static Analysis31 topic
  11. Algorithmic Information Theory21 topic
  12. Computability21 topic
  13. Hard Real-Time Systems21 topic
  14. Homomorphic Encryption21 topic
  15. Identity-Based Encryption21 topic
  16. Scheduling Algorithms21 topic
  17. Security Policies21 topic
  18. Side-Channel Attacks21 topic

Where does В. А. Захаров work?

В. А. Захаров's main affiliation in the publication record is Institute for System Programming, Russia.

How many publications and citations does В. А. Захаров have?

Science Explorer counts 27 works and 14 citations for В. А. Захаров, ranking #1,524,626 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.

Other researchers named В. А. Захаров

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.