Andrej Bauer

	2012
33		Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster: Preface. Ann. Pure Appl. Logic 163(2): 85-86 (2012)
32		Andrej Bauer, Davorin Lesnik: Metric spaces in synthetic topology. Ann. Pure Appl. Logic 163(2): 87-100 (2012)
31		Andrej Bauer, Matija Pretnar: Programming with Algebraic Effects and Handlers CoRR abs/1203.1539: (2012)
	2010
30		Andrej Bauer, Peter Hertling, Ker-I Ko: Computability and Complexity in Analysis. J. UCS 16(18): 2495 (2010)
29		Andrej Bauer, Jens Blanck: Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. J. UCS 16(18): 2496-2522 (2010)
	2009
28		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
27		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
26		Andrej Bauer, Peter Hertling, Ker-I Ko: CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. CCA 2009
25		Andrej Bauer, Jens Blanck: Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. CCA 2009
24		Andrej Bauer, Iztok Kavkler: A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Logic 159(3): 251-267 (2009)
23		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)
22		Melita Hajdinjak, Andrej Bauer: Similarity Measures for Relational Databases. Informatica (Slovenia) 33(2): 135-141 (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: 1-21 (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: 2 (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	[25] [29]
4	Edmund M. Clarke	[1] [2]
5	Thierry Coquand	[33]
6	Martín Hötzel Escardó	[8]
7	Melita Hajdinjak	[22]
8	Peter Hertling	[26] [27] [28] [30]
9	Iztok Kavkler	[18] [24]
10	Ker-I Ko	[26] [27] [28] [30]
11	Davorin Lesnik	[32]
12	Michael W. Mislove	[17]
13	Marko Petkovsek	[3]
14	Matija Pretnar	[31]
15	Giovanni Sambin	[33]
16	Peter Schuster (Peter M. Schuster)	[33]
17	Dana S. Scott	[9]
18	Alex K. Simpson (Alex Simpson)	[8] [10]
19	Christopher A. Stone	[15] [16] [21]
20	Paul Taylor	[13] [20]
21	Xudong Zhao	[1] [2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page