Science Explorer Interactive view Map
Researcher · Brno University of Technology · Czechia

Tomáš Vojnar

Tomáš Vojnar publishes mostly in Software, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Software Testing and Debugging Techniques, Formal Methods in Verification and Logic, programming, and type systems.

ORCID 0000-0002-2746-8792 OpenAlex
World rank
#801,956
of 1,633,909 ranked researchers
Rank in Czechia
#2,777
of 9,029
Works
47
Citations
112
Citations per work
2.4

What does Tomáš Vojnar research?

Software: 24.6%Computational Theory and Mathematics: 24.6%Hardware and Architecture: 11.6%Artificial Intelligence: 11.6%other fields: 27.6%25%top field
Software24.6%Computational Theory and Mathematics24.6%Hardware and Architecture11.6%Artificial Intelligence11.6%other fields27.6%

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

  1. 1Software25% of their works
  2. 2Computational Theory and Mathematics25% of their works
  3. 3Hardware and Architecture12% of their works
  4. 4Artificial Intelligence12% of their works
  5. 5Information Systems9% of their works
  6. 6Computer Networks and Communications3% of their works

Research topics

Which keywords describe Tomáš Vojnar's research?

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

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 Checking162 topics
  2. Automata132 topics
  3. Automated Testing121 topic
  4. Software Fault Localization121 topic
  5. Satisfiability Modulo Theories111 topic
  6. Symbolic Model Checker111 topic
  7. Formal Verification51 topic
  8. Static Analysis51 topic
  9. Architecture-Based Approach41 topic
  10. Code Clone Detection41 topic
  11. Refactoring41 topic
  12. Software Reliability Modeling41 topic
  13. Embedded Cores31 topic
  14. Test Data Compression31 topic
  15. Deadlock Prevention21 topic
  16. Formal Languages21 topic
  17. Petri Nets21 topic
  18. Regular Expressions21 topic

Where does Tomáš Vojnar work?

Tomáš Vojnar's main affiliation in the publication record is Brno University of Technology, Czechia.

How many publications and citations does Tomáš Vojnar have?

Science Explorer counts 47 works and 112 citations for Tomáš Vojnar, ranking #801,956 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.