Edit Profile Berger, Ulrich Compute Distance To: Compute Author ID: berger.ulrich Published as: Berger, U.; Berger, Ulrich Homepage: http://www.cs.swan.ac.uk/~csulrich/ External Links: MGP Documents Indexed: 67 Publications since 1990, including 10 Books all top 5 Co-Authors 22 single-authored 12 Seisenberger, Monika 11 Schwichtenberg, Helmut 4 Hou, Tie 4 Spreen, Dieter 4 Tsuiki, Hideki 3 Berardi, Stefano 3 van Bakel, Steffen 2 Blanck, Jens 2 Brattka, Vasco 2 Lawrence, Andrew 2 Miyamoto, Kenji 2 Oliva, Paulo 2 Schuster, Peter Michael 2 Setzer, Anton 1 Abdul Rauf, Rose H. 1 Aehlig, Klaus 1 Bauer, Andrej 1 Beckmann, Arnold 1 Benl, Holger 1 Berghofer, Stefan 1 Buchholz, Wilfried 1 Diener, Hannes 1 Eberl, Matthias 1 Fouché, Willem Louw 1 Hofmann, Martin 1 Hötzel Escardó, Martín 1 Jones, Alison 1 Keimel, Klaus 1 Køber, Petter Kristian 1 Letouzey, Pierre 1 Löwe, Benedikt 1 Mislove, Michael W. 1 Morozov, Andreĭ Sergeevich 1 Nordvall Forsberg, Fredrik 1 Osswald, Horst 1 Selivanov, Viktor L’vovich 1 Tucker, John V. 1 Woods, Gregory J. M. 1 Ziegler, Martin 1 Zuber, Wolfgang all top 5 Serials 8 Annals of Pure and Applied Logic 6 MSCS. Mathematical Structures in Computer Science 3 Theory of Computing Systems 3 Logical Methods in Computer Science 2 Journal of Logic and Analysis 1 Studia Logica 1 Theoretical Computer Science 1 Information and Computation 1 Journal of Automated Reasoning 1 Journal of Logic and Computation 1 Applied Categorical Structures 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Universal Computer Science 1 Lecture Notes in Computer Science 1 NATO ASI Series. Series F. Computer and Systems Sciences 1 Synthese Library 1 Electronic Notes in Theoretical Computer Science 1 Ontos Mathematical Logic 1 Journal of Logical and Algebraic Methods in Programming 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) Fields 46 Mathematical logic and foundations (03-XX) 38 Computer science (68-XX) 12 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 42 Publications have been cited 199 times in 125 Documents Cited by ▼ Year ▼ Total sets and objects in domain theory. Zbl 0776.03031Berger, Ulrich 20 1993 Refined program extraction from classical proofs. Zbl 0992.03070Berger, Ulrich; Buchholz, Wilfried; Schwichtenberg, Helmut 13 2002 Proof theory at work: Program development in the minlog system. Zbl 1015.68177Benl, Holger; Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika; Zuber, Wolfgang 12 1998 Program extraction from normalization proofs. Zbl 0788.68015Berger, Ulrich 11 1993 Modified bar recursion. Zbl 1101.03032Berger, Ulrich; Oliva, Paulo 10 2006 Uniform Heyting arithmetic. Zbl 1081.03057Berger, Ulrich 10 2005 Term rewriting for normalization by evaluation. Zbl 1054.68078Berger, Ulrich; Eberl, Matthias; Schwichtenberg, Helmut 10 2003 Modified bar recursion and classical dependent choice. Zbl 1081.03059Berger, Ulrich; Oliva, Paulo 8 2005 The Warshall algorithm and Dickson’s lemma: Two examples of realistic program extraction. Zbl 0958.03009Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika 8 2001 Totale Objekte und Mengen in der Bereichstheorie. (Total objects and sets in domain theory). Zbl 0733.03037Berger, Ulrich 7 1990 From coinductive proofs to exact real arithmetic: theory and applications. Zbl 1218.03036Berger, Ulrich 6 2011 From coinductive proofs to exact real arithmetic. Zbl 1218.03035Berger, Ulrich 6 2009 Program extraction from normalization proofs. Zbl 1095.03016Berger, Ulrich; Berghofer, Stefan; Letouzey, Pierre; Schwichtenberg, Helmut 6 2006 Reuniting the antipodes—constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16–22, 1999. Zbl 0982.00037Schuster, Peter (ed.); Berger, Ulrich (ed.); Osswald, Horst (ed.) 6 2001 Minlog – a tool for program extraction supporting algebras and coalgebras. Zbl 1344.68201Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Seisenberger, Monika 5 2011 Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074Berger, Ulrich 5 2010 On the stability of cooperation under indirect reciprocity with first-order information. Zbl 1394.91037Berger, Ulrich; Grüne, Ansgar 4 2016 Proofs, programs, processes. Zbl 1280.68078Berger, Ulrich; Seisenberger, Monika 4 2012 Proofs, programs, processes. Zbl 1280.68077Berger, Ulrich; Seisenberger, Monika 4 2010 Coinduction for exact real number computation. Zbl 1166.68015Berger, Ulrich; Hou, Tie 4 2008 Continuous semantics for strong normalization. Zbl 1113.68418Berger, Ulrich 4 2005 An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut 4 2004 Logic for Gray-code computation. Zbl 1433.03120Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Tsuiki, Hideki 3 2016 Strong normalization for applied lambda calculi. Zbl 1125.03014Berger, Ulrich 3 2005 Computability and totality in domains. Zbl 1005.68040Berger, Ulrich 3 2002 Program development by proof transformation. Zbl 0856.03010Berger, Ulrich; Schwichtenberg, Helmut 3 1995 Optimized program extraction for induction and coinduction. Zbl 06932459Berger, Ulrich; Petrovska, Olga 2 2018 Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Zbl 1102.68002Beckmann, Arnold (ed.); Berger, Ulrich (ed.); Löwe, Benedikt (ed.); Tucker, John V. (ed.) 2 2006 Applications of inductive definitions and choice principles to program synthesis. Zbl 1096.03068Berger, Ulrich; Seisenberger, Monika 2 2005 Density theorems for the domains-with-totality semantics of dependent types. Zbl 0933.03078Berger, Ulrich 2 1999 Undecidability of equality for codata types. Zbl 06962931Berger, Ulrich; Setzer, Anton 1 2018 Extracting non-deterministic concurrent programs. Zbl 1369.68128Berger, Ulrich 1 2016 A coinductive approach to computing with compact sets. Zbl 1396.03085Berger, Ulrich; Spreen, Dieter 1 2016 Extracting verified decision procedures: DPLL and resolution. Zbl 1448.68454Berger, Ulrich; Lawrence, Andrew; Forsberg, Fredrik Nordvall; Seisenberger, Monika 1 2015 Extracting imperative programs from proofs: In-place Quicksort. Zbl 1359.68042Berger, Ulrich; Seisenberger, Monika; Woods, Gregory J. M. 1 2014 Typed vs. untyped realizability. Zbl 1342.68047Berger, Ulrich; Hou, Tie 1 2012 Program extraction via typed realisability for induction and coinduction. Zbl 1244.03107Berger, Ulrich; Seisenberger, Monika 1 2010 A domain model characterising strong normalisation. Zbl 1153.03006Berger, Ulrich 1 2008 Continuous semantics for strong normalisation. Zbl 1115.03008Berger, Ulrich 1 2006 Minimisation vs. recursion on the partial continuous functionals. Zbl 1023.03041Berger, Ulrich 1 2002 Continuous functionals of dependent and transfinite types. Zbl 0946.03068Berger, Ulrich 1 1999 The greatest common divisor: a case study for program extraction from classical proofs. Zbl 1434.03024Berger, U.; Schwichtenberg, H. 1 1996 Optimized program extraction for induction and coinduction. Zbl 06932459Berger, Ulrich; Petrovska, Olga 2 2018 Undecidability of equality for codata types. Zbl 06962931Berger, Ulrich; Setzer, Anton 1 2018 On the stability of cooperation under indirect reciprocity with first-order information. Zbl 1394.91037Berger, Ulrich; Grüne, Ansgar 4 2016 Logic for Gray-code computation. Zbl 1433.03120Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Tsuiki, Hideki 3 2016 Extracting non-deterministic concurrent programs. Zbl 1369.68128Berger, Ulrich 1 2016 A coinductive approach to computing with compact sets. Zbl 1396.03085Berger, Ulrich; Spreen, Dieter 1 2016 Extracting verified decision procedures: DPLL and resolution. Zbl 1448.68454Berger, Ulrich; Lawrence, Andrew; Forsberg, Fredrik Nordvall; Seisenberger, Monika 1 2015 Extracting imperative programs from proofs: In-place Quicksort. Zbl 1359.68042Berger, Ulrich; Seisenberger, Monika; Woods, Gregory J. M. 1 2014 Proofs, programs, processes. Zbl 1280.68078Berger, Ulrich; Seisenberger, Monika 4 2012 Typed vs. untyped realizability. Zbl 1342.68047Berger, Ulrich; Hou, Tie 1 2012 From coinductive proofs to exact real arithmetic: theory and applications. Zbl 1218.03036Berger, Ulrich 6 2011 Minlog – a tool for program extraction supporting algebras and coalgebras. Zbl 1344.68201Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Seisenberger, Monika 5 2011 Realisability for induction and coinduction with applications to constructive analysis. Zbl 1219.03074Berger, Ulrich 5 2010 Proofs, programs, processes. Zbl 1280.68077Berger, Ulrich; Seisenberger, Monika 4 2010 Program extraction via typed realisability for induction and coinduction. Zbl 1244.03107Berger, Ulrich; Seisenberger, Monika 1 2010 From coinductive proofs to exact real arithmetic. Zbl 1218.03035Berger, Ulrich 6 2009 Coinduction for exact real number computation. Zbl 1166.68015Berger, Ulrich; Hou, Tie 4 2008 A domain model characterising strong normalisation. Zbl 1153.03006Berger, Ulrich 1 2008 Modified bar recursion. Zbl 1101.03032Berger, Ulrich; Oliva, Paulo 10 2006 Program extraction from normalization proofs. Zbl 1095.03016Berger, Ulrich; Berghofer, Stefan; Letouzey, Pierre; Schwichtenberg, Helmut 6 2006 Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Zbl 1102.68002Beckmann, Arnold (ed.); Berger, Ulrich (ed.); Löwe, Benedikt (ed.); Tucker, John V. (ed.) 2 2006 Continuous semantics for strong normalisation. Zbl 1115.03008Berger, Ulrich 1 2006 Uniform Heyting arithmetic. Zbl 1081.03057Berger, Ulrich 10 2005 Modified bar recursion and classical dependent choice. Zbl 1081.03059Berger, Ulrich; Oliva, Paulo 8 2005 Continuous semantics for strong normalization. Zbl 1113.68418Berger, Ulrich 4 2005 Strong normalization for applied lambda calculi. Zbl 1125.03014Berger, Ulrich 3 2005 Applications of inductive definitions and choice principles to program synthesis. Zbl 1096.03068Berger, Ulrich; Seisenberger, Monika 2 2005 An arithmetic for non-size-increasing polynomial-time computation. Zbl 1064.03036Aehlig, Klaus; Berger, Ulrich; Hofmann, Martin; Schwichtenberg, Helmut 4 2004 Term rewriting for normalization by evaluation. Zbl 1054.68078Berger, Ulrich; Eberl, Matthias; Schwichtenberg, Helmut 10 2003 Refined program extraction from classical proofs. Zbl 0992.03070Berger, Ulrich; Buchholz, Wilfried; Schwichtenberg, Helmut 13 2002 Computability and totality in domains. Zbl 1005.68040Berger, Ulrich 3 2002 Minimisation vs. recursion on the partial continuous functionals. Zbl 1023.03041Berger, Ulrich 1 2002 The Warshall algorithm and Dickson’s lemma: Two examples of realistic program extraction. Zbl 0958.03009Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika 8 2001 Reuniting the antipodes—constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16–22, 1999. Zbl 0982.00037Schuster, Peter (ed.); Berger, Ulrich (ed.); Osswald, Horst (ed.) 6 2001 Density theorems for the domains-with-totality semantics of dependent types. Zbl 0933.03078Berger, Ulrich 2 1999 Continuous functionals of dependent and transfinite types. Zbl 0946.03068Berger, Ulrich 1 1999 Proof theory at work: Program development in the minlog system. Zbl 1015.68177Benl, Holger; Berger, Ulrich; Schwichtenberg, Helmut; Seisenberger, Monika; Zuber, Wolfgang 12 1998 The greatest common divisor: a case study for program extraction from classical proofs. Zbl 1434.03024Berger, U.; Schwichtenberg, H. 1 1996 Program development by proof transformation. Zbl 0856.03010Berger, Ulrich; Schwichtenberg, Helmut 3 1995 Total sets and objects in domain theory. Zbl 0776.03031Berger, Ulrich 20 1993 Program extraction from normalization proofs. Zbl 0788.68015Berger, Ulrich 11 1993 Totale Objekte und Mengen in der Bereichstheorie. (Total objects and sets in domain theory). Zbl 0733.03037Berger, Ulrich 7 1990 all cited Publications top 5 cited Publications all top 5 Cited by 128 Authors 15 Berger, Ulrich 10 Schwichtenberg, Helmut 7 Hötzel Escardó, Martín 6 Oliva, Paulo 5 Sanders, Sam 4 Aehlig, Klaus 4 Blanck, Jens 4 Hernest, Mircea-Dan 4 Powell, Thomas M. 4 Seisenberger, Monika 4 Stoltenberg-Hansen, Viggo 3 Avigad, Jeremy 3 Bauer, Andrej 3 Normann, Dag 3 Schuster, Peter Michael 3 Spreen, Dieter 2 Abel, Andreas M. 2 Bickford, Mark 2 Capretta, Venanzio 2 Dybjer, Peter 2 Haftmann, Florian 2 Hou, Tie 2 Japaridze, Giorgi 2 Katz, Mikhail G. 2 Korovina, Margarita Vladimirovna 2 Kudinov, Oleg Victorovich 2 Longley, John R. 2 Moczydłowski, Wojciech 2 Nipkow, Tobias 2 Spitters, Bas 2 Trifonov, Trifon A. 2 Tsuiki, Hideki 2 Tucker, John V. 1 Aiguier, Marc 1 Alger, Ingela 1 Allais, Guillaume 1 Artemov, Sergei 1 Aschieri, Federico 1 Benci, Vieri 1 Berghofer, Stefan 1 Biernacka, Małgorzata 1 Biernacki, Dariusz 1 Birkedal, Lars 1 Blanqui, Frédéric 1 Briseid, Eyvind Martol 1 Buchholz, Wilfried 1 Burel, Guillaume 1 Chen, Yixiang 1 Constable, Robert Lee 1 Crolard, Tristan 1 Di Nasso, Mauro 1 Eberl, Matthias 1 Fernández, Maribel 1 Gaspar, Jaime 1 Gaudeul, Alexia 1 Ghang, Whan 1 Hameer, Aliya 1 Herzberg, Frederik S. 1 Ho, Weng Kin 1 Hofmann, Martin 1 Howarth, Elizabeth 1 Ilik, Danko 1 Jung, Achim 1 Kahle, Reinhard 1 Karádais, Basil A. 1 Katz, Boris 1 Katz, Karin Usadi 1 Kavkler, Iztok 1 Keser, Claudia 1 Kohlenbach, Ulrich Wilhelm 1 Koprowski, Adam 1 Krebbers, Robbert 1 Kristiansen, Lars 1 Kristiansen, Lill 1 Krivine, Jean-Louis 1 Kudryk, Taras S. 1 Kuperberg, Denis 1 Latkin, E. I. 1 Lawrence, Andrew 1 Leitsch, Alexander 1 Letouzey, Pierre 1 Liefke, Kristina 1 Loader, Ralph 1 Lolic, Anela 1 Longuet, Delphine 1 Matsumoto, Kei 1 Mender, Bedeho Mesghina Wolde 1 Miller, Dale Allen 1 Miyamoto, Kenji 1 Momigliano, Alberto 1 Moshier, M. Andrew 1 Müller, Stephan 1 Niggl, Karl-Heinz 1 Nowak, Martin Andreas 1 O’Connor, Russell 1 Okada, Isamu 1 Olejarz, Jason W. 1 Omodeo, Eugenio Giovanni 1 Palmgren, Erik 1 Paris, Jeffrey Bruce ...and 28 more Authors all top 5 Cited in 30 Serials 23 Annals of Pure and Applied Logic 15 Theoretical Computer Science 10 MSCS. Mathematical Structures in Computer Science 7 The Journal of Symbolic Logic 3 Information and Computation 3 Journal of Functional Programming 3 Theory of Computing Systems 3 The Journal of Logic and Algebraic Programming 3 Logical Methods in Computer Science 2 Studia Logica 2 Journal of Automated Reasoning 2 Indagationes Mathematicae. New Series 2 Logica Universalis 2 Games 1 Computers & Mathematics with Applications 1 Mathematical Biosciences 1 Siberian Mathematical Journal 1 Synthese 1 Games and Economic Behavior 1 Historia Mathematica 1 Expositiones Mathematicae 1 Archive for Mathematical Logic 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Erkenntnis 1 Journal of Logic and Analysis 1 The Review of Symbolic Logic all top 5 Cited in 16 Fields 86 Mathematical logic and foundations (03-XX) 65 Computer science (68-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General and overarching topics; collections (00-XX) 4 Real functions (26-XX) 3 History and biography (01-XX) 2 General topology (54-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) Citations by Year