Concepedia

Brian Aydemir

BA

Statistics

Publications

4

Citations

318

H-Index

4

Active since

2007

Affiliations

University of Pennsylvania(Current)

University of Edinburgh

Institut national de recherche en sciences et technologies du numérique

Brian Aydemir is an author at University of Pennsylvania specializing in formal methods, coq, and type systems.

ORCID

Publications per year

2007–2010

4

Publications

4

Engineering formal metatheory

Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce et al. · 2008 · 218 citations · Full text

, , +11

Nominal Reasoning Techniques in Coq

Brian Aydemir, Aaron Bohannon, Stephanie Weirich · Electronic Notes in Theoretical Computer Science · 2007 · 38 citations · Full text

, , +15

LNgen: Tool Support for Locally Nameless Representations

Brian Aydemir, Stephanie Weirich · Scholarly Commons (University of Pennsylvania) · 2010 · 34 citations · Full text

, , +12

Engineering formal metatheory

Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce et al. · ACM SIGPLAN Notices · 2008 · 28 citations

, , +11

1–4 of 4