Science Explorer Interactive view Map
Researcher · V.M. Glushkov Institute of Cybernetics · Ukraine

A. A. Letichevsky

A. A. Letichevsky publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.

OpenAlex
World rank
#1,338,511
of 1,633,909 ranked researchers
Rank in Ukraine
#2,527
of 4,000
Works
17
Citations
20
Citations per work
1.2

What does A. A. Letichevsky research?

Artificial Intelligence: 31.6%Computational Theory and Mathematics: 26.3%Software: 21.1%Computer Networks and Communications: 10.5%other fields: 10.5%32%top field
Artificial Intelligence31.6%Computational Theory and Mathematics26.3%Software21.1%Computer Networks and Communications10.5%other fields10.5%

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

  1. 1Artificial Intelligence32% of their works
  2. 2Computational Theory and Mathematics26% of their works
  3. 3Software21% of their works
  4. 4Computer Networks and Communications10% of their works
  5. 5Computer Science Applications5% of their works
  6. 6Hardware and Architecture5% of their works

Research topics

Which keywords describe A. A. Letichevsky's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization and Autonomic Computing.

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 17 words, with their numbers
  1. Model Checking92 topics
  2. Formal Verification51 topic
  3. Static Analysis51 topic
  4. Satisfiability Modulo Theories41 topic
  5. Symbolic Model Checker41 topic
  6. Automated Testing21 topic
  7. Software Fault Localization21 topic
  8. Autonomic Computing11 topic
  9. Computing11 topic
  10. Continuous Queries11 topic
  11. Data Stream Management11 topic
  12. Deadlock Prevention11 topic
  13. Distributed Systems11 topic
  14. Grid Computing11 topic
  15. History11 topic
  16. Petri Nets11 topic
  17. Self-Adaptive Systems11 topic

Where does A. A. Letichevsky work?

A. A. Letichevsky's main affiliation in the publication record is V.M. Glushkov Institute of Cybernetics, Ukraine.

How many publications and citations does A. A. Letichevsky have?

Science Explorer counts 17 works and 20 citations for A. A. Letichevsky, ranking #1,338,511 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.