Ulrich Berger

Steffen van Bakel, Stefano Berardi, Ulrich Berger: Preface. Ann. Pure Appl. Logic 164(6): 589-590 (2013)

Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen: Foreword. Ann. Pure Appl. Logic 163(8): 973-974 (2012)

Ulrich Berger, Michael Mislove: Preface. Electr. Notes Theor. Comput. Sci. 286: 1-2 (2012)

Ulrich Berger, Tie Hou: Typed vs. Untyped Realizability. Electr. Notes Theor. Comput. Sci. 286: 57-71 (2012)

Andrew Lawrence, Ulrich Berger, Monika Seisenberger: Extracting a DPLL Algorithm. Electr. Notes Theor. Comput. Sci. 286: 243-256 (2012)

Ulrich Berger, Monika Seisenberger: Proofs, Programs, Processes. Theory Comput. Syst. 51(3): 313-329 (2012)

Sarfraz Ul Haque Minhas, Ulrich Berger: Development of Intelligent Assistance System to Support Eco-efficient Planning. KEOD 2012: 331-334

Ulrich Berger: From coinductive proofs to exact real arithmetic: theory and applications. Logical Methods in Computer Science 7(1) (2011)

Ulrich Berger: Learning to cooperate via indirect reciprocity. Games and Economic Behavior 72(1): 30-37 (2011)

Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger: Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. CALCO 2011: 393-399

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)

Steffen van Bakel, Stefano Berardi, Ulrich Berger: Preface. Ann. Pure Appl. Logic 161(11): 1313-1314 (2010)

Ulrich Berger: Realisability for Induction and Coinduction with Applications to Constructive Analysis. J. UCS 16(18): 2535-2555 (2010)

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)

Ulrich Berger, Monika Seisenberger: Proofs, Programs, Processes. CiE 2010: 39-48

Mario Rossdeutscher, Michael Zuern, Ulrich Berger: Virtual robot program development for assembly processes using rigid-body simulation. CSCWD 2010: 417-422

Steffen van Bakel, Stefano Berardi, Ulrich Berger (Eds.): Proceedings Third International Workshop on Classical Logic and Computation. EPTCS 47, 2010

Ulrich Berger: Simple scaling of cooperation in donor-recipient games. Biosystems 97(3): 165-167 (2009)

Ulrich Berger: Proofs-as-Programs in Computable Analysis. ECEASST 23 (2009)

Ulrich Berger, Sion Lloyd: A coinductive approach to verified exact real number computation. ECEASST 23 (2009)

Ulrich Berger: Realisability and Adequacy for (Co)induction. CCA 2009

Ulrich Berger: From Coinductive Proofs to Exact Real Arithmetic. CSL 2009: 132-146

Ulrich Berger: A domain model characterising strong normalisation. Ann. Pure Appl. Logic 156(1): 39-50 (2008)

Ulrich Berger: Learning in games with strategic complementarities revisited. J. Economic Theory 143(1): 292-301 (2008)

Ulrich Berger: Classical truth in higher types. Math. Log. Q. 54(3): 240-246 (2008)

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)

Ulrich Berger, Tie Hou: Coinduction for Exact Real Number Computation. Theory Comput. Syst. 43(3-4): 394-409 (2008)

Ulrich Berger, Ralf Kretzschmann, Jan Noack: An Approach for a Knowledge-based NC Programming System. ICINCO-ICSO 2008: 120-126

Ulrich Berger: Two more classes of games with the continuous-time fictitious play property. Games and Economic Behavior 60(2): 247-261 (2007)

Ulrich Berger: Brown's original fictitious play. J. Economic Theory 135(1): 572-578 (2007)

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)

Ulrich Berger, Ralf Kretzschmann, Matthias Aner: Development of a holistic guidance system for the NC process chain for benchmarking machining operations. ETFA 2007: 1005-1009

Ulrich Berger, Josef Hofbauer: Irrational behavior in the Brown-von Neumann-Nash dynamics. Games and Economic Behavior 56(1): 1-6 (2006)

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)

Ulrich Berger: A Generalized Model of Best Response Adaptation. IGTR 8(1): 45-66 (2006)

