Andrej Bauer Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Peter Hertling, Ker-I Ko: Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, August 18-22, 2009, Ljubljana, Slovenia Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Peter Hertling, Ker-I Ko: CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. CCA 2009
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Peter Hertling, Ker-I Ko: CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. CCA 2009
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Jens Blanck: Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. CCA 2009
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Iztok Kavkler: A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Logic 159(3): 251-267 (2009)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer: On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. Electr. Notes Theor. Comput. Sci. 249: 157-167 (2009)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Christopher A. Stone: RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. J. Log. Comput. 19(1): 17-43 (2009)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Paul Taylor: The Dedekind reals in abstract Stone duality. Mathematical Structures in Computer Science 19(4): 757-838 (2009)
2008
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Awodey, Andrej Bauer: Sheaf toposes for realizability. Arch. Math. Log. 47(5): 465-478 (2008)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Iztok Kavkler: Implementing Real Numbers With RZ. Electr. Notes Theor. Comput. Sci. 202: 365-384 (2008)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 218: 1-4 (2008)
2007
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Christopher A. Stone: RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. CiE 2007: 28-42
2006
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Christopher A. Stone: Specifications via Realizability. Electr. Notes Theor. Comput. Sci. 153(1): 77-92 (2006)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer: First Steps in Synthetic Computability Theory. Electr. Notes Theor. Comput. Sci. 155: 5-31 (2006)
2005
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Paul Taylor: The Dedekind Reals in Abstract Stone Duality. CCA 2005: 25-64
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer: Realizability as Connection between Constructive and Computable Mathematics. CCA 2005: 378-379
2004
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Awodey, Andrej Bauer: Propositions as Types. J. Log. Comput. 14(4): 447-471 (2004)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Alex Simpson: Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Math. Log. Q. 50(4-5): 351-369 (2004)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Lars Birkedal, Dana S. Scott: Equilogical spaces. Theor. Comput. Sci. 315(1): 35-59 (2004)
2002
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Martín Hötzel Escardó, Alex K. Simpson: Comparing Functional Paradigms for Exact Real-Number Computation. ICALP 2002: 488-500
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer: A Relationship between Equilogical Spaces and Type Two Effectivity. Math. Log. Q. 48(S1): 1-15 (2002)
2001
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer: A Relationship between Equilogical Spaces and Type Two Effectivity. Electr. Notes Theor. Comput. Sci. 45: (2001)
2000
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Lars Birkedal: Continuous Functionals of Dependent Types and Equilogical Spaces. CSL 2000: 202-216
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer: Equilogical spaces and domains with totality. Electr. Notes Theor. Comput. Sci. 35: (2000)
1999
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Marko Petkovsek: Multibasic and Mixed Hypergeometric Gosper-Type Algorithms. J. Symb. Comput. 28(4-5): 711-736 (1999)
1998
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Edmund M. Clarke, Xudong Zhao: Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. J. Autom. Reasoning 21(3): 295-325 (1998)
1996
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrej Bauer, Edmund M. Clarke, Xudong Zhao: Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. AISMC 1996: 21-37

Coauthor Index

1Steven Awodey [11] [19]
2Lars Birkedal [5] [9]
3Jens Blanck [24]
4Edmund M. Clarke [1] [2]
5Martín Hötzel Escardó [8]
6Peter Hertling [25] [26] [27]
7Iztok Kavkler [18] [23]
8Ker-I Ko [25] [26] [27]
9Michael W. Mislove [17]
10Marko Petkovsek [3]
11Dana S. Scott [9]
12Alex K. Simpson (Alex Simpson) [8] [10]
13Christopher A. Stone [15] [16] [21]
14Paul Taylor [13] [20]
15Xudong Zhao [1] [2]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)