Jeannette M Wing

Cited by

	All	Since 2020
Citations	45166	15781
h-index	64	31
i10-index	136	51

3300

1650

825

2475

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025159 162 228 241 313 323 347 315 413 452 484 456 486 532 580 708 793 913 982 1020 1090 1122 1115 1197 1369 1628 1627 1856 2161 2523 2744 2804 2931 3100 3265 3237 432

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Pratyusa K. ManadhataFacebookVerified email at alumni.cmu.edu
Anupam DattaSnowflake AI Research, Ex-Professor CMUVerified email at snowflake.com
Daniel JacksonMITVerified email at mit.edu
Richard LippmannLaboratory Fellow, MIT Lincoln LaboratoryVerified email at ll.mit.edu
Mark MaimoneNASA, Jet Propulsion Laboratory, California Institute of TechnologyVerified email at jpl.nasa.gov
Charles WeinstockPrincipal Researcher, Software Engineering Institute, Carnegie Mellon UniversityVerified email at conjelco.com
Allan HeydonSoftware Engineer, GoogleVerified email at google.com
Mandana VaziriIBM ResearchVerified email at us.ibm.com
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Kevin D JonesUniversity of PlymouthVerified email at plymouth.ac.uk
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Thomas CortinaCarnegie Mellon UniversityVerified email at cs.cmu.edu
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Sriram RajamaniMicrosoft Research Verified email at microsoft.com

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science, Columbia University

Verified email at columbia.edu - Homepage

trustworthy AI security and privacy formal methods programming languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Computational thinking JM Wing Communications of the ACM 49 (3), 33-35, 2006	14330	2006
Linearizability: A correctness condition for concurrent objects MP Herlihy, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990	4304	1990
Computational thinking and thinking about computing JM Wing Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008	3390	2008
Formal methods: State of the art and future directions EM Clarke, JM Wing ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996	2279	1996
Automated generation and analysis of attack graphs O Sheyner, J Haines, S Jha, R Lippmann, JM Wing Proceedings 2002 IEEE Symposium on Security and Privacy, 273-284, 2002	1975	2002
A behavioral notion of subtyping BH Liskov, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994	1829	1994
A specifier's introduction to formal methods JM Wing Computer 23 (9), 8-22, 1990	1317	1990
Research notebook: Computational thinking—What and why J Wing The link magazine 6, 20-23, 2011	1056	2011
An attack surface metric PK Manadhata, JM Wing IEEE Transactions on Software Engineering 37 (3), 371-386, 2010	939	2010
Two formal analyses of attack graphs S Jha, O Sheyner, J Wing Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002	872	2002
Specification matching of software components AM Zaremski, JM Wing ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997	844	1997
Game strategies in network security K Lye, JM Wing International Journal of Information Security 4, 71-86, 2005	666	2005
Signature matching: a tool for using software libraries AM Zaremski, JM Wing ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (2), 146-170, 1995	517	1995
Computational thinking’s influence on research and education for all JM Wing Italian Journal of Educational Technology 25 (2), 7-14, 2017	459	2017
Computational thinking benefits society JM Wing 40th anniversary blog of social issues in computing 2014, 26, 2014	458	2014
The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985	435	1985
Demystifying computational thinking for non-computer scientists J Cuny, L Snyder, JM Wing Unpublished manuscript in progress, referenced in http://www. cs. cmu. edu …, 2010	410	2010
Tools for generating and analyzing attack graphs O Sheyner, J Wing International symposium on formal methods for components and objects, 344-371, 2003	365	2003
Measuring relative attack surfaces M Howard, J Pincus, JM Wing Computer security in the 21st century, 109-137, 2005	333	2005
Ranking attack graphs V Mehta, C Bartzis, H Zhu, E Clarke, J Wing International Workshop on Recent Advances in Intrusion Detection, 127-144, 2006	308	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors