| An inverse of the evaluation functional for typed lambda-calculus U Berger, H Schwichtenberg IEEE Computer Society Press, Los Alamitos, 1991 | 325 | 1991 |
| A maturity assessment approach for conceiving context-specific roadmaps in the Industry 4.0 era M Colli, U Berger, M Bockholt, O Madsen, C Møller, BV Wæhrens Annual Reviews in Control 48, 165-177, 2019 | 171 | 2019 |
| Fictitious play in 2× n games U Berger Journal of Economic Theory 120 (2), 139-154, 2005 | 170 | 2005 |
| Contextualizing the outcome of a maturity assessment for Industry 4.0 M Colli, O Madsen, U Berger, C Møller, BV Wæhrens, M Bockholt Ifac-papersonline 51 (11), 1347-1352, 2018 | 162 | 2018 |
| Refined program extraction from classical proofs U Berger, W Buchholz, H Schwichtenberg Annals of Pure and Applied Logic 114 (1-3), 3-25, 2002 | 136 | 2002 |
| Program extraction from normalization proofs U Berger Typed Lambda Calculi and Applications: International Conference on Typed …, 1993 | 135 | 1993 |
| Brown's original fictitious play U Berger Journal of Economic Theory 135 (1), 572-578, 2007 | 133 | 2007 |
| Bill-and-keep vs. cost-based access pricing revisited U Berger Economics Letters 86 (1), 107-112, 2005 | 125 | 2005 |
| Total sets and objects in domain theory U Berger Annals of pure and applied logic 60 (2), 91-117, 1993 | 121 | 1993 |
| A survey on digitalization for SMEs in Brandenburg, Germany P Kilimis, W Zou, M Lehmann, U Berger IFAC-PapersOnLine 52 (13), 2140-2145, 2019 | 99 | 2019 |
| Normalization by evaluation U Berger, M Eberl, H Schwichtenberg Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA—New …, 1998 | 96 | 1998 |
| Modified bar recursion and classical dependent choice U Berger, P Oliva Logic Colloquium 1, 89-107, 2005 | 88 | 2005 |
| Learning to cooperate via indirect reciprocity U Berger Games and Economic Behavior 72 (1), 30-37, 2011 | 85 | 2011 |
| Program extraction from classical proofs U Berger, H Schwichtenberg International Workshop on Logic and Computational Complexity, 77-97, 1994 | 79 | 1994 |
| A computational interpretation of open induction U Berger Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 76 | 2004 |
| Access charges in the presence of call externalities U Berger Contributions in Economic Analysis & Policy 3 (1), 1-16, 2005 | 71 | 2005 |
| A multi-case study on Industry 4.0 for SME’s in Brandenburg, Germany M Andulkar, DT Le, U Berger | 70 | 2018 |
| Program extraction from normalization proofs U Berger, S Berghofer, P Letouzey, H Schwichtenberg Studia logica 82, 25-49, 2006 | 65 | 2006 |
| The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction U Berger, H Schwichtenberg, M Seisenberger Journal of Automated Reasoning 26, 205-221, 2001 | 59 | 2001 |
| Uniform heyting arithmetic U Berger Annals of Pure and Applied Logic 133 (1-3), 125-148, 2005 | 56 | 2005 |
