Helmut Schwichtenberg

1.6k total citations
41 papers, 497 citations indexed

About

Helmut Schwichtenberg is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computational Mechanics. According to data from OpenAlex, Helmut Schwichtenberg has authored 41 papers receiving a total of 497 indexed citations (citations by other indexed papers that have themselves been cited), including 32 papers in Artificial Intelligence, 28 papers in Computational Theory and Mathematics and 2 papers in Computational Mechanics. Recurrent topics in Helmut Schwichtenberg's work include Logic, programming, and type systems (28 papers), Logic, Reasoning, and Knowledge (22 papers) and Computability, Logic, AI Algorithms (14 papers). Helmut Schwichtenberg is often cited by papers focused on Logic, programming, and type systems (28 papers), Logic, Reasoning, and Knowledge (22 papers) and Computability, Logic, AI Algorithms (14 papers). Helmut Schwichtenberg collaborates with scholars based in Germany, United Kingdom and Italy. Helmut Schwichtenberg's co-authors include Ulrich Berger, Wilfried Brauer, Friedrich L. Bauer, Stephen J. Bellantoni, Wilfried Buchholz, Grigori Mint︠s︡, Stanley S. Wainer, Pierre Letouzey, Stefan Berghofer and Matthias Eberl and has published in prestigious journals such as Theoretical Computer Science, Journal of Symbolic Logic and Information and Computation.

In The Last Decade

Helmut Schwichtenberg

38 papers receiving 448 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Helmut Schwichtenberg Germany	13	446	373	58	19	18	41	497
Ulrich Berger United Kingdom	13	398 0.9×	333 0.9×	35 0.6×	17 0.9×	24 1.3×	42	453
Gianluigi Bellin Italy	9	287 0.6×	201 0.5×	29 0.5×	15 0.8×	7 0.4×	19	302
Eugenio G. Omodeo Italy	10	294 0.7×	311 0.8×	86 1.5×	12 0.6×	35 1.9×	63	423
H. Schwichtenberg Germany	5	496 1.1×	354 0.9×	21 0.4×	10 0.5×	6 0.3×	6	527
Leo Bachmair United States	14	632 1.4×	456 1.2×	84 1.4×	41 2.2×	29 1.6×	33	699
Daniël Leivant United States	16	699 1.6×	566 1.5×	65 1.1×	22 1.2×	10 0.6×	53	743
Christian Urban Germany	11	422 0.9×	300 0.8×	46 0.8×	39 2.1×	6 0.3×	30	454
Christof Löding Germany	10	203 0.5×	227 0.6×	28 0.5×	19 1.0×	9 0.5×	42	296
Marc Bezem Norway	10	400 0.9×	299 0.8×	44 0.8×	11 0.6×	33 1.8×	44	480
Marino Miculan Italy	11	283 0.6×	222 0.6×	71 1.2×	13 0.7×	8 0.4×	49	322

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

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Mainzer, Klaus, Peter Schuster, & Helmut Schwichtenberg. (2021). Proof and Computation II. WORLD SCIENTIFIC eBooks.

Mainzer, Klaus, Peter Schuster, & Helmut Schwichtenberg. (2018). Proof and Computation. WORLD SCIENTIFIC eBooks.

Sato, Masahiko, et al.. (2013). Viewing λ-terms through maps. Indagationes Mathematicae. 24(4). 1073–1104. 3 indexed citations

Schwichtenberg, Helmut, et al.. (2012). Minimal from classical proofs. Annals of Pure and Applied Logic. 164(6). 740–748. 6 indexed citations

Schwichtenberg, Helmut & Stanley S. Wainer. (2011). Proofs and Computations. Cambridge University Press eBooks. 15 indexed citations

Schwichtenberg, Helmut. (2007). Realizability interpretation of proofs in constructive analysis. Theory of Computing Systems. 43(3-4). 583–602. 10 indexed citations

Schwichtenberg, Helmut, et al.. (2006). Proof technology and computation. IOS Press eBooks. 6 indexed citations

Buss, Samuel R., Yiannis N. Moschovakis, & Helmut Schwichtenberg. (2005). Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics. Oberwolfach Reports. 2(1). 779–813. 1 indexed citations

Berger, Ulrich, Matthias Eberl, & Helmut Schwichtenberg. (2003). Term rewriting for normalization by evaluation. Information and Computation. 183(1). 19–42. 14 indexed citations

10.

Aehlig, Klaus, Ulrich Berger, Martin Hofmann, & Helmut Schwichtenberg. (2003). An arithmetic for non-size-increasing polynomial-time computation. Theoretical Computer Science. 318(1-2). 3–27. 8 indexed citations

11.

Berger, Ulrich, Wilfried Buchholz, & Helmut Schwichtenberg. (2002). Refined program extraction from classical proofs. Annals of Pure and Applied Logic. 114(1-3). 3–25. 36 indexed citations

12.

Bellantoni, Stephen J., et al.. (2000). Higher type recursion, ramification and polynomial time. Annals of Pure and Applied Logic. 104(1-3). 17–30. 38 indexed citations

13.

Clote, Peter & Helmut Schwichtenberg. (2000). Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic. 3 indexed citations

14.

Schwichtenberg, Helmut, et al.. (2000). Computer Science Logic. 14th International Workshop, CSL 2000. 10 indexed citations

15.

Schwichtenberg, Helmut. (1999). Termination of permutative conversions in intuitionistic Gentzen calculi. Theoretical Computer Science. 212(1-2). 247–260. 13 indexed citations

16.

Schwichtenberg, Helmut. (1998). Finite notations for infinite terms. Annals of Pure and Applied Logic. 94(1-3). 201–222. 4 indexed citations

17.

Schwichtenberg, Helmut. (1986). A normal form for natural deductions in a type theory with realizing terms. Open access LMU (Ludwid Maxmilian's Universitat Munchen). 3 indexed citations

18.

Schwichtenberg, Helmut. (1979). On bar recursion of types 0 and 1. Journal of Symbolic Logic. 44(3). 325–329. 12 indexed citations

19.

Schwichtenberg, Helmut. (1976). Definierbare Funktionen im Lambda-Kalkül mit Typen. Open access LMU (Ludwid Maxmilian's Universitat Munchen). 9 indexed citations

20.

Schwichtenberg, Helmut. (1972). Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie. Archive for Mathematical Logic. 15(3-4). 129–145. 4 indexed citations

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