Tim Nelson

425 total citations
18 papers, 206 citations indexed

About

Tim Nelson is a scholar working on Computer Networks and Communications, Information Systems and Artificial Intelligence. According to data from OpenAlex, Tim Nelson has authored 18 papers receiving a total of 206 indexed citations (citations by other indexed papers that have themselves been cited), including 9 papers in Computer Networks and Communications, 7 papers in Information Systems and 7 papers in Artificial Intelligence. Recurrent topics in Tim Nelson's work include Teaching and Learning Programming (5 papers), Software Engineering Research (4 papers) and Software-Defined Networks and 5G (4 papers). Tim Nelson is often cited by papers focused on Teaching and Learning Programming (5 papers), Software Engineering Research (4 papers) and Software-Defined Networks and 5G (4 papers). Tim Nelson collaborates with scholars based in United States. Tim Nelson's co-authors include Shriram Krishnamurthi, Daniel J. Dougherty, Kathi Fisler, Christopher L. R. Barratt, Rodrigo Fonseca, Arjun Guha, Ben Greenman, Andrew D. Ferguson, Yiming Li and Theophilus Benson and has published in prestigious journals such as Proceedings of the ACM on Programming Languages, arXiv (Cornell University) and 2013 35th International Conference on Software Engineering (ICSE).

In The Last Decade

Tim Nelson

18 papers receiving 198 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Tim Nelson United States 7 135 79 63 46 34 18 206
Will Marrero United States 5 102 0.8× 52 0.7× 44 0.7× 69 1.5× 45 1.3× 7 182
Ennan Zhai United States 10 165 1.2× 76 1.0× 36 0.6× 148 3.2× 23 0.7× 27 252
Laurent Réveillère France 7 131 1.0× 45 0.6× 59 0.9× 111 2.4× 40 1.2× 25 208
Guillaume Pothier Chile 6 91 0.7× 75 0.9× 95 1.5× 107 2.3× 50 1.5× 8 204
Joseph P. Near United States 10 56 0.4× 200 2.5× 63 1.0× 89 1.9× 10 0.3× 23 278
T. Ngo United States 4 176 1.3× 105 1.3× 44 0.7× 65 1.4× 189 5.6× 6 260
Emmanuel Stapf Germany 7 55 0.4× 162 2.1× 32 0.5× 111 2.4× 48 1.4× 13 227
Aseem Rastogi United Kingdom 8 45 0.3× 201 2.5× 52 0.8× 111 2.4× 33 1.0× 11 247
Nikos Gorogiannis United Kingdom 8 43 0.3× 177 2.2× 44 0.7× 27 0.6× 30 0.9× 21 229
Michael Poppleton United Kingdom 10 55 0.4× 136 1.7× 123 2.0× 70 1.5× 14 0.4× 38 216

Countries citing papers authored by Tim Nelson

Since Specialization
Citations

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

Fields of papers citing papers by Tim Nelson

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Tim Nelson

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

All Works

18 of 18 papers shown
1.
Nelson, Tim, et al.. (2024). Forge: A Tool and Language for Teaching Formal Methods. Proceedings of the ACM on Programming Languages. 8(OOPSLA1). 613–641. 2 indexed citations
2.
Greenman, Ben, et al.. (2023). Conceptual Mutation Testing for Student Programming Misconceptions. arXiv (Cornell University). 8(2). 1 indexed citations
3.
Greenman, Ben, et al.. (2023). Generating Programs Trivially: Student Use of Large Language Models. 126–132. 9 indexed citations
4.
Greenman, Ben, et al.. (2022). Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. 1–7. 3 indexed citations
5.
Greenman, Ben, et al.. (2022). Little Tricky Logic: Misconceptions in the Understanding of LTL. arXiv (Cornell University). 7(2). 4 indexed citations
6.
Nelson, Tim, et al.. (2022). Applying cognitive principles to model-finding output: the positive value of negative information. Proceedings of the ACM on Programming Languages. 6(OOPSLA1). 1–29. 3 indexed citations
7.
Nelson, Tim, et al.. (2021). Automated, Targeted Testing of Property-Based Testing Predicates. arXiv (Cornell University). 6(2). 1 indexed citations
8.
Nelson, Tim, et al.. (2020). Using Relational Problems to Teach Property-Based Testing. arXiv (Cornell University). 5(2). 4 indexed citations
9.
Nelson, Tim, et al.. (2020). Solver-Aided Multi-Party Configuration. 2 indexed citations
10.
Nelson, Tim, et al.. (2019). Synthesizing Mutable Configurations: Setting up Systems for Success. 81–85. 1 indexed citations
11.
Nelson, Tim, et al.. (2017). The power of "why" and "why not": enriching scenario exploration with provenance. 106–116. 18 indexed citations
12.
Nelson, Tim, et al.. (2016). Switches are Monitors Too!. 99–105. 4 indexed citations
13.
Nelson, Tim, et al.. (2015). Exodus. 1–7. 19 indexed citations
14.
Nelson, Tim, et al.. (2015). Simon. 1–7. 13 indexed citations
15.
Nelson, Tim. (2013). First-Order Models for Configuration Analysis. Digital WPI. 1 indexed citations
16.
Nelson, Tim, et al.. (2013). Aluminum: Principled scenario exploration through minimality. 2013 35th International Conference on Software Engineering (ICSE). 232–241. 17 indexed citations
17.
Nelson, Tim, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, & Shriram Krishnamurthi. (2013). A balance of power. 79–84. 30 indexed citations
18.
Nelson, Tim, Christopher L. R. Barratt, Daniel J. Dougherty, Kathi Fisler, & Shriram Krishnamurthi. (2010). The margrave tool for firewall analysis. 1–8. 74 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 Will Marrero Breakdown of academic impact, for papers by Ennan Zhai Breakdown of academic impact, for papers by Laurent Réveillère Breakdown of academic impact, for papers by Guillaume Pothier Breakdown of academic impact, for papers by Joseph P. Near Breakdown of academic impact, for papers by T. Ngo Breakdown of academic impact, for papers by Emmanuel Stapf Breakdown of academic impact, for papers by Aseem Rastogi Breakdown of academic impact, for papers by Nikos Gorogiannis Breakdown of academic impact, for papers by Michael Poppleton
Rankless by CCL
2026