Science Explorer Back to mapMap
Discussion
Researcher · Swansea University · United Kingdom

Monika Seisenberger

Monika Seisenberger publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Explainable Artificial Intelligence (XAI) and Formal Methods in Verification.

ORCID 0000-0002-2226-386X OpenAlex
World rank
#4,435,166
of 7,710,434 ranked researchers
Rank in United Kingdom
#276,093
of 367,258
Works
50
Citations
376
Citations per work
7.5
h-index
11
i10-index 13Top 37% in Artificial Intelligence
Monika Seisenberger

What does Monika Seisenberger research?

Monika Seisenberger's work is mostly in Computer Science (73%), Engineering (4%).

Physical Sciences: 39 works · 77.4% of their workComputer Science: 36 works · 73.0% of their workArtificial Intelligence: 18 works · 36.5% of their workComputational Theory and Mathematics: 14 works · 27.0% of their workSoftware: 4 works · 7.3% of their workComputer Science Applications: 1 works · 2.2% of their workEngineering: 2 works · 4.4% of their workIndustrial and Manufacturing Engineering: 1 works · 2.2% of their workSafety, Risk, Reliability and Quality: 1 works · 2.2% of their workEverything else: 11 works · 22.6% of their workTHEIR WORKMonikaSeisenberger50works
Physical Sciences77%

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 Science3673.0%
    2. Engineering24.4%
  2. Everything else1122.6%
  1. 1Artificial Intelligence36% of their works
  2. 2Computational Theory and Mathematics27% of their works
  3. 3Software7% of their works
  4. 4Computer Science Applications2% of their works
  5. 5Industrial and Manufacturing Engineering2% of their works
  6. 6Safety, Risk, Reliability and Quality2% of their works

Research topics

Which keywords describe Monika Seisenberger's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Interpretable Models, Machine Learning Interpretability, 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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking333 topics
  2. Temporal Logic192 topics
  3. Formal Verification141 topic
  4. Static Analysis141 topic
  5. Interpretable Models121 topic
  6. Machine Learning Interpretability121 topic
  7. Satisfiability Modulo Theories121 topic
  8. Symbolic Model Checker121 topic
  9. Algorithmic Information Theory111 topic
  10. Computability111 topic
  11. Deep Learning91 topic
  12. Healthcare91 topic
  13. Answer Set Programming71 topic
  14. Modal Logic71 topic
  15. Automated Testing61 topic
  16. Software Fault Localization61 topic
  17. Fuzzy Logic51 topic
  18. Residuated Lattices51 topic

Where does Monika Seisenberger work?

Monika Seisenberger's main affiliation in the publication record is Swansea University, United Kingdom.

How many publications and citations does Monika Seisenberger have?

OpenAlex counts 50 works and 376 citations for Monika Seisenberger, an h-index of 11, ranking #4,435,166 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 Monika Seisenberger. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.