 | 2009 |
|---|
| 40 |       | Ulrich Berger:
From Coinductive Proofs to Exact Real Arithmetic.
CSL 2009: 132-146 |
| 2008 |
|---|
| 39 |  | Ulrich Berger,
Ralf Kretzschmann,
Jan Noack:
An Approach for a Knowledge-based NC Programming System.
ICINCO-ICSO 2008: 120-126 |
| 38 | | Ulrich Berger:
A domain model characterising strong normalisation.
Ann. Pure Appl. Logic 156(1): 39-50 (2008) |
| 37 | | Ulrich Berger:
Classical truth in higher types.
Math. Log. Q. 54(3): 240-246 (2008) |
| 2007 |
|---|
| 36 | | 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 |
|---|
| 35 | | 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 |
| 34 | | 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 |
| 33 | | Rose H. Abdul Rauf,
Ulrich Berger,
Anton Setzer:
Functional concepts in C++.
Trends in Functional Programming 2006: 163-179 |
| 32 | | Ulrich Berger,
Paulo Oliva:
Modified bar recursion.
Mathematical Structures in Computer Science 16(2): 163-183 (2006) |
| 31 | | Ulrich Berger:
Continuous semantics for strong normalisation.
Mathematical Structures in Computer Science 16(5): 751-762 (2006) |
| 30 | | Ulrich Berger,
Stefan Berghofer,
Pierre Letouzey,
Helmut Schwichtenberg:
Program Extraction from Normalization Proofs.
Studia Logica 82(1): 25-49 (2006) |
| 2005 |
|---|
| 29 | | Ulrich Berger:
An Abstract Strong Normalization Theorem.
CSL 2005: 27-35 |
| 28 | | Ulrich Berger:
Continuous Semantics for Strong Normalization.
CiE 2005: 23-34 |
| 27 | | Ulrich Berger,
Raffaello Lepratti,
M. May:
An approach for the automatic generation of robot paths from CAD-data.
ETFA 2005 |
| 26 | | Ulrich Berger:
Continuous Semantics for Termination Proofs.
Spatial Representation 2005 |
| 25 | | Ulrich Berger:
Uniform Heyting arithmetic.
Ann. Pure Appl. Logic 133(1-3): 125-148 (2005) |
| 24 | | Ulrich Berger:
Strong normalisation for applied lambda calculi
CoRR abs/cs/0507007: (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): (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 |
