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

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

Refined program extraction from classical proofs U Berger, W Buchholz, H Schwichtenberg Annals of Pure and Applied Logic 114 (1-3), 3-25, 2002 | 133 | 2002 |

Program extraction from normalization proofs U Berger International Conference on Typed Lambda Calculi and Applications, 91-106, 1993 | 131 | 1993 |

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

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

Normalization by evaluation U Berger, M Eberl, H Schwichtenberg Prospects for Hardware Foundations, 117-137, 1998 | 90 | 1998 |

Modified bar recursion and classical dependent choice U Berger, P Oliva Logic Colloquium 1, 6-11, 2001 | 81 | 2001 |

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

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

On the manifold structure of the space of brain images S Gerber, T Tasdizen, S Joshi, R Whitaker International conference on medical image computing and computer-assisted …, 2009 | 73* | 2009 |

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

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

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

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 | 59 | 2018 |

Program extraction from normalization proofs U Berger, S Berghofer, P Letouzey, H Schwichtenberg Studia logica 82 (1), 25-49, 2006 | 56 | 2006 |

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

The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction U Berger, H Schwichtenberg, M Seisenberger Journal of Automated Reasoning 26 (2), 205-221, 2001 | 54 | 2001 |

Term rewriting for normalization by evaluation U Berger, M Eberl, H Schwichtenberg Information and Computation 183 (1), 19-42, 2003 | 45 | 2003 |

Modified bar recursion U Berger, P Oliva Mathematical Structures in Computer Science 16 (2), 163-183, 2006 | 43 | 2006 |