| Computational thinking JM Wing Communications of the ACM 49 (3), 33-35, 2006 | 16204 | 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 | 4511 | 1990 |
| Computational thinking and thinking about computing JM Wing Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008 | 3720 | 2008 |
| Formal methods: State of the art and future directions EM Clarke, JM Wing ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996 | 2333 | 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 | 2040 | 2002 |
| A behavioral notion of subtyping BH Liskov, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994 | 1867 | 1994 |
| A specifier's introduction to formal methods JM Wing Computer 23 (9), 8-22, 2002 | 1333 | 2002 |
| Research notebook: Computational thinking—What and why J Wing The link magazine 6, 20-23, 2011 | 1168 | 2011 |
| An attack surface metric PK Manadhata, JM Wing IEEE Transactions on Software Engineering 37 (3), 371-386, 2010 | 982 | 2010 |
| Two formal analyses of attack graphs S Jha, O Sheyner, J Wing Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002 | 901 | 2002 |
| Specification matching of software components AM Zaremski, JM Wing ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997 | 842 | 1997 |
| Game strategies in network security K Lye, JM Wing International Journal of Information Security 4 (1), 71-86, 2005 | 682 | 2005 |
| Computational thinking benefits society JM Wing 40th anniversary blog of social issues in computing 2014, 26, 2014 | 627 | 2014 |
| Computational thinking’s influence on research and education for all J Wing Italian journal of educational technology 25 (2), 7-14, 2017 | 566 | 2017 |
| 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 | 523 | 1995 |
| The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985 | 441 | 1985 |
| 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 | 426 | 2010 |
| Tools for generating and analyzing attack graphs O Sheyner, J Wing International symposium on formal methods for components and objects, 344-371, 2003 | 372 | 2003 |
| Measuring relative attack surfaces M Howard, J Pincus, JM Wing Computer security in the 21st century, 109-137, 2005 | 337 | 2005 |
| Ranking attack graphs V Mehta, C Bartzis, H Zhu, E Clarke, J Wing International Workshop on Recent Advances in Intrusion Detection, 127-144, 2006 | 317 | 2006 |
Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityVerified email at cs.brown.edu
