Jeannette M Wing

Cited by

	All	Since 2018
Citations	40286	16408
h-index	61	31
i10-index	131	56

3000

1500

750

2250

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023173 158 227 245 302 310 344 309 417 451 478 457 485 516 579 710 783 916 978 1008 1112 1108 1109 1183 1365 1600 1637 1874 2137 2496 2674 2749 2905 2989 2589

Public access

View all

9 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
Mark MaimoneNASA, Jet Propulsion Laboratory, California Institute of TechnologyVerified email at jpl.nasa.gov
Richard LippmannLaboratory Fellow, MIT Lincoln LaboratoryVerified email at ll.mit.edu
Charles WeinstockPrincipal Researcher, Software Engineering Institute, Carnegie Mellon UniversityVerified email at conjelco.com
Allan HeydonSoftware Engineer, GoogleVerified email at google.com
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
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
Thomas CortinaCarnegie Mellon UniversityVerified email at cs.cmu.edu
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Janice Y. TsaiGoogleVerified email at google.com
Roy MaxionResearch Professor of Computer Science/Machine Learning, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.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	11894	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	4084	1990
Computational thinking and thinking about computing JM Wing Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008	2866	2008
Formal methods: State of the art and future directions EM Clarke, JM Wing ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996	2221	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	1889	2002
A behavioral notion of subtyping BH Liskov, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994	1780	1994
A specifier's introduction to formal methods JM Wing Computer 23 (9), 8-22, 1990	1298	1990
An attack surface metric PK Manadhata, JM Wing IEEE Transactions on Software Engineering 37 (3), 371-386, 2010	878	2010
Specification matching of software components AM Zaremski, JM Wing ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997	833	1997
Research notebook: Computational thinking—What and why J Wing The link magazine 6, 20-23, 2011	822	2011
Two formal analyses of attack graphs S Jha, O Sheyner, J Wing Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002	798	2002
Game strategies in network security K Lye, JM Wing International Journal of Information Security 4, 71-86, 2005	637	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	507	1995
The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985	428	1985
Computational thinking benefits society JM Wing 40th anniversary blog of social issues in computing 2014, 26, 2014	389	2014
Tools for generating and analyzing attack graphs O Sheyner, J Wing International symposium on formal methods for components and objects, 344-371, 2003	342	2003
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	336	2010
Measuring relative attack surfaces M Howard, J Pincus, JM Wing Computer security in the 21st century, 109-137, 2005	319	2005
Computational thinking’s influence on research and education for all J Wing Italian Journal of Educational Technology 25 (2), 7-14, 2017	304	2017
Ranking attack graphs V Mehta, C Bartzis, H Zhu, E Clarke, J Wing International Workshop on Recent Advances in Intrusion Detection, 127-144, 2006	294	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