Science Explorer Interactive view Map

Peter Barth

Peter Barth publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Oncology, on topics such as Formal Methods in Verification, Protein Degradation and Inhibitors and Neurological Disorders and Treatments.

World rank
#676,176
of 1,633,909 ranked researchers
Rank in Germany
#39,939
of 86,443
Works
18
Citations
49
Citations per work
2.7

What does Peter Barth research?

Computational Theory and Mathematics: 28.6%Artificial Intelligence: 14.3%Oncology: 14.3%Molecular Biology: 4.8%other fields: 38.0%29%top field
Computational Theory and Mathematics28.6%Artificial Intelligence14.3%Oncology14.3%Molecular Biology4.8%other fields38.0%

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 Mathematics29% of their works
  2. 2Artificial Intelligence14% of their works
  3. 3Oncology14% of their works
  4. 4Molecular Biology5% of their works
  5. 5Neurology5% of their works
  6. 6Biomedical Engineering5% of their works

Research topics

Which keywords describe Peter Barth's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Active Learning, Answer Set Programming, BET Bromodomains and Cerebrolysin.

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 Checking32 topics
  2. Temporal Logic32 topics
  3. Satisfiability Modulo Theories21 topic
  4. Symbolic Model Checker21 topic
  5. Active Learning11 topic
  6. Answer Set Programming11 topic
  7. BET Bromodomains11 topic
  8. Cerebrolysin11 topic
  9. Citicoline11 topic
  10. Compression11 topic
  11. Fuzzy Logic11 topic
  12. Gröbner Bases11 topic
  13. Machine Learning11 topic
  14. Modal Logic11 topic
  15. PROTACs11 topic
  16. Residuated Lattices11 topic
  17. Suffix Arrays11 topic
  18. Symbolic Computing11 topic

Where does Peter Barth work?

Peter Barth's main affiliation in the publication record is Max Planck Institute for Informatics, Germany.

How many publications and citations does Peter Barth have?

Science Explorer counts 18 works and 49 citations for Peter Barth, ranking #676,176 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.

Other researchers named Peter Barth

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.