| 2026 | FSCD | Sheaves as Oracle Computations (Invited Talk). | Danel Ahman, Andrej Bauer |
| 2020 | ESOP | Runners in Action. | Danel Ahman, Andrej Bauer |
| 2017 | CPP | The HoTT library: a formalization of homotopy type theory in Coq. | Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters |
| 2013 | CALCO | An Effect System for Algebraic Effects and Handlers. | Andrej Bauer, Matija Pretnar |
| 2013 | FOSSACS | On Monadic Parametricity of Second-Order Functionals. | Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev |
| 2009 | CCA | Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. | Andrej Bauer, Jens Blanck |
| 2009 | CCA | CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. | Andrej Bauer, Peter Hertling, Ker-I Ko |
| 2009 | CCA | CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. | Andrej Bauer, Peter Hertling, Ker-I Ko |
| 2007 | CiE | RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. | Andrej Bauer, Christopher A. Stone |
| 2005 | CCA | Realizability as Connection between Constructive and Computable Mathematics. | Andrej Bauer |
| 2005 | CCA | The Dedekind Reals in Abstract Stone Duality. | Andrej Bauer, Paul Taylor |
| 2002 | ICALP | Comparing Functional Paradigms for Exact Real-Number Computation. | Andrej Bauer, Martn Htzel Escard, Alex K. Simpson |
| 2000 | CSL | Continuous Functionals of Dependent Types and Equilogical Spaces. | Andrej Bauer, Lars Birkedal |
| 1996 | AISC | Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. | Andrej Bauer, Edmund M. Clarke, Xudong Zhao |