John D. Ramsdell

839 total citations
20 papers, 352 citations indexed

About

John D. Ramsdell is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, John D. Ramsdell has authored 20 papers receiving a total of 352 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 6 papers in Hardware and Architecture. Recurrent topics in John D. Ramsdell's work include Logic, programming, and type systems (9 papers), Parallel Computing and Optimization Techniques (6 papers) and Security and Verification in Computing (5 papers). John D. Ramsdell is often cited by papers focused on Logic, programming, and type systems (9 papers), Parallel Computing and Optimization Techniques (6 papers) and Security and Verification in Computing (5 papers). John D. Ramsdell collaborates with scholars based in United States. John D. Ramsdell's co-authors include Joshua D. Guttman, Amy L. Herzog, Garry N. Newsam, Mitchell Wand, Peter Loscocco, Brian Sniffen, Jonathan K. Millen, Dino P. Oliva, Vipin Swarup and Preston Briggs and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Journal of Computer Security.

In The Last Decade

John D. Ramsdell

19 papers receiving 312 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
John D. Ramsdell United States	9	268	117	107	87	85	20	352
Roderick Chapman United Kingdom	9	195 0.7×	138 1.2×	76 0.7×	89 1.0×	95 1.1×	25	367
Josyula R. Rao United States	8	163 0.6×	84 0.7×	119 1.1×	47 0.5×	30 0.4×	20	248
Tamara Rezk France	13	506 1.9×	132 1.1×	184 1.7×	324 3.7×	68 0.8×	35	554
Antoine Delignat-Lavaud United Kingdom	12	288 1.1×	200 1.7×	178 1.7×	120 1.4×	27 0.3×	18	406
Jérôme Vouillon France	13	379 1.4×	139 1.2×	223 2.1×	38 0.4×	161 1.9×	21	506
RJ Stroud United Kingdom	12	202 0.8×	130 1.1×	307 2.9×	30 0.3×	51 0.6×	29	403
Dominique Devriese Belgium	13	623 2.3×	181 1.5×	183 1.7×	285 3.3×	155 1.8×	69	670
Ulrich Stern United States	7	272 1.0×	273 2.3×	345 3.2×	52 0.6×	171 2.0×	8	530
Olivier Zendra France	8	132 0.5×	115 1.0×	70 0.7×	20 0.2×	29 0.3×	29	258
William M. Corwin United States	7	266 1.0×	115 1.0×	361 3.4×	92 1.1×	25 0.3×	9	522

Countries citing papers authored by John D. Ramsdell

Since Specialization

Citations

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

Fields of papers citing papers by John D. Ramsdell

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of John D. Ramsdell

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

Loscocco, Peter, et al.. (2021). Flexible Mechanisms for Remote Attestation. ACM Transactions on Privacy and Security. 24(4). 1–23. 8 indexed citations

Ramsdell, John D., et al.. (2021). Automated Trust Analysis of Copland Specifications for Layered Attestations✱. 1–15. 2 indexed citations

Guttman, Joshua D., Peter Loscocco, Amy L. Herzog, et al.. (2011). Principles of remote attestation. International Journal of Information Security. 10(2). 63–81. 127 indexed citations

McCarthy, Jay, Shriram Krishnamurthi, Joshua D. Guttman, & John D. Ramsdell. (2007). Compiling cryptographic protocols for deployment on the web. 687–696. 2 indexed citations

Guttman, Joshua D., et al.. (2005). Verifying information flow goals in Security-Enhanced Linux. Journal of Computer Security. 13(1). 115–134. 52 indexed citations

Guttman, Joshua D., Amy L. Herzog, & John D. Ramsdell. (2003). Information Flow in Operating Systems: Eager Formal Methods. 19 indexed citations

Briggs, Preston, et al.. (2000). Nuweb A Simple Literate Programming Tool. 9 indexed citations

Ramsdell, John D.. (1999). The Tail-Recursive SECD Machine. Journal of Automated Reasoning. 23(1). 43–62. 2 indexed citations

Guttman, Joshua D., John D. Ramsdell, & Mitchell Wand. (1995). VLISP: A verified implementation of Scheme. LISP and Symbolic Computation. 8(1-2). 5–32. 41 indexed citations

10.

Ramsdell, John D.. (1995). CST. ACM SIGPLAN Notices. 30(12). 32–36. 2 indexed citations

11.

Oliva, Dino P., John D. Ramsdell, & Mitchell Wand. (1995). The VLISP verified PreScheme compiler. LISP and Symbolic Computation. 8(1-2). 111–182. 16 indexed citations

12.

Guttman, Joshua D., John D. Ramsdell, & Vipin Swarup. (1995). The VLISP verified Scheme system. LISP and Symbolic Computation. 8(1-2). 33–110. 11 indexed citations

13.

Games, Richard A., John D. Ramsdell, & Joseph J. Rushanan. (1994). Techniques for Real-Time Parallel Processing: Sensor Processing Case Studies. Defense Technical Information Center (DTIC). 1 indexed citations

14.

Ramsdell, John D.. (1994). Scheme. VII(4). 13–14. 2 indexed citations

15.

Ramsdell, John D.. (1992). An operational semantics for Scheme. V(2). 6–10. 10 indexed citations

16.

Farmer, William M., John D. Ramsdell, & Ronald Watro. (1990). A correctness proof for combinator reduction with cycles. ACM Transactions on Programming Languages and Systems. 12(1). 123–134. 6 indexed citations

17.

Ramsdell, John D.. (1989). The Alonzo functional programming language. ACM SIGPLAN Notices. 24(9). 152–157. 1 indexed citations

18.

Ramsdell, John D.. (1986). The CURRY chip. 122–131. 1 indexed citations

19.

Newsam, Garry N. & John D. Ramsdell. (1983). Estimation of Sparse Jacobian Matrices. SIAM Journal on Algebraic and Discrete Methods. 4(3). 404–418. 39 indexed citations

20.

Ramsdell, John D.. (1982). Structural analysis of large sparse systems of nonlinear equations with application to fire modeling. 1 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