Jeannette M Wing

Cited by

	All	Since 2019
Citations	43470	16857
h-index	62	30
i10-index	134	56

3300

1650

825

2475

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024160 165 227 242 304 322 349 316 413 454 479 454 484 521 590 714 793 927 980 1008 1106 1126 1121 1191 1367 1624 1630 1874 2144 2517 2730 2805 2926 3033 3243 2110

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	13424	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	4232	1990
Computational thinking and thinking about computing JM Wing Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008	3224	2008
Formal methods: State of the art and future directions EM Clarke, JM Wing ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996	2270	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	1946	2002
A behavioral notion of subtyping BH Liskov, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994	1813	1994
A specifier's introduction to formal methods JM Wing Computer 23 (9), 8-22, 1990	1311	1990
Research Notebook: Computational Thinking-What and Why J Wing The Link/Carneige Mellon, 2011	961	2011
An attack surface metric PK Manadhata, JM Wing IEEE Transactions on Software Engineering 37 (3), 371-386, 2010	928	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	509	1995
Computational thinking benefits society JM Wing 40th anniversary blog of social issues in computing 2014, 26, 2014	436	2014
The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985	432	1985
Computational thinking’s influence on research and education for all J Wing Italian Journal of Educational Technology 25 (2), 7-14, 2017	407	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	391	2010
Tools for generating and analyzing attack graphs O Sheyner, J Wing International symposium on formal methods for components and objects, 344-371, 2003	360	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