Thomas Tuerk
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Hardware and Architecture top 5%
- Parallel Computing and Optimization Techniques
- Embedded Systems Design Techniques
Papers in
- Software 4
- Software Testing and Debugging Techniques 4
-
- Formal Methods in Verification 7
- Co-authors
- Arnd Vogler (3 shared papers)Peter Lammich (1 shared paper)Ute Resch‐Genger (2 shared papers)Marye Anne Fox (2 shared papers)Klaus Schneider (4 shared papers)Tobias Schuele (2 shared papers)Jens Brandt (2 shared papers)Horst Kunkely (1 shared paper)
- Journals
- The Journal of Physical Chemistry (1 paper)Inorganic Chemistry (1 paper)Organometallics (1 paper)Lecture notes in computer science (7 papers)Leicester Research Archive (University of Leicester) (1 paper)
- Partner nations
- GermanyUnited KingdomUnited States
In The Last Decade
Thomas Tuerk
15 papers receiving 354 citations
Peers
Comparison fields: 5 of 41
- Software 67
- Hardware and Architecture 86
- Computational Theory and Mathematics 153
- Artificial Intelligence 159
- Materials Chemistry 95
Countries citing papers authored by Thomas Tuerk
This map shows the geographic impact of Thomas Tuerk'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 Thomas Tuerk with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Thomas Tuerk more than expected).
Fields of papers citing papers by Thomas Tuerk
This network shows the impact of papers produced by Thomas Tuerk. 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 Thomas Tuerk. The network helps show where Thomas Tuerk may publish in the future.
Co-authors
The 19 scholars most cited alongside Thomas Tuerk, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2011 | 72 | |
| 2 | 1992 | 47 | |
| 3 | 1991 | 46 | |
| 4 | 2012 | 45 | |
| 5 | 1992 | 40 | |
| 6 | 2015 | 36 | |
| 7 | 2006 | 33 | |
| 8 | 2009 | 25 | |
| 9 | Improving Constructiveness in Code Generators | 2005 | 18 |
| 10 | 2007 | 7 | |
| 11 | 2016 | 7 | |
| 12 | 2005 | 3 | |
| 13 | 2015 | 1 | |
| 14 | The 1st Verified Software Competition, Extended Experience Report | 2011 | 1 |
| 15 | 2021 | 1 |
About Thomas Tuerk
Thomas Tuerk is a scholar working on Software, Computational Theory and Mathematics, Hardware and Architecture, Artificial Intelligence and Information Systems, having authored 15 papers that have together received 382 indexed citations. Recurring topics across this work include Formal Methods in Verification (7 papers), Logic, programming, and type systems (6 papers), Software Testing and Debugging Techniques (4 papers), Security and Verification in Computing (2 papers), Software Engineering Research (2 papers), Logic, Reasoning, and Knowledge (2 papers), Parallel Computing and Optimization Techniques (2 papers) and Metal complexes synthesis and properties (2 papers). The work is most often cited by research in Software (67 citations), Hardware and Architecture (86 citations), Computational Theory and Mathematics (153 citations), Artificial Intelligence (159 citations) and Materials Chemistry (95 citations). Thomas Tuerk has collaborated with scholars based in Germany, United Kingdom and United States. Frequent co-authors include Arnd Vogler, Peter Lammich, Ute Resch‐Genger, Marye Anne Fox, Klaus Schneider, Tobias Schuele, Jens Brandt, Horst Kunkely, Wolfgang Anton Herrmann and Claude de Bellefon. Their work appears in journals such as The Journal of Physical Chemistry, Inorganic Chemistry, Organometallics, Lecture notes in computer science and Leicester Research Archive (University of Leicester).
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.