Jeannette M Wing

Cited by

	All	Since 2019
Citations	43665	17045
h-index	63	31
i10-index	134	57

3300

1650

825

2475

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024160 166 228 244 304 322 349 316 413 454 479 454 484 521 590 714 793 927 981 1009 1105 1126 1121 1191 1369 1621 1635 1870 2142 2513 2727 2811 2922 3042 3248 2285

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 DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
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
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Allan HeydonSoftware Engineer, GoogleVerified email at google.com
Mandana VaziriIBM ResearchVerified email at us.ibm.com
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Kevin D JonesUniversity of PlymouthVerified email at plymouth.ac.uk
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.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	13514	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	4239	1990
Computational thinking and thinking about computing JM Wing Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008	3241	2008
Formal methods: State of the art and future directions EM Clarke, JM Wing ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996	2273	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	1953	2002
A behavioral notion of subtyping BH Liskov, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994	1818	1994
A specifier's introduction to formal methods JM Wing Computer 23 (9), 8-22, 1990	1312	1990
Research Notebook: Computational Thinking-What and Why J Wing The Link/Carneige Mellon, 2011	972	2011
An attack surface metric PK Manadhata, JM Wing IEEE Transactions on Software Engineering 37 (3), 371-386, 2010	929	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	853	2002
Specification matching of software components AM Zaremski, JM Wing ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997	837	1997
Game strategies in network security K Lye, JM Wing International Journal of Information Security 4, 71-86, 2005	652	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	510	1995
Computational thinking benefits society JM Wing 40th anniversary blog of social issues in computing 2014, 26, 2014	444	2014
The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985	434	1985
Computational thinking’s influence on research and education for all J Wing Italian Journal of Educational Technology 25 (2), 7-14, 2017	416	2017
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	393	2010
Tools for generating and analyzing attack graphs O Sheyner, J Wing International symposium on formal methods for components and objects, 344-371, 2003	361	2003
Measuring relative attack surfaces M Howard, J Pincus, JM Wing Computer security in the 21st century, 109-137, 2005	329	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	302	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