Andrej Bauer

	2009
27		Andrej 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
26		Andrej Bauer, Peter Hertling, Ker-I Ko: CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. CCA 2009
25		Andrej Bauer, Peter Hertling, Ker-I Ko: CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. CCA 2009
24		Andrej Bauer, Jens Blanck: Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. CCA 2009
23		Andrej Bauer, Iztok Kavkler: A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Logic 159(3): 251-267 (2009)
22		Andrej 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)
21		Andrej 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)
20		Andrej Bauer, Paul Taylor: The Dedekind reals in abstract Stone duality. Mathematical Structures in Computer Science 19(4): 757-838 (2009)
	2008
19		Steven Awodey, Andrej Bauer: Sheaf toposes for realizability. Arch. Math. Log. 47(5): 465-478 (2008)
18		Andrej Bauer, Iztok Kavkler: Implementing Real Numbers With RZ. Electr. Notes Theor. Comput. Sci. 202: 365-384 (2008)
17		Andrej Bauer, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 218: 1-4 (2008)
	2007
16		Andrej Bauer, Christopher A. Stone: RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. CiE 2007: 28-42
	2006
15		Andrej Bauer, Christopher A. Stone: Specifications via Realizability. Electr. Notes Theor. Comput. Sci. 153(1): 77-92 (2006)
14		Andrej Bauer: First Steps in Synthetic Computability Theory. Electr. Notes Theor. Comput. Sci. 155: 5-31 (2006)
	2005
13		Andrej Bauer, Paul Taylor: The Dedekind Reals in Abstract Stone Duality. CCA 2005: 25-64
12		Andrej Bauer: Realizability as Connection between Constructive and Computable Mathematics. CCA 2005: 378-379
	2004
11		Steven Awodey, Andrej Bauer: Propositions as Types. J. Log. Comput. 14(4): 447-471 (2004)
10		Andrej 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)
9		Andrej Bauer, Lars Birkedal, Dana S. Scott: Equilogical spaces. Theor. Comput. Sci. 315(1): 35-59 (2004)
	2002
8		Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson: Comparing Functional Paradigms for Exact Real-Number Computation. ICALP 2002: 488-500
7		Andrej Bauer: A Relationship between Equilogical Spaces and Type Two Effectivity. Math. Log. Q. 48(S1): 1-15 (2002)
	2001
6		Andrej Bauer: A Relationship between Equilogical Spaces and Type Two Effectivity. Electr. Notes Theor. Comput. Sci. 45: (2001)
	2000
5		Andrej Bauer, Lars Birkedal: Continuous Functionals of Dependent Types and Equilogical Spaces. CSL 2000: 202-216
4		Andrej Bauer: Equilogical spaces and domains with totality. Electr. Notes Theor. Comput. Sci. 35: (2000)
	1999
3		Andrej Bauer, Marko Petkovsek: Multibasic and Mixed Hypergeometric Gosper-Type Algorithms. J. Symb. Comput. 28(4-5): 711-736 (1999)
	1998
2		Andrej 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
1		Andrej Bauer, Edmund M. Clarke, Xudong Zhao: Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. AISMC 1996: 21-37

Coauthor Index

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

Colors in the list of coauthors