Ulrich Berger

发表

Uniform Heyting arithmetic

Ulrich Berger, Ulrich Berger, 2005, Ann. Pure Appl. Log..

Proofs, Programs, Processes

Ulrich Berger, Monika Seisenberger, 2010, CiE.

An arithmetic for non-size-increasing polynomial-time computation

Martin Hofmann, Ulrich Berger, Klaus Aehlig, 2004, Theor. Comput. Sci..

A realizability interpretation of Church's simple theory of types

Ulrich Berger, Tie Hou, 2017, Math. Struct. Comput. Sci..

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove and D. S. Scott, Continuous Lattices and Domains

Ulrich Berger, Klaus Keimel, Michael W. Mislove, 2007, Stud Logica.

A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++

Ulrich Berger, Anton Setzer, Rose H. Abdul Rauf, 2007, Theory of Computing Systems.

An approach for the real time intelligent production control to fulfill mass customization requirements

Ulrich Berger, Sarfraz Ul Haque Minhas, Ralf Kretzschmann, 2008 .

Computational Logic

Ulrich Berger, Helmut Schwichtenberg, H. Schwichtenberg, 2001, NATO ASI Series.

A MULTILEVEL RECONFIGURATION CONCEPT TO ENABLE VERSATILE PRODUCTION IN DISTRIBUTED MANUFACTURING

Ulrich Berger, Sarfraz Ul, Haque Minhas, 2011 .

Continuous Semantics for Termination Proofs

Ulrich Berger, 2005, Spatial Representation.

Preface

Ulrich Berger, Klaus Keimel, Martín Hötzel Escardó, 2015, J. Log. Algebraic Methods Program..

From coinductive proofs to exact real arithmetic: theory and applications

Ulrich Berger, Ulrich Berger, 2011, Log. Methods Comput. Sci..

Program Extraction from Normalization Proofs

Ulrich Berger, H. Schwichtenberg, Ulrich Berger, 1993, Stud Logica.

An inverse of the evaluation functional for typed lambda -calculus

Ulrich Berger, Helmut Schwichtenberg, H. Schwichtenberg, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

Domain representations of spaces of compact subsets

Ulrich Berger, Jens Blanck, Petter Kristian Køber, 2010, Mathematical Structures in Computer Science.

Knowledge Sharing based on Semantic Nets and Mereology to Avoid Risks in Manufacturing

Ulrich Berger, Yuliya Lebedynska, Veronica Vargas, 2008 .

Classical truth in higher types

Ulrich Berger, Ulrich Berger, 2008, Math. Log. Q..

Extracting a DPLL Algorithm

Ulrich Berger, Monika Seisenberger, Andrew Lawrence, 2012, MFPS.

Computability and totality in domains

Ulrich Berger, Ulrich Berger, 2002, Mathematical Structures in Computer Science.

Proofs-as-Programs in Computable Analysis

Ulrich Berger, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Applications of inductive definitions and choice principles to program synthesis

Ulrich Berger, Monika Seisenberger, 2005, From sets and types to topology and analysis.

Extracting verified decision procedures: DPLL and Resolution

Ulrich Berger, Monika Seisenberger, Fredrik Nordvall Forsberg, 2015, Log. Methods Comput. Sci..

Improving E-Manufacturing Efficiency through the Ontololigcal Filtering System

Ulrich Berger, Raffaello Lepratti, R. Lepratti, 2004 .

Term rewriting for normalization by evaluation

Ulrich Berger, Helmut Schwichtenberg, Matthias Eberl, 2003, Inf. Comput..

Effectivity and Density in Domains: A Survey

Ulrich Berger, 1999, Electron. Notes Theor. Comput. Sci..

An Approach for Re-ordering and Scheduling of Feature-based NC Program

Ulrich Berger, Ralf Kretzschmann, Matthias Aner, 2008 .

Integration of a Knowledge Database and Machine Vision Within a Robot-Based CPS

Ulrich Berger, Kornelius Wächter, Alexandros Ampatzopoulos, 2017 .

Extracting Imperative Programs from Proofs: In-place Quicksort

Ulrich Berger, Monika Seisenberger, Gregory J. M. Woods, 2013, TYPES.

Coinduction for Exact Real Number Computation

Ulrich Berger, Tie Hou, 2007, Theory of Computing Systems.

Autonomous mobile robots: From conceptualisation to prototyping and real life

Ulrich Berger, Nikos Katevas, Olaf Buckmann, 1999, 1999 European Control Conference (ECC).

A coinductive approach to computing with compact sets

Ulrich Berger, Dieter Spreen, 2016, J. Log. Anal..

Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014)

Andrej Bauer, Willem L. Fouché, Ulrich Berger, 2017, J. Log. Anal..

Verification of the European Rail Traffic Management System in Real-Time Maude

