Jeannette M. Wing

23.1k total citations · 6 hit papers
102 papers, 12.2k citations indexed

About

Jeannette M. Wing is a scholar working on Artificial Intelligence, Computer Networks and Communications and Information Systems. According to data from OpenAlex, Jeannette M. Wing has authored 102 papers receiving a total of 12.2k indexed citations (citations by other indexed papers that have themselves been cited), including 53 papers in Artificial Intelligence, 32 papers in Computer Networks and Communications and 30 papers in Information Systems. Recurrent topics in Jeannette M. Wing's work include Logic, programming, and type systems (20 papers), Distributed systems and fault tolerance (17 papers) and Formal Methods in Verification (17 papers). Jeannette M. Wing is often cited by papers focused on Logic, programming, and type systems (20 papers), Distributed systems and fault tolerance (17 papers) and Formal Methods in Verification (17 papers). Jeannette M. Wing collaborates with scholars based in United States, France and United Kingdom. Jeannette M. Wing's co-authors include Maurice Herlihy, Thomas J. Cortina, Peter Henderson, Amy Moormann Zaremski, Barbara Liskov, Edmund M. Clarke, Pratyusa K. Manadhata, Oleg Sheyner, Darrell Kindred and Dan Stanzione and has published in prestigious journals such as SHILAP Revista de lepidopterología, Communications of the ACM and ACM Computing Surveys.

In The Last Decade

Jeannette M. Wing

93 papers receiving 11.0k citations

Hit Papers

Computational thinking 1990 2026 2002 2014 2006 1990 2008 2007 1994 1000 2.0k 3.0k 4.0k
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Computational thinking
    2006 4.2k citations Jeannette M. Wing Communications of the ACM profile →
  2. Linearizability: a correctness condition for concurrent objects
    1990 1.7k citations Jeannette M. Wing et al. profile →
  3. Computational thinking and thinking about computing
    2008 1.1k citations Jeannette M. Wing profile →
  4. Computational thinking
    2007 993 citations Jeannette M. Wing et al. profile →
  5. A behavioral notion of subtyping
    1994 608 citations Jeannette M. Wing et al. profile →
  6. An Attack Surface Metric
    2010 370 citations Jeannette M. Wing et al. profile →

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Jeannette M. Wing United States 31 5.5k 3.4k 3.2k 2.9k 2.3k 102 12.2k
John Stasko United States 56 1.7k 0.3× 2.6k 0.8× 1.3k 0.4× 2.9k 1.0× 959 0.4× 251 11.9k
Philip J. Guo United States 35 2.3k 0.4× 2.5k 0.7× 680 0.2× 1.3k 0.4× 609 0.3× 93 5.7k
Peter Brusilovsky United States 44 4.2k 0.8× 4.2k 1.3× 658 0.2× 4.8k 1.7× 2.9k 1.3× 390 10.2k
Margaret Burnett United States 47 2.5k 0.5× 2.2k 0.7× 637 0.2× 1.8k 0.6× 1.1k 0.5× 262 7.2k
Mark Guzdial United States 47 6.0k 1.1× 2.0k 0.6× 271 0.1× 877 0.3× 4.2k 1.8× 307 10.8k
Laurie Williams United States 54 2.7k 0.5× 8.0k 2.4× 1.7k 0.5× 1.4k 0.5× 896 0.4× 361 10.4k
Per Runeson Sweden 38 1.8k 0.3× 9.5k 2.8× 2.3k 0.7× 3.1k 1.1× 295 0.1× 176 12.7k
Armando Fox United States 48 875 0.2× 10.9k 3.2× 12.4k 3.9× 3.9k 1.3× 182 0.1× 191 18.3k
Martin Höst Sweden 25 1.6k 0.3× 7.6k 2.3× 1.8k 0.6× 2.7k 0.9× 297 0.1× 105 10.2k
Amy J. Ko United States 43 2.4k 0.4× 2.3k 0.7× 506 0.2× 894 0.3× 987 0.4× 153 5.4k

