Ulrich Berger

	2012
64		Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen: Foreword. Ann. Pure Appl. Logic 163(8): 973-974 (2012)
	2011
63		Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger: Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. CALCO 2011: 393-399
62		Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki: Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). Dagstuhl Reports 1(10): 14-36 (2011)
61		Ulrich Berger: Learning to cooperate via indirect reciprocity. Games and Economic Behavior 72(1): 30-37 (2011)
60		Ulrich Berger: From coinductive proofs to exact real arithmetic: theory and applications Logical Methods in Computer Science 7(1): (2011)
	2010
59		Steffen van Bakel, Stefano Berardi, Ulrich Berger: Proceedings Third International Workshop on Classical Logic and Computation CL&C 2010
58		Mario Rossdeutscher, Michael Zuern, Ulrich Berger: Virtual robot program development for assembly processes using rigid-body simulation. CSCWD 2010: 417-422
57		Ulrich Berger, Monika Seisenberger: Proofs, Programs, Processes. CiE 2010: 39-48
56		Steffen van Bakel, Stefano Berardi, Ulrich Berger: Preface. Ann. Pure Appl. Logic 161(11): 1313-1314 (2010)
55		Ulrich Berger: Realisability for Induction and Coinduction with Applications to Constructive Analysis. J. UCS 16(18): 2535-2555 (2010)
54		Ulrich Berger, Jens Blanck, Petter Kristian Køber: Domain representations of spaces of compact subsets. Mathematical Structures in Computer Science 20(2): 107-126 (2010)
	2009
53		Ulrich Berger: Realisability and Adequacy for (Co)induction. CCA 2009
52		Ulrich Berger: From Coinductive Proofs to Exact Real Arithmetic. CSL 2009: 132-146
51		Ulrich Berger: Simple scaling of cooperation in donor-recipient games. Biosystems 97(3): 165-167 (2009)
50		Ulrich Berger, Sion Lloyd: A coinductive approach to verified exact real number computation. ECEASST 23: (2009)
49		Ulrich Berger: Proofs-as-Programs in Computable Analysis. ECEASST 23: (2009)
	2008
48		Ulrich Berger, Ralf Kretzschmann, Jan Noack: An Approach for a Knowledge-based NC Programming System. ICINCO-ICSO 2008: 120-126
47		Ulrich Berger: A domain model characterising strong normalisation. Ann. Pure Appl. Logic 156(1): 39-50 (2008)
46		Ulrich Berger: Learning in games with strategic complementarities revisited. J. Economic Theory 143(1): 292-301 (2008)
45		Ulrich Berger: Classical truth in higher types. Math. Log. Q. 54(3): 240-246 (2008)
44		Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer: A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. Theory Comput. Syst. 43(3-4): 298-321 (2008)
43		Ulrich Berger, Tie Hou: Coinduction for Exact Real Number Computation. Theory Comput. Syst. 43(3-4): 394-409 (2008)
	2007
42		Ulrich Berger: Two more classes of games with the continuous-time fictitious play property. Games and Economic Behavior 60(2): 247-261 (2007)
41		Ulrich Berger: Brown's original fictitious play. J. Economic Theory 135(1): 572-578 (2007)
40		Ulrich Berger: G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove and D. S. Scott, Continuous Lattices and Domains. Studia Logica 86(1): 137-138 (2007)
	2006
39		Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings Springer 2006
38		Sven Thiebus, Ulrich Berger, Ralf Kretzschmann: Knowledge Management for Ramp-Up - Approach for Knowledge Management for Ramp-Up in the Automotive Industry. ICEIS (2) 2006: 323-330
37		Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer: Functional concepts in C++. Trends in Functional Programming 2006: 163-179
36		Ulrich Berger, Josef Hofbauer: Irrational behavior in the Brown-von Neumann-Nash dynamics. Games and Economic Behavior 56(1): 1-6 (2006)
35		Ulrich Berger: A Generalized Model of Best Response Adaptation. IGTR 8(1): 45-66 (2006)
34		Ulrich Berger, Paulo Oliva: Modified bar recursion. Mathematical Structures in Computer Science 16(2): 163-183 (2006)
33		Ulrich Berger: Continuous semantics for strong normalisation. Mathematical Structures in Computer Science 16(5): 751-762 (2006)
32		Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg: Program Extraction from Normalization Proofs. Studia Logica 82(1): 25-49 (2006)
31		Andre During, Carsten Wittenberg, Ulrich Berger: Das Konzept eines Engineering Portals zur benutzerzentrierten Unterstützung der Anlagenplanung (The Concept of an Engineering Portal for the User-Centred Plant Engineering Support). i-com 5(1): 59-71 (2006)
	2005
30		Ulrich Berger: An Abstract Strong Normalization Theorem. CSL 2005: 27-35
29		Ulrich Berger: Continuous Semantics for Strong Normalization. CiE 2005: 23-34
28		Ulrich Berger, Raffaello Lepratti, M. May: An approach for the automatic generation of robot paths from CAD-data. ETFA 2005
27		Ulrich Berger: Continuous Semantics for Termination Proofs. Spatial Representation 2005
26		Ulrich Berger: Uniform Heyting arithmetic. Ann. Pure Appl. Logic 133(1-3): 125-148 (2005)
25		Ulrich Berger: Strong normalisation for applied lambda calculi CoRR abs/cs/0507007: (2005)
24		Ulrich Berger: Fictitious play in 2×n games. J. Economic Theory 120(2): 139-154 (2005)
23		Ulrich Berger: Strong normalization for applied lambda calculi. Logical Methods in Computer Science 1(2): (2005)
	2004
