Science Explorer Back to mapMap
Discussion
Researcher · Memorial University of Newfoundland · Canada

Antonina Kolokolova

Antonina Kolokolova publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Computer Vision and Pattern Recognition, on topics such as Complexity and Algorithms in Graphs, Logic, Reasoning, and Knowledge and Formal Methods in Verification.

ORCID 0009-0003-9899-1147 OpenAlex
World rank
#4,246,549
of 7,710,434 ranked researchers
Rank in Canada
#130,266
of 183,316
Works
53
Citations
447
Citations per work
8.4
h-index
12
i10-index 15Top 34% in Computational Theory and Mathematics
Antonina Kolokolova

What does Antonina Kolokolova research?

Antonina Kolokolova's work is mostly in Computer Science (88%), Neuroscience (2%).

Physical Sciences: 46 works · 87.5% of their workComputer Science: 46 works · 87.5% of their workComputational Theory and Mathematics: 20 works · 38.2% of their workArtificial Intelligence: 20 works · 36.8% of their workComputer Networks and Communications: 2 works · 4.6% of their workComputer Vision and Pattern Recognition: 2 works · 4.6% of their workSignal Processing: 2 works · 3.3% of their workEverything else: 6 works · 10.5% of their workLife Sciences: 1 works · 2.0% of their workNeuroscience: 1 works · 2.0% of their workCognitive Neuroscience: 1 works · 2.0% of their workTHEIR WORKAntoninaKolokolova53works
Life Sciences2%Physical Sciences88%

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 Science4687.5%
  2. Everything else610.5%
    1. Neuroscience12.0%
  1. 1Computational Theory and Mathematics38% of their works
  2. 2Artificial Intelligence37% of their works
  3. 3Computer Vision and Pattern Recognition5% of their works
  4. 4Computer Networks and Communications5% of their works
  5. 5Signal Processing3% of their works
  6. 6Cognitive Neuroscience2% of their works

Research topics

Which keywords describe Antonina Kolokolova's research?

The keywords of their largest research topics: Model Checking, Algorithmic Applications, Approximation Algorithms, Temporal Logic, Combinatorial Optimization, Complexity Theory, 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 20 words, with their numbers
  1. Model Checking313 topics
  2. Algorithmic Applications302 topics
  3. Approximation Algorithms302 topics
  4. Temporal Logic232 topics
  5. Combinatorial Optimization201 topic
  6. Complexity Theory201 topic
  7. Answer Set Programming131 topic
  8. Modal Logic131 topic
  9. Graph Theory101 topic
  10. Parameterized Complexity101 topic
  11. Satisfiability Modulo Theories101 topic
  12. Symbolic Model Checker101 topic
  13. Active Learning91 topic
  14. Machine Learning91 topic
  15. Algorithmic Information Theory81 topic
  16. Computability81 topic
  17. Formal Verification81 topic
  18. Static Analysis81 topic
  19. Fuzzy Logic61 topic
  20. Residuated Lattices61 topic

Where does Antonina Kolokolova work?

Antonina Kolokolova's main affiliation in the publication record is Memorial University of Newfoundland, Canada.

How many publications and citations does Antonina Kolokolova have?

OpenAlex counts 53 works and 447 citations for Antonina Kolokolova, an h-index of 12, ranking #4,246,549 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 Antonina Kolokolova. Posts are plain text and can be reported.