Ulrich Berger, Monika Seisenberger, Markus Roggenbach, 2017, Sci. Comput. Program..

Extracting Non-Deterministic Concurrent Programs

Ulrich Berger, 2016, CSL.

Development of an application platform for mobile robots

Ulrich Berger, Mathias Krömker, Olaf Buckmann, 1999 .

Typed vs. Untyped Realizability

Ulrich Berger, Tie Hou, 2012, MFPS.

Continuous Semantics for Strong Normalization

Ulrich Berger, Ulrich Berger, 2005, CiE.

ONTOLOGICAL MACHINING PROCESS DATA MODELLING FOR POWERTRAIN PRODUCTION IN EXTENDED ENTERPRISE

Jing Cai, Ulrich Berger, Michael Weyrich, 2005 .

REVIEWS-Refined program extraction from classical proofs

Ulrich Berger, Helmut Schwichtenberg, Wilfried Buchholz, 2003 .

A vision for an information management tool for plant engineering - functionality and user interface

Ulrich Berger, Carsten Wittenberg, Andre During, 2004 .

Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers

Ulrich Berger, Benedikt Löwe, John V. Tucker, 2006 .

Elicitation of Requirements for a Knowledge Management Concept in Decentralized Production Planning

Ulrich Berger, Sarfraz Ul Haque Minhas, Christian Juzek, 2013 .

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras

Kenji Miyamoto, Ulrich Berger, Monika Seisenberger, 2011, CALCO.

Collaborative Robots and Human-Robot Interaction

Ulrich Berger, Ralf Kretzschmann, Guergana Vladimirova, 2006 .

Ontology Based Intelligent Assistance System to Support Manufacturing Activities in a Distributed Manufacturing Environment

Ulrich Berger, Sarfraz Ul Haque Minhas, Christian Juzek, 2012 .

A domain model characterising strong normalisation

Ulrich Berger, Ulrich Berger, 2008, Ann. Pure Appl. Log..

Domain-theoretic Modelling of Functional Programming Languages

Ulrich Berger, Tie Hou, 2011 .

An Interaction System for Easy Robot Path Correction

Ulrich Berger, Raffaello Lepratti, 2004 .

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

Ulrich Berger, Helmut Schwichtenberg, 1995, TYPES.

An Abstract Strong Normalization Theorem

Ulrich Berger, 2005, CSL.

Program Extraction from Normalization Proofs

Ulrich Berger, Stefan Berghofer, Helmut Schwichtenberg, 2006, Stud Logica.

Integration of a PID Control System for a Mobile System for Manufacturing Task on Continuous Conveyor

Ulrich Berger, Duc Tho Le, Mayur Andulkar, 2016 .

Program Extraction from Classical Proofs

Ulrich Berger, Helmut Schwichtenberg, H. Schwichtenberg, 1994, LCC.

Undecidability of Equality for Codata Types

Ulrich Berger, Anton Setzer, Ulrich Berger, 2018, CMCS.

Mass Customization of Responsive Automated Assembly Cells

Ulrich Berger, Sarfraz Ul Haque Minhas, Ralf Kretzschmann, 2009 .

Proofs, Programs, Processes

Ulrich Berger, Monika Seisenberger, 2011, Theory of Computing Systems.

Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Ulrich Berger, Benedikt Löwe, John V. Tucker, 2006, CiE.

The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction

Ulrich Berger, Monika Seisenberger, Helmut Schwichtenberg, 2004, Journal of Automated Reasoning.

Realisability for Induction and Coinduction with Applications to Constructive Analysis

Ulrich Berger, Ulrich Berger, 2010, J. Univers. Comput. Sci..

Applications of Neural Networks and Fuzzy Technologies to Process Control

Ulrich Berger, Amer Noureldin, Gerhard Lappus, 2003 .

Uniform Schemata for Proof Rules

Ulrich Berger, Tie Hou, 2014, CiE.

Density Theorems for the Domains-with-Totality Semantics of Dependent Types

Ulrich Berger, Ulrich Berger, 1999, Appl. Categorical Struct..

Realisability and Adequacy for (Co)induction

Ulrich Berger, Ulrich Berger, 2009, CCA.

Towards a Mobile Robotic Assembly System Using a Compliant Robot

Ulrich Berger, Duc Tho Le, Mayur Andulkar, 2017 .

Intelligent Production Monitoring and Control based on Three Main Modules for Automated Manufacturing Cells in the Automotive Industry

Ulrich Berger, Ralf Kretzschmann, A. Vargas Veronica Algebra, 2008 .

Preface

Ulrich Berger, Michael W. Mislove, 2012, MFPS.

Preface to the special issue: Computing with infinite data: topological and logical foundations

Ulrich Berger, Victor L. Selivanov, Vasco Brattka, 2015, Math. Struct. Comput. Sci..

