Andrej Bauer

Cited by

	All	Since 2018
Citations	1769	835
h-index	20	15
i10-index	38	18

180

135

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 21 26 32 27 34 38 39 33 34 62 33 25 52 51 87 69 85 124 146 144 165 175 162 41

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Steve AwodeyCarnegie Mellon UniversityVerified email at cmu.edu
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityVerified email at math.su.se
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerified email at cs.bham.ac.uk
Jason GrossGraduate, Massachusetts Institute of TechnologyVerified email at mit.edu
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Karin Cvetko VahSenior Data Science Researcher, Sony EuropeVerified email at sony.com
Anja Petković KomelPostDoc, Vienna university of technologyVerified email at tuwien.ac.at
Ganna KudryavtsevaReseacher, Institute Jozef StefanVerified email at ijs.si
mai gehrkeCNRS et Université Côte d'AzurVerified email at unice.fr
Danel AhmanPostDoc, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Jens BlanckSwansea UniversityVerified email at swansea.ac.uk
Aleksandr KarbyshevHeliaxVerified email at heliax.dev
Marko GrobelnikJozef Stefan Institute, SloveniaVerified email at ijs.si
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk

Andrej Bauer

University of Ljubljana

Verified email at andrej.com - Homepage

Mathematics computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Programming with algebraic effects and handlers A Bauer, M Pretnar Journal of Logical and Algebraic Methods in Programming 84 (1), 108-123, 2015	253	2015
Equilogical spaces A Bauer, L Birkedal, DS Scott Theoretical Computer Science 315 (1), 35-59, 2004	121	2004
Propositions as [types] S Awodey, A Bauer Journal of Logic and Computation 14 (4), 447-471, 2004	111	2004
Homotopy type theory: Univalent foundations of mathematics The Univalent Foundations Program, Institute for Advanced Study, 2013	108*	2013
The realizability approach to computable analysis and topology A Bauer Carnegie Mellon University, 2000	105	2000
An effect system for algebraic effects and handlers A Bauer, M Pretnar Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013	91	2013
The HoTT Library: A formalization of homotopy type theory in Coq A Bauer, J Gross, PLF Lumsdaine, M Shulman, M Sozeau, B Spitters Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017	88	2017
Analytica–an experiment in combining theorem proving and symbolic computation A Bauer, E Clarke, X Zhao Journal of Automated Reasoning 21 (3), 295-325, 1998	72	1998
First steps in synthetic computability theory A Bauer Electronic Notes in Theoretical Computer Science 155, 5-31, 2006	63	2006
Five stages of accepting constructive mathematics A Bauer Bulletin of the American Mathematical Society 54 (3), 481-498, 2017	58	2017
Multibasic and mixed hypergeometric Gosper-type algorithms A Bauer, M Petkovšek Journal of Symbolic Computation 28 (4-5), 711-736, 1999	48	1999
The Dedekind reals in abstract Stone duality A Bauer, P Taylor Mathematical structures in computer science 19 (04), 757-838, 2009	41	2009
Comparing functional paradigms for exact real-number computation A Bauer, MH Escardó, A Simpson International Colloquium on Automata, Languages, and Programming, 488-500, 2002	39	2002
The HoTT library A Bauer, J Gross, PLF Lumsdaine, M Shulman, B Spitters URL: https://github. com/HoTT/HoTT, 2016	30*	2016
Realizability as the connection between computable and constructive mathematics A Bauer Proceedings of CCA, 2005	30	2005
A relationship between equilogical spaces and type two effectivity A Bauer Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (S1), 1-15, 2002	30	2002
Gallery of random art A Bauer WWW at http://andrej. com/art, 1998	28	1998
A non-commutative Priestley duality A Bauer, K Cvetko-Vah, M Gehrke, SJ van Gool, G Kudryavtseva Topology and its Applications 160 (12), 1423-1438, 2013	27	2013
Implementing real numbers with RZ A Bauer, I Kavkler Electronic Notes in Theoretical Computer Science 202, 365-384, 2008	25	2008
Metric spaces in synthetic topology A Bauer, D Lešnik Annals of pure and applied logic 163 (2), 87-100, 2012	21	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors