The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ulrich Berger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ulrich Berger
    Continuous Semantics for Strong Normalization. [Citation Graph (0, 0)][DBLP]
    CiE, 2005, pp:23-34 [Conf]
  2. Ulrich Berger, Werner Meixner, Bernhard Möller
    Calculating a Garbage Collector. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:137-192 [Conf]
  3. Ulrich Berger
    An Abstract Strong Normalization Theorem. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:27-35 [Conf]
  4. Ulrich Berger
    Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon0. [Citation Graph (0, 0)][DBLP]
    Proof Theory in Computer Science, 2001, pp:68-77 [Conf]
  5. Ulrich Berger
    Continuous Semantics for Termination Proofs. [Citation Graph (0, 0)][DBLP]
    Spatial Representation, 2005, pp:- [Conf]
  6. Sven Thiebus, Ulrich Berger, Ralf Kretzschmann
    Knowledge Management for Ramp-Up - Approach for Knowledge Management for Ramp-Up in the Automotive Industry. [Citation Graph (0, 0)][DBLP]
    ICEIS (2), 2006, pp:323-330 [Conf]
  7. Raffaello Lepratti, Ulrich Berger
    Towards Ontology Solutions For Enabling Interoperability In Virtual Enterprises. [Citation Graph (0, 0)][DBLP]
    PRO-VE, 2003, pp:307-314 [Conf]
  8. Raffaello Lepratti, Ulrich Berger
    Enhancing Interoperability Through The Ontological Filtering System. [Citation Graph (0, 0)][DBLP]
    Virtual Enterprises and Collaborative Networks, 2004, pp:183-190 [Conf]
  9. Michael Weyrich, Jing Cai, Ulrich Berger
    Standardization Of Machining Process Planning In Powertrain Production Using A CAD-Based IT-Tool. [Citation Graph (0, 0)][DBLP]
    PRO-VE, 2003, pp:379-388 [Conf]
  10. Ulrich Berger, Helmut Schwichtenberg
    Program Extraction from Classical Proofs. [Citation Graph (0, 0)][DBLP]
    LCC, 1994, pp:77-97 [Conf]
  11. Ulrich Berger
    A Computational Interpretation of Open Induction. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:326- [Conf]
  12. Ulrich Berger, Helmut Schwichtenberg
    An Inverse of the Evaluation Functional for Typed lambda-calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:203-211 [Conf]
  13. Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg
    Normalisation by Evaluation. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:117-137 [Conf]
  14. Ulrich Berger
    Program Extraction from Normalization Proofs. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:91-106 [Conf]
  15. Ulrich Berger, Helmut Schwichtenberg
    The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs. [Citation Graph (0, 0)][DBLP]
    TYPES, 1995, pp:36-46 [Conf]
  16. Ulrich Berger
    Uniform Heyting arithmetic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:125-148 [Journal]
  17. Ulrich Berger
    Total Sets and Objects in Domain Theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:60, n:2, pp:91-117 [Journal]
  18. Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg
    Refined program extraction form classical proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:3-25 [Journal]
  19. Ulrich Berger
    Effectivity and Density in Domains: A Survey. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
  20. Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg
    Term rewriting for normalization by evaluation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:183, n:1, pp:19-42 [Journal]
  21. Ulrich Berger, Helmut Schwichtenberg, Monika Seisenberger
    The Warshall Algorithm and Dickson?s Lemma: Two Examples of Realistic Program Extraction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:26, n:2, pp:205-221 [Journal]
  22. Ulrich Berger
    Strong normalization for applied lambda calculi. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:2, pp:- [Journal]
  23. Ulrich Berger
    Computability and Totality in Domains. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:281-294 [Journal]
  24. Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg
    Program Extraction from Normalization Proofs. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:25-49 [Journal]
  25. Klaus Aehlig, Ulrich Berger, Martin Hofmann, Helmut Schwichtenberg
    An arithmetic for non-size-increasing polynomial-time computation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:318, n:1-2, pp:3-27 [Journal]
  26. Ulrich Berger, Karl-Heinz Niggl, Bernhard Reus
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:264, n:2, pp:169- [Journal]
  27. Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
    Functional concepts in C++. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:163-179 [Conf]
  28. Ulrich Berger, Raffaello Lepratti, M. May
    An approach for the automatic generation of robot paths from CAD-data. [Citation Graph (0, 0)][DBLP]
    ETFA, 2005, pp:- [Conf]

  29. Realisability and Adequacy for (Co)induction. [Citation Graph (, )][DBLP]


  30. Proofs, Programs, Processes. [Citation Graph (, )][DBLP]


  31. From Coinductive Proofs to Exact Real Arithmetic. [Citation Graph (, )][DBLP]


  32. An Approach for a Knowledge-based NC Programming System. [Citation Graph (, )][DBLP]


  33. Intelligent PC-based user control interface for on-line correction of robot programs. [Citation Graph (, )][DBLP]


  34. Density Theorems for the Domains-with-Totality Semantics of Dependent Types. [Citation Graph (, )][DBLP]


  35. A domain model characterising strong normalisation. [Citation Graph (, )][DBLP]


  36. Strong normalisation for applied lambda calculi [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.303secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002