Ulrich Berger
Ulrich Berger
Associate Professor of Computer Science, Swansea University, UK
Verified email at swansea.ac.uk
Title
Cited by
Cited by
Year
An inverse of the evaluation functional for typed lambda-calculus
U Berger, H Schwichtenberg
IEEE Computer Society Press, Los Alamitos, 1991
2881991
Fictitious play in 2× n games
U Berger
Journal of Economic Theory 120 (2), 139-154, 2005
1382005
Refined program extraction from classical proofs
U Berger, W Buchholz, H Schwichtenberg
Annals of Pure and Applied Logic 114 (1-3), 3-25, 2002
1332002
Program extraction from normalization proofs
U Berger
International Conference on Typed Lambda Calculi and Applications, 91-106, 1993
1311993
Bill-and-keep vs. cost-based access pricing revisited
U Berger
Economics Letters 86 (1), 107-112, 2005
1282005
Total sets and objects in domain theory
U Berger
Annals of pure and applied logic 60 (2), 91-117, 1993
1231993
Normalization by evaluation
U Berger, M Eberl, H Schwichtenberg
Prospects for Hardware Foundations, 117-137, 1998
901998
Modified bar recursion and classical dependent choice
U Berger, P Oliva
Logic Colloquium 1, 6-11, 2001
812001
Brown's original fictitious play
U Berger
Journal of Economic Theory 135 (1), 572-578, 2007
802007
Program extraction from classical proofs
U Berger, H Schwichtenberg
International Workshop on Logic and Computational Complexity, 77-97, 1994
791994
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
692005
Learning to cooperate via indirect reciprocity
U Berger
Games and Economic Behavior 72 (1), 30-37, 2011
642011
A computational interpretation of open induction
U Berger
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
642004
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
592018
Program extraction from normalization proofs
U Berger, S Berghofer, P Letouzey, H Schwichtenberg
Studia logica 82 (1), 25-49, 2006
562006
Uniform heyting arithmetic
U Berger
Annals of Pure and Applied Logic 133 (1-3), 125-148, 2005
542005
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
542001
Term rewriting for normalization by evaluation
U Berger, M Eberl, H Schwichtenberg
Information and Computation 183 (1), 19-42, 2003
452003
Modified bar recursion
U Berger, P Oliva
Mathematical Structures in Computer Science 16 (2), 163-183, 2006
432006
The system can't perform the operation now. Try again later.
Articles 1–20