Andreas Abel

Cited by

	All	Since 2018
Citations	2363	1042
h-index	27	19
i10-index	61	35

220

110

165

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 29 31 30 60 56 77 75 86 86 85 102 106 121 155 166 151 192 213 217 181 87

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
Andrea VezzosiPostdoc, IT University CopenhagenVerified email at itu.dk
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
Anton SetzerDept of Computerv Science, Swansea UniversityVerified email at swansea.ac.uk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Jesper CockxTU DelftVerified email at sikanda.be
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
James ChapmanIOGVerified email at iohk.io
Alberto MomiglianoDI, University of MilanVerified email at di.unimi.it
Théo WinterhalterInria SaclayVerified email at inria.fr
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Marcin BenkeSenior Lecturer, University of WarsawVerified email at mimuw.edu.pl
Ana BoveAssociate professor of Computer Science at Chalmers University of TechnologyVerified email at chalmers.se
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Steven SchäferPhD student at the Programming Systems Lab, Saarland UniversityVerified email at ps.uni-saarland.de
Miguel PaganoProfessor at FaMAF, Universidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
Nicolai KrausUniversity of NottinghamVerified email at nottingham.ac.uk
Bassel MannaaPostdoc, IT University of CopenhagenVerified email at itu.dk

Andreas Abel

Senior Lecturer at the Department of Computer Science and Engineering, Gothenburg University

Verified email at gu.se - Homepage

Type Theory Functional Programming Verification Termination


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Copatterns: Programming infinite structures by observations A Abel, B Pientka, D Thibodeau, A Setzer ACM SIGPLAN Notices 48 (1), 27-38, 2013	170	2013
Wellfounded recursion with copatterns: A unified approach to termination and productivity AM Abel, B Pientka ACM SIGPLAN Notices 48 (9), 185-196, 2013	111	2013
A polymorphic lambda-calculus with sized higher-order types A Abel Doktorarbeit (PhD thesis), LMU München, 2006	110*	2006
MiniAgda: Integrating sized and dependent types A Abel arXiv preprint arXiv:1012.4896, 2010	98	2010
Termination checking with types A Abel RAIRO-Theoretical Informatics and Applications 38 (04), 277-319, 2004	95	2004
Cubical Agda: a dependently typed programming language with univalence and higher inductive types A Vezzosi, A Mörtberg, A Abel Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019	93	2019
A predicative analysis of structural recursion A Abel, T Altenkirch Journal of functional programming 12 (1), 1-41, 2002	85	2002
Iteration and coiteration schemes for higher-order and nested datatypes A Abel, R Matthes, T Uustalu Theoretical Computer Science 333 (1-2), 3-66, 2005	74	2005
Normalization by evaluation for Martin-Löf Type Theory with typed equality judgements A Abel, T Coquand, P Dybjer 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 3-12, 2007	64	2007
Well-founded recursion with copatterns and sized types A Abel, B Pientka Journal of Functional Programming 26, e2, 2016	62	2016
On irrelevance and algorithmic equality in predicative type theory A Abel, G Scherer Logical methods in computer science 8, 2012	61	2012
Verifying Haskell programs using constructive type theory A Abel, M Benke, A Bove, J Hughes, U Norell Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, 62-73, 2005	57	2005
Decidability of conversion for type theory in type theory A Abel, J Öhman, A Vezzosi Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	54	2017
Semi-continuous sized types and termination A Abel Logical methods in computer science 4, 2008	53	2008
Normalization by evaluation: Dependent types and impredicativity A Abel Habilitation. Ludwig-Maximilians-Universität München, 2013	49	2013
Higher-order dynamic pattern unification for dependent types and records A Abel, B Pientka Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011	49	2011
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic A Abel, BYE Chang, F Pfenning	47	2001
Type-based termination, inflationary fixed-points, and mixed inductive-coinductive types A Abel arXiv preprint arXiv:1202.3496, 2012	41	2012
Normalization by evaluation for Martin-Löf type theory with one universe A Abel, K Aehlig, P Dybjer Electronic Notes in Theoretical Computer Science 173, 17-39, 2007	41	2007
Verifying a semantic βη-conversion test for Martin-Löf type theory A Abel, T Coquand, P Dybjer Mathematics of Program Construction, 29-56, 2008	40	2008

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