16
Publications
1.1K
Citations
14
H-Index
1989
Active since
Affiliations
Richard Johnson is an author at Cornell University specializing in engineering, software engineering, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringComputer EngineeringParallel ComputingFormal MethodsSoftware DesignFormal Verification
Publications per year
1989–2013
16
16
Richard Johnson, David Pearson, Keshav Pingali · 1994 · 188 citations
Dependence-based program analysis
Richard Johnson, Keshav Pingali · 1993 · 115 citations
Software Maintenance, Mathematical Programming, Engineering +22
Dependence flow graphs: an algebraic approach to program dependencies
Keshav Pingali, Micah Beck, Richard Johnson et al. · 1991 · 85 citations · Full text
Rows per page
1–5 of 16