Countries citing papers authored by Jeannette M. Wing

Since Specialization
Citations

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

Fields of papers citing papers by Jeannette M. Wing

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Jeannette M. Wing

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

All Works

20 of 20 papers shown
1.
Bloom, S, Joshua C. Brumberg, I. Fisk, et al.. (2025). Empire AI: A new model for provisioning AI and HPC for academic research in the public good. 1–4. 1 indexed citations
2.
Provost, Foster, James Hodson, Jeannette M. Wing, Qiang Yang, & Jennifer Neville. (2018). Societal Impact of Data Science and Artificial Intelligence. Rare & Special e-Zone (The Hong Kong University of Science and Technology). 2872–2873. 1 indexed citations
3.
Wing, Jeannette M., et al.. (2018). A simulator for concurrent objects. Figshare.
4.
Wing, Jeannette M.. (2018). A Larch specification of the library problem. Research Showcase @ Carnegie Mellon University (Carnegie Mellon University). 1 indexed citations
5.
Wing, Jeannette M.. (2018). Data for Good. 4–4. 3 indexed citations
6.
Wing, Jeannette M.. (2017). Computational thinking’s influence on research and education for all. SHILAP Revista de lepidopterología. 143 indexed citations
7.
Wing, Jeannette M.. (2006). Computational thinking. Communications of the ACM. 49(3). 33–35. 4191 indexed citations breakdown →
8.
Wing, Jeannette M.. (2003). Program specification. 1454–1458. 2 indexed citations
9.
Wing, Jeannette M.. (2002). Vulnerability Analysis of Networked Systems. 4. 2 indexed citations
10.
Jha, Somesh, Oleg Sheyner, & Jeannette M. Wing. (2002). Minimization and Reliability Analyses of Attack Graphs. Defense Technical Information Center (DTIC). 34 indexed citations
11.
Wing, Jeannette M. & John Mark Ockerbloom. (2000). Respectful type converters for mutable types. Cambridge University Press eBooks. 161–186. 2 indexed citations
12.
Wing, Jeannette M.. (2000). Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. 2–9. 9 indexed citations
13.
Wing, Jeannette M., Jim Woodcock, & Jim Davies. (1999). FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Springer eBooks. 3 indexed citations
14.
Wing, Jeannette M., et al.. (1997). A case study in model checking software systems. Science of Computer Programming. 28(2-3). 273–299. 22 indexed citations
15.
Jones, Cliff B., Daniel Jackson, & Jeannette M. Wing. (1996). Formal Methods Light. Computer. 29(4). 20–22. 10 indexed citations
16.
Baugh, John W., et al.. (1994). Formal Specification of AEC Product Models. Computing in Civil Engineering. 571–578. 1 indexed citations
17.
Wing, Jeannette M., et al.. (1991). Specifications as Search Keys for Software Libraries.. International Conference on Lightning Protection. 173–187. 43 indexed citations
18.
Wing, Jeannette M. & Amy Moormann Zaremski. (1991). A formal specification of a visual language editor. 120–129. 2 indexed citations
19.
Barbacci, Mario R., et al.. (1989). Developing Applications for Heterogeneous Machine Networks: The Durra Network.. 2. 7–35. 4 indexed citations
20.
Barbacci, Mario R. & Jeannette M. Wing. (1987). DURRA : A Task-Level Description Language.. Proceedings of the International Conference on Parallel Processing. 370–376. 12 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 John Stasko Breakdown of academic impact, for papers by Philip J. Guo Breakdown of academic impact, for papers by Peter Brusilovsky Breakdown of academic impact, for papers by Margaret Burnett Breakdown of academic impact, for papers by Mark Guzdial Breakdown of academic impact, for papers by Laurie Williams Breakdown of academic impact, for papers by Per Runeson Breakdown of academic impact, for papers by Armando Fox Breakdown of academic impact, for papers by Martin Höst Breakdown of academic impact, for papers by Amy J. Ko
Rankless by CCL
2026