Computational thinking JM Wing Communications of the ACM 49 (3), 33-35, 2006 | 6692 | 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 | 3517 | 1990 |
Formal methods: State of the art and future directions EM Clarke, JM Wing ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996 | 1985 | 1996 |
Computational thinking and thinking about computing JM Wing Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008 | 1684 | 2008 |
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 | 1637 | 2002 |
A behavioral notion of subtyping BH Liskov, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994 | 1609 | 1994 |
A specifier's introduction to formal methods JM Wing Computer 23 (9), 8-22, 1990 | 1130 | 1990 |
Specification matching of software components AM Zaremski, JM Wing ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997 | 801 | 1997 |
An attack surface metric PK Manadhata, JM Wing IEEE Transactions on Software Engineering 37 (3), 371-386, 2010 | 694 | 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 | 691 | 2002 |
Game strategies in network security K Lye, JM Wing International Journal of Information Security 4 (1), 71-86, 2005 | 580 | 2005 |
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 | 473 | 1995 |
The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985 | 390 | 1985 |
Problem‐based learning: Influence on students' learning in an electrical engineering course A Yadav, D Subedi, MA Lundeberg, CF Bunting Journal of Engineering Education 100 (2), 253-280, 2011 | 376 | 2011 |
Research notebook: Computational thinking—What and why J Wing The link magazine 6, 2011 | 352 | 2011 |
Computational thinking in elementary and secondary teacher education A Yadav, C Mayfield, N Zhou, S Hambrusch, JT Korb ACM Transactions on Computing Education (TOCE) 14 (1), 1-16, 2014 | 341 | 2014 |
Computational thinking in compulsory education: Towards an agenda for research and practice J Voogt, P Fisser, J Good, P Mishra, A Yadav Education and Information Technologies 20 (4), 715-728, 2015 | 306 | 2015 |
Tools for generating and analyzing attack graphs O Sheyner, J Wing International symposium on formal methods for components and objects, 344-371, 2003 | 305 | 2003 |
Measuring relative attack surfaces M Howard, J Pincus, JM Wing Computer security in the 21st century, 109-137, 2005 | 288 | 2005 |
Specification matching of software components AM Zaremski, JM Wing Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995 | 272 | 1995 |