Follow
Jeannette M Wing
Jeannette M Wing
Executive Vice President for Research, Professor of Computer Science, Columbia University
Verified email at columbia.edu - Homepage
Title
Cited by
Cited by
Year
Computational thinking
JM Wing
Communications of the ACM 49 (3), 33-35, 2006
127762006
Linearizability: A correctness condition for concurrent objects
MP Herlihy, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990
41551990
Computational thinking and thinking about computing
JM Wing
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008
30672008
Formal methods: State of the art and future directions
EM Clarke, JM Wing
ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996
22501996
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
19222002
A behavioral notion of subtyping
BH Liskov, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994
18051994
A specifier's introduction to formal methods
JM Wing
Computer 23 (9), 8-22, 1990
13081990
An attack surface metric
PK Manadhata, JM Wing
IEEE Transactions on Software Engineering 37 (3), 371-386, 2010
9092010
Research notebook: Computational thinking—What and why
J Wing
The link magazine 6, 20-23, 2011
8942011
Two formal analyses of attack graphs
S Jha, O Sheyner, J Wing
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002
8382002
Specification matching of software components
AM Zaremski, JM Wing
ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997
8321997
Game strategies in network security
K Lye, JM Wing
International Journal of Information Security 4, 71-86, 2005
6462005
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
5071995
The Larch Family of Specification Languages.
JV Guttag, JJ Horning, JM Wing
IEEE Softw. 2 (5), 24-36, 1985
4321985
Computational thinking benefits society
JM Wing
40th anniversary blog of social issues in computing 2014, 26, 2014
4202014
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
3732010
Computational thinking’s influence on research and education for all
J Wing
Italian Journal of Educational Technology 25 (2), 7-14, 2017
3632017
Tools for generating and analyzing attack graphs
O Sheyner, J Wing
International symposium on formal methods for components and objects, 344-371, 2003
3462003
Measuring relative attack surfaces
M Howard, J Pincus, JM Wing
Computer security in the 21st century, 109-137, 2005
3282005
Ranking attack graphs
V Mehta, C Bartzis, H Zhu, E Clarke, J Wing
International Workshop on Recent Advances in Intrusion Detection, 127-144, 2006
3012006
The system can't perform the operation now. Try again later.
Articles 1–20