22
Publications
494
Citations
14
H-Index
1995
Active since
Patricia Johann is an author at Rutgers, The State University of New Jersey specializing in automated reasoning, formal methods, and engineering.
Top concepts
Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSemanticsSyntaxLanguageSoftware Analysis
Publications per year
1995–2025
22
22
Foundations for structured programming with GADTs
Patricia Johann, Neil Ghani · 2008 · 61 citations
Free theorems in the presence of <i>seq</i>
Patricia Johann, Janis Voigtländer · 2004 · 60 citations
A Generic Operational Metatheory for Algebraic Effects
Patricia Johann, Alex Simpson, Janis Voigtländer · 2010 · 53 citations · Full text
A relationally parametric model of dependent type theory
Robert Atkey, Neil Ghani, Patricia Johann · 2014 · 46 citations · Full text
The Impact Of seq On Free Theorems-Based Program Transformations
Patricia Johann, Janis Voigtländer · 2025 · 29 citations · Full text
Rows per page
1–5 of 22