Ulrich Berger

1.5k citations
42 papers · 453 indexed · h-index 13
Topics
Logic, programming, and type systems (33 papers)Logic, Reasoning, and Knowledge (23 papers)Computability, Logic, AI Algorithms (21 papers)

In The Last Decade

Ulrich Berger

39 papers receiving 408 citations

Peers

Ulrich Berger
Comparison fields: 5 of 45
  • Artificial Intelligence 398
  • Computational Theory and Mathematics 333
  • Computer Networks and Communications 35
  • Software 25
  • Geometry and Topology 24
Replace Kent Petersson with:
Kent Petersson Sweden
Bengt Nordström Sweden
Herman Geuvers Netherlands
Marc Bezem Norway
Helmut Schwichtenberg Germany
Peter Dybjer Sweden
Paul-André Melliès France
Alban Ponse Netherlands
Thomas Streicher Germany
Eugenio G. Omodeo Italy
Ulrich Berger relative to Kent Petersson Sweden Kent Petersson's profile →
Citations per field
00.5×8.5×
Kent Petersson · 1×
Citations per year

Countries citing papers authored by Ulrich Berger

Since Specialization
Citations

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

Fields of papers citing papers by Ulrich Berger

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Ulrich Berger

This figure shows the co-authorship network connecting the top 25 collaborators of Ulrich Berger. A scholar is included among the top collaborators of Ulrich Berger 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 Ulrich Berger. Ulrich Berger 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
Intuitionistic fixed point logic
5
3 2
4 13
5 10
6 0
7 2
8 7
9
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings (Lecture Notes in Computer Science)
1
10 1
11
Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
1
12 18
13 15
14 9
15 14
16 8
17 36
18
Reuniting the antipodes-constructive and nonstandard views of the continuum : symposium proceedings, San Servolo, Venice, Italy, May 16-22, 1999
1
19 6
20 53

About Ulrich Berger

Ulrich Berger is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software, having authored 42 papers that have together received 453 indexed citations. Recurring topics across this work include Logic, programming, and type systems (33 papers), Logic, Reasoning, and Knowledge (23 papers) and Computability, Logic, AI Algorithms (21 papers). The work is most often cited by research in Computational Theory and Mathematics (333 citations), Artificial Intelligence (398 citations) and Software (25 citations). Ulrich Berger has collaborated with scholars based in United Kingdom, Germany and Netherlands. Frequent co-authors include Helmut Schwichtenberg, H. Schwichtenberg, Wilfried Buchholz, Paulo Oliva, Andrew D. Lawrence, Stefan Berghofer, Pierre Letouzey, Matthias Eberl, Markus Roggenbach and Peter Schuster. Their work appears in journals such as Theoretical Computer Science, Information and Computation and Science of Computer Programming.

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