Andrej Bauer

Cited by

	All	Since 2018
Citations	1872	937
h-index	21	15
i10-index	40	22

180

135

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 21 22 30 27 33 39 40 34 34 61 33 26 50 53 85 70 83 126 142 143 162 178 161 148

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Steve AwodeyCarnegie Mellon UniversityVerified email at cmu.edu
Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityVerified email at math.su.se
Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
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	272	2015
Equilogical spaces A Bauer, L Birkedal, DS Scott Theoretical Computer Science 315 (1), 35-59, 2004	121	2004
Homotopy type theory: Univalent foundations of mathematics The Univalent Foundations Program, Institute for Advanced Study, 2013	116*	2013
Propositions as [types] S Awodey, A Bauer Journal of Logic and Computation 14 (4), 447-471, 2004	110	2004
The realizability approach to computable analysis and topology A Bauer Carnegie Mellon University, 2000	105	2000
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	98	2017
An effect system for algebraic effects and handlers A Bauer, M Pretnar Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013	97	2013
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	68	2006
Five stages of accepting constructive mathematics A Bauer Bulletin of the American Mathematical Society 54 (3), 481-498, 2017	64	2017
Multibasic and mixed hypergeometric Gosper-type algorithms A Bauer, M Petkovšek Journal of Symbolic Computation 28 (4-5), 711-736, 1999	50	1999
The Dedekind reals in abstract Stone duality A Bauer, P Taylor Mathematical structures in computer science 19 (04), 757-838, 2009	44	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	42	2002
The HoTT library A Bauer, J Gross, PLF Lumsdaine, M Shulman, B Spitters URL: https://github. com/HoTT/HoTT, 2016	34*	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
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	28	2013
Gallery of random art A Bauer WWW at http://andrej. com/art, 1998	28	1998
Implementing real numbers with RZ A Bauer, I Kavkler Electronic Notes in Theoretical Computer Science 202, 365-384, 2008	25	2008
Runners in action D Ahman, A Bauer Programming Languages and Systems: 29th European Symposium on Programming …, 2020	23	2020

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