| Computational thinking JM Wing Communications of the ACM 49 (3), 33-35, 2006 | 6749 | 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 | 3353 | 1990 |
| Formal methods: State of the art and future directions EM Clarke, JM Wing ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996 | 1926 | 1996 |
| A behavioral notion of subtyping BH Liskov, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994 | 1580 | 1994 |
| 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 | 1551 | 2002 |
| Computational thinking and thinking about computing JM Wing Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008 | 1523 | 2008 |
| A specifier's introduction to formal methods JM Wing Computer 23 (9), 8-22, 1990 | 1105 | 1990 |
| Specification matching of software components AM Zaremski, JM Wing ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997 | 774 | 1997 |
| An attack surface metric PK Manadhata, JM Wing IEEE Transactions on Software Engineering 37 (3), 371-386, 2010 | 671 | 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 | 663 | 2002 |
| Game strategies in network security K Lye, JM Wing International Journal of Information Security 4 (1-2), 71-86, 2005 | 556 | 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 | 460 | 1995 |
| The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985 | 382 | 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 | 358 | 2011 |
| Research notebook: Computational thinking—What and why J Wing The link magazine 6, 2011 | 315 | 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 | 289 | 2014 |
| Tools for generating and analyzing attack graphs O Sheyner, J Wing International symposium on formal methods for components and objects, 344-371, 2003 | 282 | 2003 |
| Specification matching of software components AM Zaremski, JM Wing Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995 | 274 | 1995 |
| Measuring relative attack surfaces M Howard, J Pincus, JM Wing Computer security in the 21st century, 109-137, 2005 | 273 | 2005 |
| 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 | 269 | 2015 |
Cucuk Wawan BudiyantoUniversitas Sebelas MaretVerified email at staff.uns.ac.id
