Brian Aydemir
Morgridge Institute for Research(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Health, Medicine and Society, Hermeneutics and Narrative Identity
Most-Cited Works
- → Mechanized Metatheory for the Masses: The PoplMark Challenge(2005)300 cited
- → Engineering formal metatheory(2008)215 cited
- → MetaPRL – A Modular Logical Environment(2003)50 cited
- → Nominal Reasoning Techniques in Coq(2007)38 cited
- LNgen: Tool Support for Locally Nameless Representations(2010)
- → Process Migration and Transactions Using a Novel Intermediate Language(2002)7 cited
- Formal Design Environments(2002)
- → Formal Compiler Implementation in a Logical Framework(2003)2 cited
- → PelicanPlatform/pelicanfs: v1.3.0(2026)