Helmut Schwichtenberg

38 papers receiving 448 citations

Peers

Helmut Schwichtenberg
Comparison fields: 5 of 39
  • Artificial Intelligence 446
  • Computational Theory and Mathematics 373
  • Computer Networks and Communications 58
  • Information Systems 19
  • Geometry and Topology 18
Replace Marc Bezem with:
Marc Bezem Norway
Ulrich Berger United Kingdom
John Doner United States
Paul-André Melliès France
Herman Geuvers Netherlands
Eugenio G. Omodeo Italy
Bengt Nordström Sweden
Kent Petersson Sweden
H. Schwichtenberg Germany
V. Stoltenberg-Hansen Sweden
Helmut Schwichtenberg relative to Marc Bezem Norway Marc Bezem's profile →
Citations per field
00.5×1.7×
Marc Bezem · 1×
Citations per year

Countries citing papers authored by Helmut Schwichtenberg

Since Specialization
Citations

This map shows the geographic impact of Helmut Schwichtenberg'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 Helmut Schwichtenberg with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Helmut Schwichtenberg more than expected).

Fields of papers citing papers by Helmut Schwichtenberg

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Helmut Schwichtenberg. 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 Helmut Schwichtenberg. The network helps show where Helmut Schwichtenberg may publish in the future.

Co-authorship network of co-authors of Helmut Schwichtenberg

This figure shows the co-authorship network connecting the top 25 collaborators of Helmut Schwichtenberg. A scholar is included among the top collaborators of Helmut Schwichtenberg based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Helmut Schwichtenberg. Helmut Schwichtenberg is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
#WorkIndexed citations
1 0
2 0
3 3
4 6
5 15
6 10
7
Proof technology and computation
6
8 10
9 1
10 14
11 8
12 36
13
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
3
14 38
15
Computer Science Logic. 14th International Workshop, CSL 2000
10
16 13
17 4
18 3
19
Definierbare Funktionen im Lambda-Kalkül mit Typen
9
20 4

About Helmut Schwichtenberg

Helmut Schwichtenberg is a scholar working on Theoretical Computer Science, Computational Theory and Mathematics and Artificial Intelligence, having authored 41 papers that have together received 497 indexed citations. Recurring topics across this work include Logic, programming, and type systems (28 papers), Logic, Reasoning, and Knowledge (22 papers) and Computability, Logic, AI Algorithms (14 papers). The work is most often cited by research in Computational Theory and Mathematics (373 citations), Artificial Intelligence (446 citations) and Theoretical Computer Science (6 citations). Helmut Schwichtenberg has collaborated with scholars based in Germany, United Kingdom and Italy. Frequent co-authors include Ulrich Berger, Friedrich L. Bauer, Wilfried Brauer, Stephen J. Bellantoni, Wilfried Buchholz, Grigori Mint︠s︡, Stanley S. Wainer, Stefan Berghofer, Pierre Letouzey and Matthias Eberl. Their work appears in journals such as Theoretical Computer Science, Journal of Symbolic Logic and Information and Computation.

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

Rankless by CCL
2026