| 2024 | ISPASS | A Profiling-Based Benchmark Suite for Warehouse-Scale Computers. | Andreas Abel, Yuying Li, Richard O'Grady, Chris Kennelly, Darryl Gove |
| 2022 | ICS | uiCA: accurate throughput prediction of basic blocks on recent intel microarchitectures. | Andreas Abel, Jan Reineke |
| 2020 | ISPASS | nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems. | Andreas Abel, Jan Reineke |
| 2019 | ASPLOS | uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures. | Andreas Abel, Jan Reineke |
| 2019 | LICS | A Type Theory for Defining Logics and Proofs. | Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rbecca Zucchini |
| 2019 | PPDP | Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. | Andreas Abel, Christian Sattler |
| 2015 | ICCAD | MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines. | Andreas Abel, Jan Reineke |
| 2014 | APLAS | A Formalized Proof of Strong Normalization for Guarded Recursive Types. | Andreas Abel, Andrea Vezzosi |
| 2014 | ISPASS | Reverse engineering of cache replacement policies in Intel microprocessors and their evaluation. | Andreas Abel, Jan Reineke |
| 2013 | CONCUR | Impact of Resource Sharing on Performance and Performance Prediction: A Survey. | Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Drr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm |
| 2013 | ICFP | Wellfounded recursion with copatterns: a unified approach to termination and productivity. | Andreas Abel, Brigitte Pientka |
| 2013 | POPL | Copatterns: programming infinite structures by observations. | Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer |
| 2013 | RTAS | Measurement-based modeling of the cache replacement policy. | Andreas Abel, Jan Reineke |
| 2011 | FOSSACS | Irrelevance in Type Theory with a Heterogeneous Equality Judgement. | Andreas Abel |
| 2010 | FLOPS | Towards Normalization by Evaluation for the | Andreas Abel |
| 2010 | ITP | MiniAgda: Integrating Sized and Dependent Types. | Andreas Abel |
| 2009 | CSL | Typed Applicative Structures and Normalization by Evaluation for System F | Andreas Abel |
| 2008 | CSL | Syntactic Metatheory of Higher-Order Subtyping. | Andreas Abel, Dulma Rodriguez |
| 2008 | FLOPS | On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory. | Andreas Abel, Thierry Coquand, Peter Dybjer |
| 2008 | LPAR | Weak beta-theta-Normalization and Normalization by Evaluation for System F. | Andreas Abel |
| 2008 | MPC | Verifying a Semantic beta-eta-Conversion Test for Martin-Lf Type Theory. | Andreas Abel, Thierry Coquand, Peter Dybjer |
| 2007 | APLAS | Mixed Inductive/Coinductive Types and Strong Normalization. | Andreas Abel |
| 2007 | LICS | Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements. | Andreas Abel, Thierry Coquand, Peter Dybjer |
| 2006 | CSL | Semi-continuous Sized Types and Termination. | Andreas Abel |
| 2006 | CSR | Polarized Subtyping for Sized Types. | Andreas Abel |
| 2006 | MPC | Implementing a Normalizer Using Sized Heterogeneous Types. | Andreas Abel |
| 2006 | MPC | Towards Generic Programming with Sized Types. | Andreas Abel |
| 2005 | HASKELL | Verifying haskell programs using constructive type theory. | Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell |
| 2004 | CSL | Fixed Points of Type Constructors and Primitive Recursion. | Andreas Abel, Ralph Matthes |
| 2003 | FOSSACS | Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. | Andreas Abel, Ralph Matthes, Tarmo Uustalu |
| 2001 | GI | Betrachtungen zur "Schaffung" oder "Abbildung" von Realitten beispielhaft anhand eines E-Commerce-Projektes. | Andreas Abel, Frank Wolff |