David R. Cok

3.1k total citations
45 papers, 1.6k citations indexed

About

David R. Cok is a scholar working on Software, Artificial Intelligence and Information Systems. According to data from OpenAlex, David R. Cok has authored 45 papers receiving a total of 1.6k indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Software, 17 papers in Artificial Intelligence and 12 papers in Information Systems. Recurrent topics in David R. Cok's work include Logic, programming, and type systems (16 papers), Software Engineering Research (11 papers) and Software Testing and Debugging Techniques (11 papers). David R. Cok is often cited by papers focused on Logic, programming, and type systems (16 papers), Software Engineering Research (11 papers) and Software Testing and Debugging Techniques (11 papers). David R. Cok collaborates with scholars based in United States, France and Sweden. David R. Cok's co-authors include Gary T. Leavens, Yoonsik Cheon, Tim Menzies, Michael D. Ernst, Lilian Burdy, Erik Poll, S. R. Lundeen, Andrew Butcher, Thomas Zimmermann and Andrian Marcus and has published in prestigious journals such as Physical Review Letters, The Journal of Chemical Physics and SHILAP Revista de lepidopterología.

In The Last Decade

David R. Cok

43 papers receiving 1.4k citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
David R. Cok United States	17	661	632	604	290	239	45	1.6k
Beverly A. Sanders United States	14	79 0.1×	159 0.3×	231 0.4×	144 0.5×	103 0.4×	50	1.0k
R. C. Tausworthe United States	11	117 0.2×	193 0.3×	186 0.3×	145 0.5×	45 0.2×	42	678
Antoine Petitet United States	17	30 0.0×	365 0.6×	407 0.7×	452 1.6×	123 0.5×	28	2.6k
Stephen L. Scott United States	27	63 0.1×	889 1.4×	153 0.3×	29 0.1×	69 0.3×	150	2.7k
Paul Hovland United States	17	31 0.0×	107 0.2×	269 0.4×	262 0.9×	33 0.1×	72	1.2k
R. Clint Whaley United States	10	30 0.0×	206 0.3×	332 0.5×	355 1.2×	39 0.2×	19	1.8k
F. J. Corbató United States	12	28 0.0×	136 0.2×	119 0.2×	65 0.2×	138 0.6×	25	778
Benton Leong Canada	8	18 0.0×	78 0.1×	237 0.4×	298 1.0×	103 0.4×	10	1.1k
Elizabeth R. Jessup United States	14	12 0.0×	188 0.3×	277 0.5×	343 1.2×	125 0.5×	53	1.1k
Volker Weispfenning Germany	20	51 0.1×	104 0.2×	417 0.7×	1.0k 3.5×	16 0.1×	52	1.4k

Countries citing papers authored by David R. Cok

Since Specialization

Citations

This map shows the geographic impact of David R. Cok'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 David R. Cok with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David R. Cok more than expected).

Fields of papers citing papers by David R. Cok

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by David R. Cok. 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 David R. Cok. The network helps show where David R. Cok may publish in the future.

Co-authorship network of co-authors of David R. Cok

This figure shows the co-authorship network connecting the top 25 collaborators of David R. Cok. A scholar is included among the top collaborators of David R. Cok 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 David R. Cok. David R. Cok 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

Cok, David R.. (2021). JML and OpenJML for Java 16. 65–67. 6 indexed citations

Leavens, Gary T., et al.. (2018). Poster: An Algorithm and Tool to Infer Practical Postconditions. Journal of International Crisis and Risk Communication Research. 1 indexed citations

Cok, David R.. (2018). Reasoning about functional programming in Java and C++. 37–39. 1 indexed citations

Leavens, Gary T., et al.. (2018). An algorithm and tool to infer practical postconditions. Journal of International Crisis and Risk Communication Research. 313–314. 1 indexed citations

Sighireanu, Mihaela & David R. Cok. (2016). Report on SL-COMP 2014. 9(1). 173–186. 4 indexed citations

Cok, David R., David Déharbe, & Tjark Weber. (2016). The 2014 SMT Competition. 9(1). 207–242. 8 indexed citations

Логинов, А. А., et al.. (2016). Polymorphic type inference for machine code. 27–41. 23 indexed citations

Логинов, А. А., et al.. (2016). Polymorphic type inference for machine code. ACM SIGPLAN Notices. 51(6). 27–41. 6 indexed citations

Cok, David R.. (2014). OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. SHILAP Revista de lepidopterología. 149. 79–92. 19 indexed citations

10.

Menzies, Tim, Andrew Butcher, David R. Cok, et al.. (2013). Local versus Global Lessons for Defect Prediction and Effort Estimation. IEEE Transactions on Software Engineering. 39(6). 822–834. 183 indexed citations

11.

Menzies, Tim, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, & David R. Cok. (2011). Local vs. global models for effort estimation and defect prediction. 343–351. 126 indexed citations

12.

Co, Michele, Jack W. Davidson, Jason D. Hiser, et al.. (2011). PEASOUP. 43–49. 4 indexed citations

13.

Cok, David R.. (2008). Adapting JML to generic types and Java 1.6. 8 indexed citations

14.

Leavens, Gary T., Yoonsik Cheon, Curtis Clifton, Clyde Ruby, & David R. Cok. (2004). How the design of JML accommodates both runtime assertion checking and formal verification. Science of Computer Programming. 55(1-3). 185–208. 92 indexed citations

15.

Cok, David R.. (2004). Reasoning with Specifications Containing Method Calls in JML and First-Order Provers. 1 indexed citations

16.

Cok, David R. & Ronald S. Cok. (1992). <title>Chaining and extension mechanism for image processing software</title>. Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE. 1659. 192–203. 2 indexed citations

17.

Cok, David R., et al.. (1989). Resampling Algorithms for Image Resizing and Rotation. Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE. 1075. 260–260. 3 indexed citations

18.

Childs, W. J., David R. Cok, & L. S. Goodman. (1982). Hyperfine structure of the X 2Σ+ ground state of Ca 35Cl and Ca 37Cl by molecular-beam, laser-rf double resonance. The Journal of Chemical Physics. 76(8). 3993–3998. 34 indexed citations

19.

Cok, David R. & S. R. Lundeen. (1981). Observation of high-power resonance line-shapes in an unstable two-level system. Physics Letters A. 85(4). 219–222. 1 indexed citations

20.

Cok, David R. & S. R. Lundeen. (1979). Magnetic and electric fine structure in helium Rydberg states. Physical review. A, General physics. 19(5). 1830–1840. 51 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