Andreas Roth

467 citations
18 papers · 344 · h-index 7

Impact in

  • Software top 5%
    • Model-Driven Software Engineering Techniques
    • Software Testing and Debugging Techniques
    • Logic, programming, and type systems
    • Security and Verification in Computing

Papers in

Andreas Roth

16 papers receiving 305 citations

Peers

Andreas Roth
Comparison fields: 5 of 46
  • Software 69
  • Artificial Intelligence 164
  • Computational Theory and Mathematics 66
  • Developmental and Educational Psychology 22
  • Physical Therapy, Sports Therapy and Rehabilitation 8
Replace Katalin Friedl with:
Katalin Friedl Hungary
Sidi Ould Biha France
Brian Dobbing United Kingdom
John Havlicek United States
Pierre Weis France
Qiwen Xu Macao
Adam Betts United Kingdom
Rich Washington United States
Sibylle Schupp Germany
Michel Bauderon France
Andreas Roth relative to Katalin Friedl Hungary Katalin Friedl's profile →
Citations per field
00.5×5×10×15×
Katalin Friedl · 1×
Citations per year

Countries citing papers authored by Andreas Roth

Since Specialization
Citations

This map shows the geographic impact of Andreas Roth's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Andreas Roth with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Andreas Roth more than expected).

Fields of papers citing papers by Andreas Roth

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Andreas Roth. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Andreas Roth. The network helps show where Andreas Roth may publish in the future.

Co-authors

The 25 scholars most cited alongside Andreas Roth, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Andreas Roth Line = papers co-authored together Andreas Roth links everyone, so they are left out of the graph.

All Works

18 of 18 papers shown
#Work
1 2004197
2 201928
3 201826
4 200523
5 201612
6 200911
7 201011
8 20087
9 20157
10 20186
11 20143
12 20173
13 20193
14
Taclets: a new paradigm for writing theorem provers
20042
15 20172
16 20192
17 20051
18 20060

About Andreas Roth

Andreas Roth is a scholar working on Physical Therapy, Sports Therapy and Rehabilitation, Developmental and Educational Psychology, Computational Theory and Mathematics, Artificial Intelligence and Management Information Systems, having authored 18 papers that have together received 344 indexed citations. Recurring topics across this work include Logic, programming, and type systems (5 papers), Physical Education and Training Studies (3 papers), Formal Methods in Verification (3 papers), Children's Physical and Motor Development (3 papers), Business Process Modeling and Analysis (2 papers), Distributed Control Multi-Agent Systems (2 papers), Sports Performance and Training (1 paper) and Stochastic processes and statistical mechanics (1 paper). The work is most often cited by research in Software (69 citations), Artificial Intelligence (164 citations), Computational Theory and Mathematics (66 citations), Developmental and Educational Psychology (22 citations) and Physical Therapy, Sports Therapy and Rehabilitation (8 citations). Andreas Roth has collaborated with scholars based in Germany, Sweden and United Kingdom. Frequent co-authors include Wolfgang Ahrendt, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Bernhard Beckert, Reiner Hähnle, Steffen Schlager C, Wolfram Menzel, Thomas Baar and Ralf Sasse. Their work appears in journals such as Sports, Communications in Mathematical Sciences, Software & Systems Modeling, Journal of Computational Physics and Multiscale Modeling and Simulation.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact