Concepedia

Jeannette M. Wing

JM

Statistics

Publications

57

Citations

19.2K

H-Index

37

Active since

1982

Affiliations

Carnegie Mellon University(Current)

Massachusetts Institute of Technology

Columbia University

Microsoft (United States)

Jeannette M. Wing is an author at Carnegie Mellon University specializing in computing, computer science, and formal methods.

Publications per year

1982–2024

57

Publications

57

Computational thinking

Jeannette M. Wing · Communications of the ACM · 2006 · 7.1K citations · Full text

Computing, Computer Science, Artificial Intelligence +8

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

Computing, Computer Science, Computer Architecture +16

Computational thinking

Peter Henderson, Thomas J. Cortina, Jeannette M. Wing · ACM SIGCSE Bulletin · 2007 · 1.6K citations · Full text

Computing, Computer Science, Artificial Intelligence +8

A behavioral notion of subtyping

Barbara Liskov, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Computing, Computer Science, Formal Methods +14

Formal Methods: State of the Art and Future Directions

Jeannette M. Wing · 1996 · 1.1K citations

Computing, Computer Science, Formal Methods +11

1–5 of 57