Concepedia

William F. Ogden

WF

Statistics

Publications

14

Citations

508

H-Index

14

Active since

1969

Affiliations

Case Western Reserve University(Current)

The Ohio State University

University of Michigan

William F. Ogden is an author at Case Western Reserve University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisFormal VerificationProgram AnalysisAutomated ReasoningSoftware DesignSystem SoftwareSoftware Engineering

Publications per year

1969–2002

14

Publications

14

The intrinsically exponential complexity of the circularity problem for attribute grammars

Mehdi Jazayeri, William F. Ogden, William C. Rounds · Communications of the ACM · 1975 · 119 citations · Full text

Context-free Grammars, Engineering, Computational Complexity +22

Performance specification of software components

Murali Sitaraman, Greg Kulczycki, Joan Krone et al. · 2001 · 63 citations

Software Maintenance, Engineering, Computer Architecture +20

Intercalation theorems for stack languages

William F. Ogden · 1969 · 52 citations

Engineering, Pushdown Automaton, Formal Verification +16

Part I: the RESOLVE framework and discipline

William F. Ogden, Murali Sitaraman, Bruce W. Weide et al. · ACM SIGSOFT Software Engineering Notes · 1994 · 45 citations · Full text

Research Synopsis Authors, Engineering, Data Science +11

Recasting algorithms to encourage reuse

Bruce W. Weide, William F. Ogden, Murali Sitaraman · IEEE Software · 1994 · 38 citations

Software Maintenance, Engineering, Model Reuse +22

1–5 of 14