Andreas Abel

Artificial Intelligence · 2004–2006

A researcher in the Science corpus: 3 papers; trusts 4 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 9 citations into it; #27,471 of 35,345 by trust here, #31,361 by citations
• Computational Theory and Mathematics — 6 citations into it; #9,533 of 12,182 by trust here, #9,804 by citations

Whom Andreas Abel trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Benjamin C. Pierce
2. Richard S. Bird
3. Thomas Arts
4. Ross A. Paterson
5. Thorsten Altenkirch
6. Jürgen Giesl
7. Lawrence Charles Paulson

Who trusts Andreas Abel overall

1. Ralph Matthes
2. Benedikt Ahrens

Papers from Andreas Abel's perspective

Ordered by how strongly the researchers Andreas Abel trusts endorse each paper. Same corpus, a different order for every researcher.

1. Generalised folds for nested datatypes
2. Monadic Presentations of Lambda Terms Using Generalized Inductive Types
3. Inductive Types and Type Constraints in the Second-Order lambda Calculus
4. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
5. The size-change principle for program termination (ACM-SIGACT Symposium on Principles of Programming Languages)
6. Termination of term rewriting using dependency pairs (Theoretical Computer Science)
7. de Bruijn notation as a nested datatype
8. Purely functional data structures
9. Term Rewriting Systems
10. seL4: formal verification of an OS kernel

Their papers

• Iteration and coiteration schemes for higher-order and nested datatypes (2005) — 67 citations
• Type-based termination: a polymorphic lambda-calculus with sized higher-order types (2006) — 101 citations
• Termination checking with types (2004) — 65 citations