BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Andreas Abel
SearchCollections
Map detail
Andreas Abel12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAndreas AbelAAndreas AbelResearcheruiCA: Accurate Throughput Prediction of Basic Blocks on Recent Intel MicroarchitecturesWuiCA: Accurate Throughp...preprint / 2022Explicit Substitutions for Contextual Type TheoryWExplicit Substitutions ...preprint / 2010MiniAgda: Integrating Sized and Dependent TypesWMiniAgda: Integrating S...preprint / 2010A Lambda Term Representation Inspired by Linear Ordered LogicWA Lambda Term Represent...preprint / 2011Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive TypesWType-Based Termination,...preprint / 2012Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized TypesWNormalization by Evalua...preprint / 2014On Irrelevance and Algorithmic Equality in Predicative Type TheoryWOn Irrelevance and Algo...preprint / 2012Semi-continuous Sized Types and TerminationWSemi-continuous Sized T...preprint / 2008A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof IrrelevanceWA Modular Type-checking...preprint / 2011Flushgeist: Cache Leaks from Beyond the FlushWFlushgeist: Cache Leaks...preprint / 2020Type checking through unificationWType checking through u...preprint / 2016
Person11 links

Andreas Abel

Researcher

PaperuiCA: Accurate Throughput Prediction of Basic Blocks on Recent Intel MicroarchitecturesAuthorship / preprint / 2022PaperExplicit Substitutions for Contextual Type TheoryAuthorship / preprint / 2010PaperMiniAgda: Integrating Sized and Dependent TypesAuthorship / preprint / 2010PaperA Lambda Term Representation Inspired by Linear Ordered LogicAuthorship / preprint / 2011PaperType-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive TypesAuthorship / preprint / 2012PaperNormalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized TypesAuthorship / preprint / 2014PaperOn Irrelevance and Algorithmic Equality in Predicative Type TheoryAuthorship / preprint / 2012PaperSemi-continuous Sized Types and TerminationAuthorship / preprint / 2008

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)