Science Explorer Interactive view Map
Researcher · Czech Academy of Sciences, Institute of Mathematics · Czechia

Tomáš Masopust

Tomáš Masopust publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology, on topics such as semigroups and automata theory, DNA and Biological Computing and Formal Methods in Verification.

ORCID 0000-0001-9282-758X OpenAlex
World rank
#1,274,297
of 1,633,909 ranked researchers
Rank in Czechia
#5,922
of 9,029
Works
38
Citations
33
Citations per work
0.9

What does Tomáš Masopust research?

Computational Theory and Mathematics: 41.3%Artificial Intelligence: 23.9%Molecular Biology: 15.2%Computer Networks and Communications: 8.7%other fields: 10.9%41%top field
Computational Theory and Mathematics41.3%Artificial Intelligence23.9%Molecular Biology15.2%Computer Networks and Communications8.7%other fields10.9%

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 Mathematics41% of their works
  2. 2Artificial Intelligence24% of their works
  3. 3Molecular Biology15% of their works
  4. 4Computer Networks and Communications9% of their works
  5. 5Computer Vision and Pattern Recognition2% of their works
  6. 6Control and Systems Engineering2% of their works

Research topics

Which keywords describe Tomáš Masopust's research?

The keywords of their largest research topics: Automata, Formal Languages, Regular Expressions, Model Checking, DNA Computing, Molecular Computation, Satisfiability Modulo Theories and Symbolic Model Checker.

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. Automata152 topics
  2. Formal Languages101 topic
  3. Regular Expressions101 topic
  4. Model Checking82 topics
  5. DNA Computing71 topic
  6. Molecular Computation71 topic
  7. Satisfiability Modulo Theories51 topic
  8. Symbolic Model Checker51 topic
  9. Compression41 topic
  10. Deadlock Prevention41 topic
  11. Distributed Systems41 topic
  12. Fault Tolerance41 topic
  13. Petri Nets41 topic
  14. Suffix Arrays41 topic
  15. Active Learning31 topic
  16. Formal Verification31 topic
  17. Machine Learning31 topic
  18. Static Analysis31 topic

Where does Tomáš Masopust work?

Tomáš Masopust's main affiliation in the publication record is Czech Academy of Sciences, Institute of Mathematics, Czechia.

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

Science Explorer counts 38 works and 33 citations for Tomáš Masopust, ranking #1,274,297 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.