Follow
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
3211991
Fictitious play in 2× n games
U Berger
Journal of Economic Theory 120 (2), 139-154, 2005
1672005
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
1602019
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
1532018
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
Typed Lambda Calculi and Applications: International Conference on Typed …, 1993
1331993
Brown's original fictitious play
U Berger
Journal of Economic Theory 135 (1), 572-578, 2007
1302007
Bill-and-keep vs. cost-based access pricing revisited
U Berger
Economics Letters 86 (1), 107-112, 2005
1302005
Total sets and objects in domain theory
U Berger
Annals of pure and applied logic 60 (2), 91-117, 1993
1211993
Normalization by evaluation
U Berger, M Eberl, H Schwichtenberg
Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA—New …, 1998
931998
A survey on digitalization for SMEs in Brandenburg, Germany
P Kilimis, W Zou, M Lehmann, U Berger
IFAC-PapersOnLine 52 (13), 2140-2145, 2019
872019
Modified bar recursion and classical dependent choice
U Berger, P Oliva
Logic Colloquium 1, 89-107, 2005
842005
Learning to cooperate via indirect reciprocity
U Berger
Games and Economic Behavior 72 (1), 30-37, 2011
832011
Program extraction from classical proofs
U Berger, H Schwichtenberg
International Workshop on Logic and Computational Complexity, 77-97, 1994
781994
A computational interpretation of open induction
U Berger
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
742004
Access charges in the presence of call externalities
U Berger
Contributions in Economic Analysis & Policy 3 (1), 1-16, 2005
732005
A multi-case study on Industry 4.0 for SME’s in Brandenburg, Germany
M Andulkar, DT Le, U Berger
682018
Program extraction from normalization proofs
U Berger, S Berghofer, P Letouzey, H Schwichtenberg
Studia logica 82, 25-49, 2006
642006
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
582001
Uniform heyting arithmetic
U Berger
Annals of Pure and Applied Logic 133 (1-3), 125-148, 2005
542005
The system can't perform the operation now. Try again later.
Articles 1–20