Science Explorer Interactive view Map
Researcher · Johannes Kepler University of Linz · Austria

Martina Seidl

Martina Seidl publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Model-Driven Software Engineering Techniques and Advanced Software Engineering Methodologies.

ORCID 0000-0002-3267-4494 OpenAlex
World rank
#367,963
of 1,633,909 ranked researchers
Rank in Austria
#2,557
of 10,230
Works
41
Citations
132
Citations per work
3.2

What does Martina Seidl research?

Artificial Intelligence: 39.6%Software: 27.1%Computational Theory and Mathematics: 18.8%Computer Networks and Communications: 6.3%other fields: 8.2%40%top field
Artificial Intelligence39.6%Software27.1%Computational Theory and Mathematics18.8%Computer Networks and Communications6.3%other fields8.2%

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

  1. 1Artificial Intelligence40% of their works
  2. 2Software27% of their works
  3. 3Computational Theory and Mathematics19% of their works
  4. 4Computer Networks and Communications6% of their works
  5. 5Information Systems4% of their works
  6. 6Electrical and Electronic Engineering2% of their works

Research topics

Which keywords describe Martina Seidl's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Domain-Specific Languages, Model-Driven Engineering, Autonomic Computing and Self-Adaptive Systems.

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 Checking163 topics
  2. Temporal Logic122 topics
  3. Satisfiability Modulo Theories81 topic
  4. Symbolic Model Checker81 topic
  5. Domain-Specific Languages71 topic
  6. Model-Driven Engineering71 topic
  7. Autonomic Computing51 topic
  8. Self-Adaptive Systems51 topic
  9. Answer Set Programming41 topic
  10. Automated Testing41 topic
  11. Formal Verification41 topic
  12. Modal Logic41 topic
  13. Software Fault Localization41 topic
  14. Static Analysis41 topic
  15. Active Learning21 topic
  16. Bayesian Networks21 topic
  17. Causal Inference21 topic
  18. Machine Learning21 topic

Where does Martina Seidl work?

Martina Seidl's main affiliation in the publication record is Johannes Kepler University of Linz, Austria.

How many publications and citations does Martina Seidl have?

Science Explorer counts 41 works and 132 citations for Martina Seidl, ranking #367,963 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.