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?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics29% of their works
- 2Artificial Intelligence14% of their works
- 3Oncology14% of their works
- 4Molecular Biology5% of their works
- 5Neurology5% of their works
- 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.
- Symbolic Computing
- Residuated Lattices
- Modal Logic
- Gröbner Bases
- Compression
- Cerebrolysin
- Answer Set Programming
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Active Learning
- BET Bromodomains
- Citicoline
- Fuzzy Logic
- Machine Learning
- PROTACs
- Suffix Arrays
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
- Model Checking32 topics
- Temporal Logic32 topics
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Active Learning11 topic
- Answer Set Programming11 topic
- BET Bromodomains11 topic
- Cerebrolysin11 topic
- Citicoline11 topic
- Compression11 topic
- Fuzzy Logic11 topic
- Gröbner Bases11 topic
- Machine Learning11 topic
- Modal Logic11 topic
- PROTACs11 topic
- Residuated Lattices11 topic
- Suffix Arrays11 topic
- 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.