William F. Ogden - Concepedia

Author

William F. Ogden

Case Western Reserve University

Also Known As

W. F. Ogden, W.F. Ogden, William F Ogden, William F. Ogden

Publications

687

Citations

H-Index

Concepts

All Affiliations

Case Western Reserve University The Ohio State University University of Michigan

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	14	508
2	Computer Science	13	13	463
3	Language Studies	3	3	188
4	Computer Engineering	2	2	101
5	Data Science	2	2	83

William F. Ogden

Publications

508

Citations

H-Index

Page 1

	Year	Citations
The intrinsically exponential complexity of the circularity problem for attribute grammars Mehdi Jazayeri, William F. Ogden, William C. Rounds Communications of the ACM Context-free GrammarsEngineeringComputational ComplexitySoftware AnalysisFormal Verification	1975	119
Performance specification of software components Murali Sitaraman, Greg Kulczycki, Joan Krone, Software MaintenanceEngineeringComputer ArchitectureSoftware EngineeringSoftware Analysis	2001	63
Intercalation theorems for stack languages William F. Ogden EngineeringPushdown AutomatonFormal VerificationSyntaxStack Language	1969	52
Part I: the RESOLVE framework and discipline William F. Ogden, Murali Sitaraman, Bruce W. Weide, ACM SIGSOFT Software Engineering Notes Research Synopsis AuthorsEngineeringData ScienceDesignAlert Preferences	1994	45
Recasting algorithms to encourage reuse Bruce W. Weide, William F. Ogden, Murali Sitaraman IEEE Software Software MaintenanceEngineeringModel ReuseSoftware SystemsSoftware Engineering	1994	38
Complexity of expressions allowing concurrency William F. Ogden, William E. Riddle, W. C. Round EngineeringSystem Behavior AnalysisVerificationSoftware EngineeringComputational Complexity	1978	37
Modular verification of data abstractions with shared realizations George W. Ernst, Raymond J. Hookway, William F. Ogden IEEE Transactions on Software Engineering EngineeringVerificationData AbstractionsSoftware EngineeringSoftware Analysis	1994	28
On the practical need for abstraction relations to verify abstract data type representations Murali Sitaraman, Bruce W. Weide, William F. Ogden IEEE Transactions on Software Engineering EngineeringVerificationSoftware EngineeringAbstract Data TypeSoftware Analysis	1997	24
Structured specification of a Security Kernel Kenneth G. Walter, Samuel I. Schaen, William F. Ogden, ACM SIGPLAN Notices EngineeringInformation SecuritySystem ProgrammingEntire Operating SystemSoftware Analysis	1975	23
Modular verification of Ada generics George W. Ernst, Raymond J. Hookway, James A Menegay, Computer Languages EngineeringGeneric ProgrammingAutomated ReasoningVerificationFormal Methods	1991	18

Page 1