| 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 |
Cucuk Wawan BudiyantoUniversitas Sebelas MaretVerified email at staff.uns.ac.id
