Подписаться
Jeannette M Wing
Jeannette M Wing
Executive Vice President for Research, Professor of Computer Science, Columbia University
Подтвержден адрес электронной почты в домене columbia.edu - Главная страница
Название
Процитировано
Процитировано
Год
Computational thinking
JM Wing
Communications of the ACM 49 (3), 33-35, 2006
133572006
Linearizability: A correctness condition for concurrent objects
MP Herlihy, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990
42271990
Computational thinking and thinking about computing
JM Wing
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008
32122008
Formal methods: State of the art and future directions
EM Clarke, JM Wing
ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996
22691996
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
19442002
A behavioral notion of subtyping
BH Liskov, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994
18131994
A specifier's introduction to formal methods
JM Wing
Computer 23 (9), 8-22, 1990
13111990
Research Notebook: Computational Thinking-What and Why
J Wing
The Link/Carneige Mellon, 2011
9562011
An attack surface metric
PK Manadhata, JM Wing
IEEE Transactions on Software Engineering 37 (3), 371-386, 2010
9222010
Two formal analyses of attack graphs
S Jha, O Sheyner, J Wing
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002
8522002
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
6522005
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
5091995
Computational thinking benefits society
JM Wing
40th anniversary blog of social issues in computing 2014, 26, 2014
4342014
The Larch Family of Specification Languages.
JV Guttag, JJ Horning, JM Wing
IEEE Softw. 2 (5), 24-36, 1985
4311985
Computational thinking’s influence on research and education for all
J Wing
Italian Journal of Educational Technology 25 (2), 7-14, 2017
4062017
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
3892010
Tools for generating and analyzing attack graphs
O Sheyner, J Wing
International symposium on formal methods for components and objects, 344-371, 2003
3592003
Measuring relative attack surfaces
M Howard, J Pincus, JM Wing
Computer security in the 21st century, 109-137, 2005
3272005
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20