Strong normalisation for applied lambda calculi

Ulrich Berger, Ulrich Berger, Ulrich Berger, 2005, ArXiv.

Preface

Ulrich Berger, Steffen van Bakel, Stefano Berardi, 2013, Annals of Pure and Applied Logic.

Enhancing Productivity through Integrated Intelligent Methodology in Automated Production Environment

Ulrich Berger, Sarfraz Ul Haque Minhas, Yuliya Lebedynska, 2009 .

Application of Digital Human Modelling Concepts for Automotive Production

Ulrich Berger, Raffaello Lepratti, Henning Otte, 2004 .

Proceedings Third International Workshop on Classical Logic and Computation

Ulrich Berger, Steffen van Bakel, Stefano Berardi, 2011 .

Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon0

Ulrich Berger, Ulrich Berger, 2001, Proof Theory in Computer Science.

Optimized Program Extraction for Induction and Coinduction

Ulrich Berger, Olga Petrovska, 2018, CiE.

Functional concepts in C++

Ulrich Berger, Anton Setzer, Rose H. Abdul Rauf, 2006, Trends in Functional Programming.

Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)

Ulrich Berger, Victor L. Selivanov, Vasco Brattka, 2011, Dagstuhl Reports.

Total Sets and Objects in Domain Theory

Ulrich Berger, Ulrich Berger, 1993, Ann. Pure Appl. Log..

A coinductive approach to verified exact real number computation

Ulrich Berger, Sion Lloyd, Ulrich Berger, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Martin Hofmann's Case for Non-Strictly Positive Data Types

Ralph Matthes, Ulrich Berger, Anton Setzer, 2018, TYPES.

A Heuristic STEP-NC Based Process Planning Tool for Sequencing NC Machining Operations

Ulrich Berger, Ralf Kretzschmann, Klaus-Peter Arnold, 2009 .

Calculating a Garbage Collector

Ulrich Berger, Bernhard Möller, Werner Meixner, 1991, Methods of Programming.

Advanced tailplane designs and repair mechanisms for the semirigid airship Zeppelin NT

Thomas Kuhn, Ulrich Berger, M. Lang, 2005 .

Program extraction applied to monadic parsing

Ulrich Berger, Monika Seisenberger, Alison Jones, 2019, J. Log. Comput..

Approach for the development of heuristic process planning tool for sequencing NC machining operations

Ulrich Berger, R Kretschmann, K P Arnold, 2008 .

Advanced Men-Machine-Interface for Industrial Robots in the Automotive Manufacturing

Ulrich Berger, Raffaello Lepratti, R. Lepratti, 2003 .

From Coinductive Proofs to Exact Real Arithmetic

Ulrich Berger, Ulrich Berger, 2009, CSL.

Preface

Ulrich Berger, Bernhard Reus, Karl-Heinz Niggl, 2001, Theor. Comput. Sci..

Foreword

Ulrich Berger, Vasco Brattka, Dieter Spreen, 2012, Ann. Pure Appl. Log..

Preface

Ulrich Berger, Steffen van Bakel, Stefano Berardi, 2010, Ann. Pure Appl. Log..

A computational interpretation of open induction

Ulrich Berger, Ulrich Berger, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

Continuous semantics for strong normalisation

Ulrich Berger, Ulrich Berger, 2006, Mathematical Structures in Computer Science.

Modified bar recursion

Ulrich Berger, Paulo Oliva, Paulo Oliva, 2006, Mathematical Structures in Computer Science.

Computing with Infinite Objects: the Gray Code Case pdf

Ulrich Berger, Dieter Spreen, 2021, ArXiv.

Extracting total Amb programs from proofs pdf

Ulrich Berger, Hideki Tsuiki, 2021, ArXiv.

Logical approaches to computational barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, Wales, July 2006, Proceedings

Ulrich Berger, Benedikt Löwe, J. V. Tucker, 2006 .

Programs from classical proofs

Ulrich Berger, 1995 .

Logical Approaches to Computational Barriers

Ulrich Berger, Benedikt Löwe, John V. Tucker, 2006 .

Some Notes on Learning in Games with Strategic Complementarities

Ulrich Berger, 2004 .

A general model of best response adaptation

Ulrich Berger, 2003 .

Fictitious play in 2xn games

Ulrich Berger, 2003 .

Continuous Functionals of Dependent and Transfinite Types

Ulrich Berger, John K. Truss, Ulrich Berger, 1999 .

Evolutionary Stability of Indirect Reciprocity by Image Scoring

Ulrich Berger, Ansgar Grüne, Ulrich Berger, 2014 .

Bill-and-Keep vs. Cost-Based Access Pricing Revisited

Ulrich Berger, 2004 .

Continuous Fictitious Play via Projective Geometry

Ulrich Berger, Ulrich Berger, 2003 .