Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ulrich Berger
2010 – today
- 2013
[j42]Steffen van Bakel, Stefano Berardi, Ulrich Berger: Preface. Ann. Pure Appl. Logic 164(6): 589-590 (2013)- 2012
- [j41]Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen: Foreword. Ann. Pure Appl. Logic 163(8): 973-974 (2012)
- [j40]
- [j39]Ulrich Berger, Tie Hou: Typed vs. Untyped Realizability. Electr. Notes Theor. Comput. Sci. 286: 57-71 (2012)
- [j38]Andrew Lawrence, Ulrich Berger, Monika Seisenberger: Extracting a DPLL Algorithm. Electr. Notes Theor. Comput. Sci. 286: 243-256 (2012)
- [j37]Ulrich Berger, Monika Seisenberger: Proofs, Programs, Processes. Theory Comput. Syst. 51(3): 313-329 (2012)
- [c28]Sarfraz Ul Haque Minhas, Ulrich Berger: Development of Intelligent Assistance System to Support Eco-efficient Planning. KEOD 2012: 331-334
- 2011
- [j36]Ulrich Berger: From coinductive proofs to exact real arithmetic: theory and applications. Logical Methods in Computer Science 7(1) (2011)
- [j35]Ulrich Berger: Learning to cooperate via indirect reciprocity. Games and Economic Behavior 72(1): 30-37 (2011)
- [c27]Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger: Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. CALCO 2011: 393-399
- [i2]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)
- 2010
- [j34]Steffen van Bakel, Stefano Berardi, Ulrich Berger: Preface. Ann. Pure Appl. Logic 161(11): 1313-1314 (2010)
- [j33]Ulrich Berger: Realisability for Induction and Coinduction with Applications to Constructive Analysis. J. UCS 16(18): 2535-2555 (2010)
- [j32]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)
- [c26]
- [c25]Mario Rossdeutscher, Michael Zuern, Ulrich Berger: Virtual robot program development for assembly processes using rigid-body simulation. CSCWD 2010: 417-422
- [e2]Steffen van Bakel, Stefano Berardi, Ulrich Berger (Eds.): Proceedings Third International Workshop on Classical Logic and Computation. EPTCS 47, 2010
2000 – 2009
- 2009
- [j31]Ulrich Berger: Simple scaling of cooperation in donor-recipient games. Biosystems 97(3): 165-167 (2009)
- [j30]
- [j29]Ulrich Berger, Sion Lloyd: A coinductive approach to verified exact real number computation. ECEASST 23 (2009)
- [c24]
- [c23]
- 2008
- [j28]Ulrich Berger: A domain model characterising strong normalisation. Ann. Pure Appl. Logic 156(1): 39-50 (2008)
- [j27]Ulrich Berger: Learning in games with strategic complementarities revisited. J. Economic Theory 143(1): 292-301 (2008)
- [j26]
- [j25]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)
- [j24]Ulrich Berger, Tie Hou: Coinduction for Exact Real Number Computation. Theory Comput. Syst. 43(3-4): 394-409 (2008)
- [c22]Ulrich Berger, Ralf Kretzschmann, Jan Noack: An Approach for a Knowledge-based NC Programming System. ICINCO-ICSO 2008: 120-126
- 2007
- [j23]Ulrich Berger: Two more classes of games with the continuous-time fictitious play property. Games and Economic Behavior 60(2): 247-261 (2007)
- [j22]
- [j21]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)
- [c21]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
- 2006
- [j20]Ulrich Berger, Josef Hofbauer: Irrational behavior in the Brown-von Neumann-Nash dynamics. Games and Economic Behavior 56(1): 1-6 (2006)
- [j19]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)
- [j18]
- [j17]Ulrich Berger, Paulo Oliva: Modified bar recursion. Mathematical Structures in Computer Science 16(2): 163-183 (2006)
- [j16]Ulrich Berger: Continuous semantics for strong normalisation. Mathematical Structures in Computer Science 16(5): 751-762 (2006)
- [j15]Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg: Program Extraction from Normalization Proofs. Studia Logica 82(1): 25-49 (2006)
- [c20]Ulrich Berger, Guergana Vladimirova, Ralf Kretzschmann: Performance Increase of Industrial Robot Plants through Agent-Based Technologies. CTS 2006: 334-340
- [c19]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
- [c18]Sven Thiebus, Ulrich Berger: Knowledge Management For Dynamic Automotive Networks. PRO-VE 2006: 591-598
- [c17]Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer: Functional concepts in C++. Trends in Functional Programming 2006: 163-179
- [e1]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
- 2005
- [j14]
- [j13]
- [j12]Ulrich Berger: Strong normalization for applied lambda calculi. Logical Methods in Computer Science 1(2) (2005)
- [c16]
- [c15]
- [c14]
- [c13]Ulrich Berger, Raffaello Lepratti, M. May: An approach for the automatic generation of robot paths from CAD-data. ETFA 2005
- [i1]
- 2004
- [j11]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)
- [c12]Raffaello Lepratti, Ulrich Berger: Enhancing Interoperability Through The Ontological Filtering System. Virtual Enterprises and Collaborative Networks 2004: 183-190
- [c11]
- 2003
- [j10]Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg: Term rewriting for normalization by evaluation. Inf. Comput. 183(1): 19-42 (2003)
- [c10]Raffaello Lepratti, Ulrich Berger: Towards Ontology Solutions For Enabling Interoperability In Virtual Enterprises. PRO-VE 2003: 307-314
- [c9]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
- 2002
- [j9]Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg: Refined program extraction form classical proofs. Ann. Pure Appl. Logic 114(1-3): 3-25 (2002)
- [j8]
- [j7]Ulrich Berger: Computability and Totality in Domains. Mathematical Structures in Computer Science 12(3): 281-294 (2002)
- [c8]Ulrich Berger, Raffaello Lepratti: Intelligent PC-based user control interface for on-line correction of robot programs. ICARCV 2002: 276-281
- 2001
- [j6]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)
- [j5]
- [c7]Ulrich Berger: Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon0. Proof Theory in Computer Science 2001: 68-77
1990 – 1999
- 1999
- [j4]Ulrich Berger: Density Theorems for the Domains-with-Totality Semantics of Dependent Types. Applied Categorical Structures 7(1-2): 3-30 (1999)
- [j3]Ulrich Berger: Effectivity and Density in Domains: A Survey. Electr. Notes Theor. Comput. Sci. 23(1): 27-39 (1999)
- 1998
- [j2]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)
- [c6]Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg: Normalisation by Evaluation. Prospects for Hardware Foundations 1998: 117-137
- 1995
- [c5]Ulrich Berger, Helmut Schwichtenberg: The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs. TYPES 1995: 36-46
- 1994
- [c4]
- 1993
- [j1]
- [c3]
- 1991
- [c2]Ulrich Berger, Werner Meixner, Bernhard Möller: Calculating a Garbage Collector. Methods of Programming 1991: 137-192
- [c1]Ulrich Berger, Helmut Schwichtenberg: An Inverse of the Evaluation Functional for Typed lambda-calculus. LICS 1991: 203-211
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:07 CEST by the dblp team