5
Publications
276
Citations
5
H-Index
2011
Active since
Affiliations
Brent A. Yorgey is an author at University of Pennsylvania specializing in formal specification, formal methods, and compilers.
Top concepts
CompilersEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware SystemsSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2011–2012
5
5
Brent A. Yorgey, Stephanie Weirich, Julien Cretin et al. · 2012 · 172 citations · Full text
Stephanie Weirich, Brent A. Yorgey, Tim Sheard · ACM SIGPLAN Notices · 2011 · 37 citations
Stephanie Weirich, Brent A. Yorgey, Tim Sheard · 2011 · 30 citations
Brent A. Yorgey · 2012 · 26 citations
Abstract Algebra, Algebraic Structure, Higher Category Theory +6
Brent A. Yorgey · ACM SIGPLAN Notices · 2012 · 11 citations
Rows per page
1–5 of 5