22		Ulrich Berger: A Computational Interpretation of Open Induction. LICS 2004: 326
21		Raffaello Lepratti, Ulrich Berger: Enhancing Interoperability Through The Ontological Filtering System. Virtual Enterprises and Collaborative Networks 2004: 183-190
20		Klaus Aehlig, Ulrich Berger, Martin Hofmann, Helmut Schwichtenberg: An arithmetic for non-size-increasing polynomial-time computation. Theor. Comput. Sci. 318(1-2): 3-27 (2004)
	2003
19		Raffaello Lepratti, Ulrich Berger: Towards Ontology Solutions For Enabling Interoperability In Virtual Enterprises. PRO-VE 2003: 307-314
18		Michael Weyrich, Jing Cai, Ulrich Berger: Standardization Of Machining Process Planning In Powertrain Production Using A CAD-Based IT-Tool. PRO-VE 2003: 379-388
17		Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg: Term rewriting for normalization by evaluation. Inf. Comput. 183(1): 19-42 (2003)
	2002
16		Ulrich Berger, Raffaello Lepratti: Intelligent PC-based user control interface for on-line correction of robot programs. ICARCV 2002: 276-281
15		Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg: Refined program extraction form classical proofs. Ann. Pure Appl. Logic 114(1-3): 3-25 (2002)
14		Ulrich Berger: Computability and Totality in Domains. Mathematical Structures in Computer Science 12(3): 281-294 (2002)
	2001
13		Ulrich Berger: Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon0. Proof Theory in Computer Science 2001: 68-77
12		Ulrich Berger, Helmut Schwichtenberg, Monika Seisenberger: The Warshall Algorithm and Dickson?s Lemma: Two Examples of Realistic Program Extraction. J. Autom. Reasoning 26(2): 205-221 (2001)
11		Ulrich Berger, Karl-Heinz Niggl, Bernhard Reus: Preface. Theor. Comput. Sci. 264(2): 169 (2001)
	1999
10		Ulrich Berger: Density Theorems for the Domains-with-Totality Semantics of Dependent Types. Applied Categorical Structures 7(1-2): 3-30 (1999)
9		Ulrich Berger: Effectivity and Density in Domains: A Survey. Electr. Notes Theor. Comput. Sci. 23(1): 27-39 (1999)
	1998
8		Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg: Normalisation by Evaluation. Prospects for Hardware Foundations 1998: 117-137
7		Olaf Buckmann, Mathias Krömker, Ulrich Berger: An Application Platform for the Development and Experimental Validation of Mobile Robots for Health Care Purposes. Journal of Intelligent and Robotic Systems 22(3-4): 331-350 (1998)
	1995
6		Ulrich Berger, Helmut Schwichtenberg: The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs. TYPES 1995: 36-46
	1994
5		Ulrich Berger, Helmut Schwichtenberg: Program Extraction from Classical Proofs. LCC 1994: 77-97
	1993
4		Ulrich Berger: Program Extraction from Normalization Proofs. TLCA 1993: 91-106
3		Ulrich Berger: Total Sets and Objects in Domain Theory. Ann. Pure Appl. Logic 60(2): 91-117 (1993)
	1991
2		Ulrich Berger, Helmut Schwichtenberg: An Inverse of the Evaluation Functional for Typed lambda-calculus LICS 1991: 203-211
1		Ulrich Berger, Werner Meixner, Bernhard Möller: Calculating a Garbage Collector. Methods of Programming 1991: 137-192

Coauthor Index

1	Klaus Aehlig	[20]
2	Steffen van Bakel	[56] [59]
3	Arnold Beckmann	[39]
4	Stefano Berardi	[56] [59]
5	Stefan Berghofer	[32]
6	Jens Blanck	[54]
7	Vasco Brattka	[62] [64]
8	Wilfried Buchholz	[15]
9	Olaf Buckmann	[7]
10	Jing Cai	[18]
11	Andre During	[31]
12	Matthias Eberl	[8] [17]
13	Josef Hofbauer	[36]
14	Martin Hofmann	[20]
15	Tie Hou	[43]
16	Petter Kristian Køber	[54]
17	Ralf Kretzschmann	[38] [48]
18	Mathias Krömker	[7]
19	Raffaello Lepratti	[16] [19] [21] [28]
20	Pierre Letouzey	[32]
21	Sion Lloyd	[50]
22	Benedikt Löwe	[39]
23	M. May	[28]
24	Werner Meixner	[1]
25	Kenji Miyamoto	[63]
26	Bernhard Möller	[1]
27	Andrei S. Morozov	[64]
28	Karl-Heinz Niggl	[11]
29	Jan Noack	[48]
30	Paulo Oliva	[34]
31	Rose H. Abdul Rauf	[37] [44]
32	Bernhard Reus	[11]
33	Mario Rossdeutscher	[58]
34	Helmut Schwichtenberg	[2] [5] [6] [8] [12] [15] [17] [20] [32] [63]
35	Monika Seisenberger	[12] [57] [63]
36	Victor L. Selivanov	[62]
37	Anton Setzer	[37] [44]
38	Dieter Spreen	[62] [64]
39	Sven Thiebus	[38]
40	Hideki Tsuiki	[62]
41	J. V. Tucker (John V. Tucker)	[39]
42	Michael Weyrich	[18]
43	Carsten Wittenberg	[31]
44	Michael Zuern	[58]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page