William F. Ogden

687 total citations
25 papers, 361 citations indexed

About

William F. Ogden is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, William F. Ogden has authored 25 papers receiving a total of 361 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 9 papers in Computer Networks and Communications. Recurrent topics in William F. Ogden's work include Advanced Software Engineering Methodologies (13 papers), Logic, programming, and type systems (12 papers) and Formal Methods in Verification (8 papers). William F. Ogden is often cited by papers focused on Advanced Software Engineering Methodologies (13 papers), Logic, programming, and type systems (12 papers) and Formal Methods in Verification (8 papers). William F. Ogden collaborates with scholars based in United States and Germany. William F. Ogden's co-authors include Murali Sitaraman, William C. Rounds, Mehdi Jazayeri, Bruce W. Weide, George W. Ernst, A. L. Narasimha Reddy, William E. Riddle, Stuart Zweben, Stanley R. Ames and Gary T. Leavens and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and IEEE Software.

In The Last Decade

William F. Ogden

25 papers receiving 292 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
William F. Ogden United States	11	298	172	112	89	84	25	361
Roger Nasr United States	6	367 1.2×	135 0.8×	38 0.3×	39 0.4×	145 1.7×	10	407
Alberto Pettorossi Italy	10	331 1.1×	251 1.5×	52 0.5×	122 1.4×	41 0.5×	67	382
Roland Bol Netherlands	7	331 1.1×	178 1.0×	33 0.3×	36 0.4×	52 0.6×	18	382
Marı́a Alpuente Spain	11	326 1.1×	212 1.2×	103 0.9×	106 1.2×	45 0.5×	76	392
Torben Æ. Mogensen Denmark	11	234 0.8×	147 0.9×	44 0.4×	58 0.7×	31 0.4×	14	263
Didier Rémy France	8	268 0.9×	110 0.6×	68 0.6×	39 0.4×	108 1.3×	12	296
G. Huet France	5	458 1.5×	302 1.8×	56 0.5×	32 0.4×	41 0.5×	6	501
C. Barry Jay Australia	9	232 0.8×	91 0.5×	53 0.5×	41 0.5×	69 0.8×	28	289
Paola Giannini Italy	10	285 1.0×	148 0.9×	81 0.7×	37 0.4×	86 1.0×	61	324
Roger Villemaire Canada	9	210 0.7×	197 1.1×	121 1.1×	47 0.5×	88 1.0×	33	362

Countries citing papers authored by William F. Ogden

Since Specialization

Citations

This map shows the geographic impact of William F. Ogden's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by William F. Ogden with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites William F. Ogden more than expected).

Fields of papers citing papers by William F. Ogden

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by William F. Ogden. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by William F. Ogden. The network helps show where William F. Ogden may publish in the future.

Co-authorship network of co-authors of William F. Ogden

This figure shows the co-authorship network connecting the top 25 collaborators of William F. Ogden. A scholar is included among the top collaborators of William F. Ogden based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with William F. Ogden. William F. Ogden is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Ogden, William F., et al.. (2006). Performance analysis based upon complete profiles. 6. 3–10. 2 indexed citations

2.

Sitaraman, Murali, et al.. (2005). Clean Semantics for Calls with Repeated Arguments. 3 indexed citations

3.

Ogden, William F., et al.. (2004). Profiles: A Compositional Mechanism for Performance Specification. 4 indexed citations

4.

Sitaraman, Murali, et al.. (2003). Component Technology for Pointers: Why and How. 4 indexed citations

5.

Sitaraman, Murali, et al.. (2003). Reasoning about Procedure Calls with Repeated Arguments and the Reference-Value Distinction. Iowa State University Digital Repository (Iowa State University). 3 indexed citations

6.

Weide, Bruce W., et al.. (2002). Characterizing observability and controllability of software components. 62–71. 5 indexed citations

7.

Sitaraman, Murali, et al.. (2001). Performance specification of software components. 3–10. 40 indexed citations

8.

Ogden, William F., et al.. (2001). Modular Verification of Performance Correctness. 6 indexed citations

9.

Sitaraman, Murali, Bruce W. Weide, & William F. Ogden. (1997). On the practical need for abstraction relations to verify abstract data type representations. IEEE Transactions on Software Engineering. 23(3). 157–170. 15 indexed citations

10.

Ernst, George W., et al.. (1994). Modular verification of data abstractions with shared realizations. IEEE Transactions on Software Engineering. 20(4). 288–307. 23 indexed citations

11.

Weide, Bruce W., William F. Ogden, & Murali Sitaraman. (1994). Recasting algorithms to encourage reuse. IEEE Software. 11(5). 80–88. 25 indexed citations

12.

Ogden, William F., Murali Sitaraman, Bruce W. Weide, & Stuart Zweben. (1994). Part I: the RESOLVE framework and discipline. ACM SIGSOFT Software Engineering Notes. 19(4). 23–28. 24 indexed citations

13.

Ernst, George W., et al.. (1991). Modular verification of Ada generics. Computer Languages. 16(3-4). 259–280. 12 indexed citations

14.

Ogden, William F., et al.. (1988). The role of verification in software reusability. University Microfilms International eBooks. 12 indexed citations

15.

Ernst, George W. & William F. Ogden. (1980). Specification of Abstract Data Types in Modula. ACM Transactions on Programming Languages and Systems. 2(4). 522–543. 10 indexed citations

16.

Ogden, William F., et al.. (1978). Complexity of expressions allowing concurrency. 185–194. 21 indexed citations

17.

Jazayeri, Mehdi, William F. Ogden, & William C. Rounds. (1975). On the complexity of the circularity test for attribute grammars. 119–129. 2 indexed citations

18.

Ogden, William F., et al.. (1975). Structured specification of a Security Kernel. 285–293. 10 indexed citations

19.

Jazayeri, Mehdi, William F. Ogden, & William C. Rounds. (1975). The intrinsically exponential complexity of the circularity problem for attribute grammars. Communications of the ACM. 18(12). 697–706. 77 indexed citations

20.

Ogden, William F.. (1969). Intercalation theorems for stack languages. 31–42. 30 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact