Science Explorer Interactive view Map
Researcher · Seibersdorf Laboratories (Austria) · Austria

Martin Suda

Martin Suda publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Atomic and Molecular Physics, and Optics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.

ORCID 0000-0003-0989-5800 OpenAlex
World rank
#743,505
of 1,633,909 ranked researchers
Rank in Austria
#5,080
of 10,230
Works
43
Citations
69
Citations per work
1.6

What does Martin Suda research?

Artificial Intelligence: 46.5%Computational Theory and Mathematics: 16.3%Atomic and Molecular Physics, and Optics: 11.6%General Agricultural and Biological Sciences: 2.3%other fields: 23.3%46%top field
Artificial Intelligence46.5%Computational Theory and Mathematics16.3%Atomic and Molecular Physics, and Optics11.6%General Agricultural and Biological Sciences2.3%other fields23.3%

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

  1. 1Artificial Intelligence46% of their works
  2. 2Computational Theory and Mathematics16% of their works
  3. 3Atomic and Molecular Physics, and Optics12% of their works
  4. 4General Agricultural and Biological Sciences2% of their works
  5. 5Signal Processing2% of their works
  6. 6Physical and Theoretical Chemistry2% of their works

Research topics

Which keywords describe Martin Suda's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Description Logics, Knowledge Representation, Formal Verification, Static Analysis, 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 21 words, with their numbers
  1. Model Checking193 topics
  2. Temporal Logic122 topics
  3. Description Logics82 topics
  4. Knowledge Representation82 topics
  5. Formal Verification71 topic
  6. Static Analysis71 topic
  7. Answer Set Programming61 topic
  8. Modal Logic61 topic
  9. Satisfiability Modulo Theories61 topic
  10. Symbolic Model Checker61 topic
  11. Entanglement52 topics
  12. Bell Inequality31 topic
  13. Decoherence31 topic
  14. Cryptography21 topic
  15. Ontology21 topic
  16. Quantum21 topic
  17. Semantic Web21 topic
  18. Agricultural Education11 topic
  19. Partially Ordered Sets11 topic
  20. Periodic Table11 topic
  21. School Gardens11 topic

Where does Martin Suda work?

Martin Suda's main affiliation in the publication record is Seibersdorf Laboratories (Austria), Austria.

How many publications and citations does Martin Suda have?

Science Explorer counts 43 works and 69 citations for Martin Suda, ranking #743,505 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.