دنبال کردن
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‏
142112006
Linearizability: A correctness condition for concurrent objects‏
MP Herlihy, JM Wing‏
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990‏
43021990
Computational thinking and thinking about computing‏
JM Wing‏
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008‏
33612008
Formal methods: State of the art and future directions‏
EM Clarke, JM Wing‏
ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996‏
22741996
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‏
19702002
A behavioral notion of subtyping‏
BH Liskov, JM Wing‏
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994‏
18241994
A specifier's introduction to formal methods‏
JM Wing‏
Computer 23 (9), 8-22, 1990‏
13161990
Research notebook: Computational thinking—What and why‏
J Wing‏
The link magazine 6, 20-23, 2011‏
10492011
An attack surface metric‏
PK Manadhata, JM Wing‏
IEEE Transactions on Software Engineering 37 (3), 371-386, 2010‏
9382010
Two formal analyses of attack graphs‏
S Jha, O Sheyner, J Wing‏
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002‏
8712002
Specification matching of software components‏
AM Zaremski, JM Wing‏
ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997‏
8441997
Game strategies in network security‏
K Lye, JM Wing‏
International Journal of Information Security 4, 71-86, 2005‏
6642005
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‏
5171995
Computational thinking’s influence on research and education for all‏
JM Wing‏
Italian Journal of Educational Technology 25 (2), 7-14, 2017‏
4542017
Computational thinking benefits society‏
JM Wing‏
40th anniversary blog of social issues in computing 2014, 26, 2014‏
4542014
The Larch Family of Specification Languages.‏
JV Guttag, JJ Horning, JM Wing‏
IEEE Softw. 2 (5), 24-36, 1985‏
4351985
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‏
4062010
Tools for generating and analyzing attack graphs‏
O Sheyner, J Wing‏
International symposium on formal methods for components and objects, 344-371, 2003‏
3652003
Measuring relative attack surfaces‏
M Howard, J Pincus, JM Wing‏
Computer security in the 21st century, 109-137, 2005‏
3332005
Ranking attack graphs‏
V Mehta, C Bartzis, H Zhu, E Clarke, J Wing‏
International Workshop on Recent Advances in Intrusion Detection, 127-144, 2006‏
3072006
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20