Seguir
Jeannette M Wing
Jeannette M Wing
Executive Vice President for Research, Professor of Computer Science, Columbia University
Dirección de correo verificada de columbia.edu - Página principal
Título
Citado por
Citado por
Año
Computational thinking
JM Wing
Communications of the ACM 49 (3), 33-35, 2006
137222006
Linearizability: A correctness condition for concurrent objects
MP Herlihy, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990
42701990
Computational thinking and thinking about computing
JM Wing
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008
32922008
Formal methods: State of the art and future directions
EM Clarke, JM Wing
ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996
22761996
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
19622002
A behavioral notion of subtyping
BH Liskov, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994
18281994
A specifier's introduction to formal methods
JM Wing
Computer 23 (9), 8-22, 1990
13141990
Research Notebook: Computational Thinking-What and Why
J Wing
The Link/Carneige Mellon, 2011
9942011
An attack surface metric
PK Manadhata, JM Wing
IEEE Transactions on Software Engineering 37 (3), 371-386, 2010
9332010
Two formal analyses of attack graphs
S Jha, O Sheyner, J Wing
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002
8632002
Specification matching of software components
AM Zaremski, JM Wing
ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997
8371997
Game strategies in network security
K Lye, JM Wing
International Journal of Information Security 4, 71-86, 2005
6552005
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
5111995
Computational thinking benefits society
JM Wing
40th anniversary blog of social issues in computing 2014, 26, 2014
4482014
The Larch Family of Specification Languages.
JV Guttag, JJ Horning, JM Wing
IEEE Softw. 2 (5), 24-36, 1985
4341985
Computational thinking’s influence on research and education for all
J Wing
Italian Journal of Educational Technology 25 (2), 7-14, 2017
4222017
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
4012010
Tools for generating and analyzing attack graphs
O Sheyner, J Wing
International symposium on formal methods for components and objects, 344-371, 2003
3632003
Measuring relative attack surfaces
M Howard, J Pincus, JM Wing
Computer security in the 21st century, 109-137, 2005
3312005
Ranking attack graphs
V Mehta, C Bartzis, H Zhu, E Clarke, J Wing
International Workshop on Recent Advances in Intrusion Detection, 127-144, 2006
3032006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20