Ulrich Berger, Paulo Oliva: Modified bar recursion. Mathematical Structures in Computer Science 16(2): 163-183 (2006)

Ulrich Berger: Continuous semantics for strong normalisation. Mathematical Structures in Computer Science 16(5): 751-762 (2006)

Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg: Program Extraction from Normalization Proofs. Studia Logica 82(1): 25-49 (2006)

Ulrich Berger, Guergana Vladimirova, Ralf Kretzschmann: Performance Increase of Industrial Robot Plants through Agent-Based Technologies. CTS 2006: 334-340

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

Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer: Functional concepts in C++. Trends in Functional Programming 2006: 163-179

Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (Eds.): Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings. Lecture Notes in Computer Science 3988, Springer 2006, isbn 3-540-35466-2

Ulrich Berger: Uniform Heyting arithmetic. Ann. Pure Appl. Logic 133(1-3): 125-148 (2005)

Ulrich Berger: Fictitious play in 2×n games. J. Economic Theory 120(2): 139-154 (2005)

Ulrich Berger: Strong normalization for applied lambda calculi. Logical Methods in Computer Science 1(2) (2005)

Ulrich Berger: Continuous Semantics for Strong Normalization. CiE 2005: 23-34

Ulrich Berger: An Abstract Strong Normalization Theorem. CSL 2005: 27-35

Ulrich Berger: Continuous Semantics for Termination Proofs. Spatial Representation 2005

Ulrich Berger, Raffaello Lepratti, M. May: An approach for the automatic generation of robot paths from CAD-data. ETFA 2005

Ulrich Berger: Strong normalisation for applied lambda calculi. CoRR abs/cs/0507007 (2005)

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)

Raffaello Lepratti, Ulrich Berger: Enhancing Interoperability Through The Ontological Filtering System. Virtual Enterprises and Collaborative Networks 2004: 183-190

Ulrich Berger: A Computational Interpretation of Open Induction. LICS 2004: 326

Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg: Term rewriting for normalization by evaluation. Inf. Comput. 183(1): 19-42 (2003)

Raffaello Lepratti, Ulrich Berger: Towards Ontology Solutions For Enabling Interoperability In Virtual Enterprises. PRO-VE 2003: 307-314

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

Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg: Refined program extraction form classical proofs. Ann. Pure Appl. Logic 114(1-3): 3-25 (2002)

Ulrich Berger: Best response dynamics for role games. Int. J. Game Theory 30(4): 527-538 (2002)

Ulrich Berger: Computability and Totality in Domains. Mathematical Structures in Computer Science 12(3): 281-294 (2002)

Ulrich Berger, Raffaello Lepratti: Intelligent PC-based user control interface for on-line correction of robot programs. ICARCV 2002: 276-281

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)

Ulrich Berger, Karl-Heinz Niggl, Bernhard Reus: Preface. Theor. Comput. Sci. 264(2): 169 (2001)

Ulrich Berger: Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon₀. Proof Theory in Computer Science 2001: 68-77

Ulrich Berger: Density Theorems for the Domains-with-Totality Semantics of Dependent Types. Applied Categorical Structures 7(1-2): 3-30 (1999)

Ulrich Berger: Effectivity and Density in Domains: A Survey. Electr. Notes Theor. Comput. Sci. 23(1): 27-39 (1999)

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)

Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg: Normalisation by Evaluation. Prospects for Hardware Foundations 1998: 117-137

Ulrich Berger, Helmut Schwichtenberg: The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs. TYPES 1995: 36-46

Ulrich Berger, Helmut Schwichtenberg: Program Extraction from Classical Proofs. LCC 1994: 77-97

Ulrich Berger: Total Sets and Objects in Domain Theory. Ann. Pure Appl. Logic 60(2): 91-117 (1993)

Ulrich Berger: Program Extraction from Normalization Proofs. TLCA 1993: 91-106

Ulrich Berger, Werner Meixner, Bernhard Möller: Calculating a Garbage Collector. Methods of Programming 1991: 137-192

Ulrich Berger, Helmut Schwichtenberg: An Inverse of the Evaluation Functional for Typed lambda-calculus. LICS 1991: 203-211