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
2891991
Fictitious play in 2× n games
U Berger
Journal of Economic Theory 120 (2), 139-154, 2005
1402005
Refined program extraction from classical proofs
U Berger, W Buchholz, H Schwichtenberg
Annals of Pure and Applied Logic 114 (1-3), 3-25, 2002
1352002
Program extraction from normalization proofs
U Berger
International Conference on Typed Lambda Calculi and Applications, 91-106, 1993
1331993
Bill-and-keep vs. cost-based access pricing revisited
U Berger
Economics Letters 86 (1), 107-112, 2005
1292005
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
Brown's original fictitious play
U Berger
Journal of Economic Theory 135 (1), 572-578, 2007
872007
Modified bar recursion and classical dependent choice
U Berger, P Oliva
Logic Colloquium 1, 6-11, 2001
812001
Program extraction from classical proofs
U Berger, H Schwichtenberg
International Workshop on Logic and Computational Complexity, 77-97, 1994
801994
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
752018
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
702005
Learning to cooperate via indirect reciprocity
U Berger
Games and Economic Behavior 72 (1), 30-37, 2011
682011
A computational interpretation of open induction
U Berger
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
652004
Program extraction from normalization proofs
U Berger, S Berghofer, P Letouzey, H Schwichtenberg
Studia logica 82 (1), 25-49, 2006
592006
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
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
462019
Term rewriting for normalization by evaluation
U Berger, M Eberl, H Schwichtenberg
Information and Computation 183 (1), 19-42, 2003
452003
The system can't perform the operation now. Try again later.
Articles 1–20