An inverse of the evaluation functional for typed lambda-calculus U Berger, H Schwichtenberg IEEE Computer Society Press, Los Alamitos, 1991 | 321 | 1991 |

Fictitious play in 2× n games U Berger Journal of Economic Theory 120 (2), 139-154, 2005 | 167 | 2005 |

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 | 160 | 2019 |

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 | 153 | 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 | 135 | 2002 |

Program extraction from normalization proofs U Berger Typed Lambda Calculi and Applications: International Conference on Typed …, 1993 | 133 | 1993 |

Brown's original fictitious play U Berger Journal of Economic Theory 135 (1), 572-578, 2007 | 130 | 2007 |

Bill-and-keep vs. cost-based access pricing revisited U Berger Economics Letters 86 (1), 107-112, 2005 | 130 | 2005 |

Total sets and objects in domain theory U Berger Annals of pure and applied logic 60 (2), 91-117, 1993 | 121 | 1993 |

Normalization by evaluation U Berger, M Eberl, H Schwichtenberg Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA—New …, 1998 | 93 | 1998 |

A survey on digitalization for SMEs in Brandenburg, Germany P Kilimis, W Zou, M Lehmann, U Berger IFAC-PapersOnLine 52 (13), 2140-2145, 2019 | 87 | 2019 |

Modified bar recursion and classical dependent choice U Berger, P Oliva Logic Colloquium 1, 89-107, 2005 | 84 | 2005 |

Learning to cooperate via indirect reciprocity U Berger Games and Economic Behavior 72 (1), 30-37, 2011 | 83 | 2011 |

Program extraction from classical proofs U Berger, H Schwichtenberg International Workshop on Logic and Computational Complexity, 77-97, 1994 | 78 | 1994 |

A computational interpretation of open induction U Berger Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 74 | 2004 |

Access charges in the presence of call externalities U Berger Contributions in Economic Analysis & Policy 3 (1), 1-16, 2005 | 73 | 2005 |

A multi-case study on Industry 4.0 for SME’s in Brandenburg, Germany M Andulkar, DT Le, U Berger | 68 | 2018 |

Program extraction from normalization proofs U Berger, S Berghofer, P Letouzey, H Schwichtenberg Studia logica 82, 25-49, 2006 | 64 | 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 | 58 | 2001 |

Uniform heyting arithmetic U Berger Annals of Pure and Applied Logic 133 (1-3), 125-148, 2005 | 54 | 2005 |