Nels E. Beckman

611 total citations
14 papers, 244 citations indexed

About

Nels E. Beckman is a scholar working on Artificial Intelligence, Computer Networks and Communications and Software. According to data from OpenAlex, Nels E. Beckman has authored 14 papers receiving a total of 244 indexed citations (citations by other indexed papers that have themselves been cited), including 8 papers in Artificial Intelligence, 6 papers in Computer Networks and Communications and 5 papers in Software. Recurrent topics in Nels E. Beckman's work include Logic, programming, and type systems (6 papers), Distributed systems and fault tolerance (5 papers) and Software Testing and Debugging Techniques (5 papers). Nels E. Beckman is often cited by papers focused on Logic, programming, and type systems (6 papers), Distributed systems and fault tolerance (5 papers) and Software Testing and Debugging Techniques (5 papers). Nels E. Beckman collaborates with scholars based in United States, India and Portugal. Nels E. Beckman's co-authors include Aditya V. Nori, Jonathan Aldrich, Sriram K. Rajamani, Robert J. Simmons, Kevin Bierhoff, Sai Deep Tetali, Aditya Thakur, Nenad Medvidović, Marija Mikic-Rakic and Sam Malek and has published in prestigious journals such as IEEE Transactions on Software Engineering, ACM SIGPLAN Notices and Figshare.

In The Last Decade

Nels E. Beckman

13 papers receiving 226 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Nels E. Beckman United States 8 156 118 104 69 43 14 244
Subhajit Roy India 9 152 1.0× 125 1.1× 121 1.2× 42 0.6× 48 1.1× 40 265
P. Stocks United States 6 273 1.8× 146 1.2× 91 0.9× 73 1.1× 46 1.1× 8 332
Roland Groz France 8 183 1.2× 56 0.5× 84 0.8× 92 1.3× 65 1.5× 22 254
Pranav Garg United States 7 121 0.8× 78 0.7× 109 1.0× 96 1.4× 38 0.9× 20 219
Ru-Gang Xu United States 7 272 1.7× 170 1.4× 95 0.9× 69 1.0× 38 0.9× 10 317
Xianghua Deng United States 7 130 0.8× 71 0.6× 75 0.7× 69 1.0× 49 1.1× 13 203
Aaron Tomb United States 9 112 0.7× 146 1.2× 189 1.8× 70 1.0× 34 0.8× 15 264
Jeremy W. Nimmer United States 6 255 1.6× 209 1.8× 130 1.3× 76 1.1× 35 0.8× 7 318
Oksana Tkachuk United States 10 206 1.3× 100 0.8× 148 1.4× 107 1.6× 51 1.2× 26 298
Pascal Cuoq France 6 262 1.7× 176 1.5× 89 0.9× 43 0.6× 52 1.2× 13 324

Countries citing papers authored by Nels E. Beckman

Since Specialization
Citations

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

Fields of papers citing papers by Nels E. Beckman

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Nels E. Beckman

This figure shows the co-authorship network connecting the top 25 collaborators of Nels E. Beckman. A scholar is included among the top collaborators of Nels E. Beckman 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 Nels E. Beckman. Nels E. Beckman is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

14 of 14 papers shown
1.
Aldrich, Jonathan, et al.. (2018). The Plaid Language: Typed Core Specification (CMU-ISR-12-103). Figshare.
2.
Beckman, Nels E. & Aditya V. Nori. (2012). Probabilistic, modular and scalable inference of typestate specifications. ACM SIGPLAN Notices. 47(6). 211–211. 1 indexed citations
3.
Beckman, Nels E., et al.. (2011). An empirical study of object protocols in the wild. 6813. 2–26. 34 indexed citations
4.
Aldrich, Jonathan & Nels E. Beckman. (2011). Types for correct concurrent api usage. 3 indexed citations
5.
Beckman, Nels E. & Aditya V. Nori. (2011). Probabilistic, modular and scalable inference of typestate specifications. ACM SIGPLAN Notices. 46(6). 211–221. 25 indexed citations
6.
Beckman, Nels E. & Aditya V. Nori. (2011). Probabilistic, modular and scalable inference of typestate specifications. 211–221. 27 indexed citations
7.
Beckman, Nels E., Aditya V. Nori, Sriram K. Rajamani, et al.. (2010). Proofs from Tests. IEEE Transactions on Software Engineering. 36(4). 495–508. 30 indexed citations
8.
Beckman, Nels E., et al.. (2009). Reducing STM overhead with access permissions. 1–10. 8 indexed citations
9.
Beckman, Nels E.. (2009). Modular typestate checking in concurrent Java programs. 737–738. 1 indexed citations
10.
Malek, Sam, Nels E. Beckman, Marija Mikic-Rakic, & Nenad Medvidović. (2008). A Framework for Ensuring and Improving Dependability in Highly Distributed Systems. 3 indexed citations
11.
Beckman, Nels E., Aditya V. Nori, Sriram K. Rajamani, & Robert J. Simmons. (2008). Proofs from tests. 3–14. 63 indexed citations
12.
Beckman, Nels E., Kevin Bierhoff, & Jonathan Aldrich. (2008). Verifying correct usage of atomic blocks and typestate. 227–244. 37 indexed citations
13.
Beckman, Nels E., Kevin Bierhoff, & Jonathan Aldrich. (2008). Verifying correct usage of atomic blocks and typestate. ACM SIGPLAN Notices. 43(10). 227–244. 7 indexed citations
14.
Beckman, Nels E., et al.. (1999). The UK strategy for monitoring universal leucodepletion. Transfusion Science. 21(2). 147–151. 5 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

Breakdown of academic impact, for papers by Subhajit Roy Breakdown of academic impact, for papers by P. Stocks Breakdown of academic impact, for papers by Roland Groz Breakdown of academic impact, for papers by Pranav Garg Breakdown of academic impact, for papers by Ru-Gang Xu Breakdown of academic impact, for papers by Xianghua Deng Breakdown of academic impact, for papers by Aaron Tomb Breakdown of academic impact, for papers by Jeremy W. Nimmer Breakdown of academic impact, for papers by Oksana Tkachuk Breakdown of academic impact, for papers by Pascal Cuoq
Rankless by CCL
2026