Helmut Schwichtenberg
-
- Computability, Logic, AI Algorithms 14
- Formal Methods in Verification 11
- Advanced Algebra and Logic 6
- semigroups and automata theory 4
- Artificial Intelligence top 5%
- Logic, programming, and type systems 28
- Logic, Reasoning, and Knowledge 22
- Semantic Web and Ontologies 2
-
- Physics and Engineering Research Articles 2
- Co-authors
- Ulrich BergerFriedrich L. BauerWilfried BrauerStephen J. BellantoniWilfried BuchholzGrigori Mint︠s︡Stanley S. WainerStefan Berghofer
- Journals
- Theoretical Computer Science (3 papers)Journal of Symbolic Logic (1 paper)Information and Computation (1 paper)
- Partner nations
- GermanyUnited KingdomItaly
In The Last Decade
Helmut Schwichtenberg
38 papers receiving 448 citations
Peers
Comparison fields: 5 of 39
- Computational Theory and Mathematics 373
- Artificial Intelligence 446
- Theoretical Computer Science 6
- Computer Networks and Communications 58
- Geometry and Topology 18
Countries citing papers authored by Helmut Schwichtenberg
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
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
The 25 scholars most cited alongside Helmut Schwichtenberg, 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 | 2021 | 0 | |
| 2 | 2018 | 0 | |
| 3 | 2013 | 3 | |
| 4 | 2012 | 6 | |
| 5 | 2011 | 15 | |
| 6 | 2007 | 10 | |
| 7 | Proof technology and computation | 2006 | 6 |
| 8 | 2006 | 10 | |
| 9 | 2005 | 1 | |
| 10 | 2003 | 14 | |
| 11 | 2003 | 8 | |
| 12 | 2002 | 36 | |
| 13 | Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic | 2000 | 3 |
| 14 | 2000 | 38 | |
| 15 | Computer Science Logic. 14th International Workshop, CSL 2000 | 2000 | 10 |
| 16 | 1999 | 13 | |
| 17 | 1998 | 4 | |
| 18 | 1986 | 3 | |
| 19 | Definierbare Funktionen im Lambda-Kalkül mit Typen | 1976 | 9 |
| 20 | 1972 | 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), Computability, Logic, AI Algorithms (14 papers), Formal Methods in Verification (11 papers), Advanced Algebra and Logic (6 papers), semigroups and automata theory (4 papers), Semantic Web and Ontologies (2 papers) and Physics and Engineering Research Articles (2 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.