7
Publications
318
Citations
7
H-Index
2007
Active since
Affiliations
Karl Mazurak is an author at University of Pennsylvania specializing in computer science, formal methods, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationProgram AnalysisAutomated ReasoningVerificationData SecurityAccess Control
Publications per year
2007–2010
7
7
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak et al. · ACM SIGPLAN Notices · 2008 · 86 citations
Engineering, Logical Access Control, Automated Reasoning +14
Jeffrey A. Vaughan, Limin Jia, Karl Mazurak et al. · 2008 · 71 citations
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak et al. · 2008 · 54 citations
Engineering, Logical Access Control, Automated Reasoning +14
Lightweight linear types in system f°
Karl Mazurak, Steve Zdancewic · 2010 · 45 citations
Karl Mazurak, Steve Zdancewic · 2007 · 22 citations
Rows per page
1–5 of 7