Andrej Bauer - RankMe

72 papers A* 2A 1B 9C 9Journal 46Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Sheaves as oracle computations. CoRR Danel Ahman, Andrej Bauer
2025	J	`jnl`	Comodule representations of second-order functionals. J. Log. Algebraic Methods Program. Danel Ahman, Andrej Bauer
2025	J	`jnl`	Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem. J. Log. Anal. Andrej Bauer
2024	J	`jnl`	An Imperative Language for Verified Exact Real-Number Computation. CoRR Andrej Bauer, Sewon Park, Alex Simpson
2024	J	`jnl`	Comodule Representations of Second-Order Functionals. CoRR Danel Ahman, Andrej Bauer
2024	C	`conf`	Incorporating a Database of Graphs into a Proof Assistant. CICM Andrej Bauer, Katja Bercic, Gauvain Devillez, Jure Taslak
2023	J	`jnl`	Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401). Dagstuhl Reports Andrej Bauer, Katja Bercic, Florian Rabe, Nicolas M. Thiéry, Jure Taslak
2023	J	`jnl`	Finitary Type Theories With and Without Contexts. J. Autom. Reason. Philipp G. Haselwarter, Andrej Bauer
2023	A*	`conf`	MLFMF: Data Sets for Machine Learning for Mathematical Formalization. NeurIPS Andrej Bauer, Matej Petkovic, Ljupco Todorovski
2023	J	`jnl`	MLFMF: Data Sets for Machine Learning for Mathematical Formalization. CoRR Andrej Bauer, Matej Petkovic, Ljupco Todorovski
2022	J	`jnl`	A global COVID-19 observatory, monitoring the pandemics through text mining and visualization. Informatica (Slovenia) M. Besher Massri, João Pita Costa, Andrej Bauer, Marko Grobelnik, Janez Brank, Luka Stopar
2022	J	`jnl`	An extensible equality checking algorithm for dependent type theories. Log. Methods Comput. Sci. Andrej Bauer, Anja Petkovic Komel
2022	J	`jnl`	Instance reducibility and Weihrauch degrees. Log. Methods Comput. Sci. Andrej Bauer
2021	J	`jnl`	An extensible equality checking algorithm for dependent type theories. CoRR Andrej Bauer, Anja Petkovic
2021	J	`jnl`	Finitary type theories with and without contexts. CoRR Philipp G. Haselwarter, Andrej Bauer
2020	J	`jnl`	A general definition of dependent type theories. CoRR Andrej Bauer, Philipp G. Haselwarter, Peter LeFanu Lumsdaine
2020	—	`conf`	Equality Checking for General Type Theories in Andromeda 2. ICMS Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic
2020	A	`conf`	Runners in Action. ESOP Danel Ahman, Andrej Bauer
2019	J	`jnl`	Every metric space is separable in function realizability. Log. Methods Comput. Sci. Andrej Bauer, Andrew Swan
2019	J	`jnl`	Runners in action. CoRR Danel Ahman, Andrej Bauer
2018	J	`jnl`	Design and Implementation of the Andromeda Proof Assistant. CoRR Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone
2018	J	`jnl`	Every metric space is separable in function realizability. CoRR Andrej Bauer, Andrew Swan
2018	J	`jnl`	Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341). Dagstuhl Reports Andrej Bauer, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Assia Mahboubi
2018	J	`jnl`	What is algebraic about algebraic effects and handlers? CoRR Andrej Bauer
2017	J	`jnl`	Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014). J. Log. Anal. Andrej Bauer, Ulrich Berger, Willem L. Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler
2017	J	`jnl`	Report on MFPS XXXIII and CALCO 2017. ACM SIGLOG News Andrej Bauer
2017	B	`conf`	The HoTT library: a formalization of homotopy type theory in Coq. CPP Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters
2016	—	`conf`	Design and Implementation of the Andromeda Proof Assistant. TYPES Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone
2016	J	`jnl`	From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). Dagstuhl Reports Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop
2016	J	`jnl`	The HoTT Library: A formalization of homotopy type theory in Coq. CoRR Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters
2015	J	`jnl`	An injection from the Baire space to natural numbers. Math. Struct. Comput. Sci. Andrej Bauer
2015	J	`jnl`	Programming with algebraic effects and handlers. J. Log. Algebraic Methods Program. Andrej Bauer, Matija Pretnar
2014	J	`jnl`	An Effect System for Algebraic Effects and Handlers. Log. Methods Comput. Sci. Andrej Bauer, Matija Pretnar
2014	J	`jnl`	Cartesian closed categories of separable Scott domains. Theor. Comput. Sci. Andrej Bauer, Gordon D. Plotkin, Dana S. Scott
2013	B	`conf`	An Effect System for Algebraic Effects and Handlers. CALCO Andrej Bauer, Matija Pretnar
2013	B	`conf`	On Monadic Parametricity of Second-Order Functionals. FoSSaCS Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev
2012	J	`jnl`	Metric spaces in synthetic topology. Ann. Pure Appl. Log. Andrej Bauer, Davorin Lesnik
2012	J	`jnl`	On the failure of fixed-point theorems for chain-complete lattices in the effective topos. Theor. Comput. Sci. Andrej Bauer
2012	J	`jnl`	Preface. Ann. Pure Appl. Log. Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster
2012	J	`jnl`	Programming with Algebraic Effects and Handlers CoRR Andrej Bauer, Matija Pretnar
2012	J	`jnl`	Similarity-Based Relations in Datalog Programs. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Melita Hajdinjak, Andrej Bauer
2010	J	`jnl`	Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. J. Univers. Comput. Sci. Andrej Bauer, Jens Blanck
2010	J	`jnl`	Computability and Complexity in Analysis. J. Univers. Comput. Sci. Andrej Bauer, Peter Hertling, Ker-I Ko
2009	J	`jnl`	A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Log. Andrej Bauer, Iztok Kavkler
2009	C	`conf`	CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. CCA Andrej Bauer, Peter Hertling, Ker-I Ko
2009	C	`conf`	CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. CCA Andrej Bauer, Peter Hertling, Ker-I Ko
2009	C	`conf`	Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. CCA Andrej Bauer, Jens Blanck
2009	B	`conf`	On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. MFPS Andrej Bauer
2009	J	`jnl`	RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. J. Log. Comput. Andrej Bauer, Christopher A. Stone
2009	J	`jnl`	Similarity Measures for Relational Databases. Informatica (Slovenia) Melita Hajdinjak, Andrej Bauer
2009	C	`ed.`	Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, Ljubljana, Slovenia, August 18-22, 2009 CCA Andrej Bauer, Peter Hertling, Ker-I Ko
2009	J	`jnl`	The Dedekind reals in abstract Stone duality. Math. Struct. Comput. Sci. Andrej Bauer, Paul Taylor
2008	B	`conf`	Preface. MFPS Andrej Bauer, Michael W. Mislove
2008	B	`ed.`	Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008 MFPS Andrej Bauer, Michael W. Mislove
2008	J	`jnl`	Sheaf toposes for realizability. Arch. Math. Log. Steven Awodey, Andrej Bauer
2007	C	`conf`	Implementing Real Numbers With RZ. CCA Andrej Bauer, Iztok Kavkler
2007	C	`conf`	RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. CiE Andrej Bauer, Christopher A. Stone
2005	B	`conf`	First Steps in Synthetic Computability Theory. MFPS Andrej Bauer
2005	C	`conf`	Realizability as Connection between Constructive and Computable Mathematics. CCA Andrej Bauer
2005	—	`conf`	Specifications via Realizability. CLASE Andrej Bauer, Christopher A. Stone
2005	C	`conf`	The Dedekind Reals in Abstract Stone Duality. CCA Andrej Bauer, Paul Taylor
2004	J	`jnl`	Equilogical spaces. Theor. Comput. Sci. Andrej Bauer, Lars Birkedal, Dana S. Scott
2004	J	`jnl`	Propositions as Types. J. Log. Comput. Steven Awodey, Andrej Bauer
2004	J	`jnl`	Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Math. Log. Q. Andrej Bauer, Alex Simpson
2002	J	`jnl`	A Relationship between Equilogical Spaces and Type Two Effectivity. Math. Log. Q. Andrej Bauer
2002	A*	`conf`	Comparing Functional Paradigms for Exact Real-Number Computation. ICALP Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson
2001	B	`conf`	A Relationship between Equilogical Spaces and Type Two Effectivity. MFPS Andrej Bauer
2000	B	`conf`	Continuous Functionals of Dependent Types and Equilogical Spaces. CSL Andrej Bauer, Lars Birkedal
1999	J	`jnl`	Multibasic and Mixed Hypergeometric Gosper-Type Algorithms. J. Symb. Comput. Andrej Bauer, Marko Petkovsek
1998	J	`jnl`	Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. J. Autom. Reason. Andrej Bauer, Edmund M. Clarke, Xudong Zhao
1998	—	`conf`	Equilogical spaces and domains with totality. Workshop on Domains Andrej Bauer
1996	—	`conf`	Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. AISMC Andrej Bauer, Edmund M. Clarke, Xudong Zhao