| Understanding initial undergraduate expectations and identity in computing studies P Kinnunen, M Butler, M Morgan, A Nylen, AK Peters, J Sinclair, S Kalvala, ... European Journal of Engineering Education 43 (2), 201-218, 2018 | 63 | 2018 |
| Measures of student engagement in computer science J Sinclair, M Butler, M Morgan, S Kalvala Proceedings of the 2015 ACM conference on innovation and technology in …, 2015 | 45 | 2015 |
| A formulation of TLA in Isabelle S Kalvala Higher Order Logic Theorem Proving and Its Applications: 8th International …, 1995 | 41 | 1995 |
| Spatial simulations of myxobacterial development AB Holmes, S Kalvala, DE Whitworth PLoS computational biology 6 (2), e1000686, 2010 | 39 | 2010 |
| Program transformations using temporal logic side conditions S Kalvala, R Warburton, D Lacey ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (4), 1-48, 2009 | 39 | 2009 |
| Student engagement in massive open online courses J Sinclair, S Kalvala International Journal of Learning Technology 11 (3), 218-237, 2016 | 38 | 2016 |
| Exploring societal factors affecting the experience and engagement of first year female computer science undergraduates J Sinclair, S Kalvala Proceedings of the 15th Koli Calling Conference on Computing Education …, 2015 | 23 | 2015 |
| Modelling and stochastic simulation of synthetic biological boolean gates D Sanassy, H Fellermann, N Krasnogor, S Konur, LM Mierla, M Gheorghe, ... 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014 | 23 | 2014 |
| Engagement measures in massive open online courses J Sinclair, S Kalvala Learning Technology for Education in Cloud: 4th International Workshop, LTEC …, 2015 | 14 | 2015 |
| AP system model of swarming and aggregation in a Myxobacterial colony A Nash, S Kalvala Journal of Membrane Computing 1, 103-111, 2019 | 13 | 2019 |
| Race conditions in message sequence charts CA Chen, S Kalvala, J Sinclair APLAS, 195-211, 2005 | 13 | 2005 |
| Mechanizing linear logic in Isabelle S Kalvala, VD Paiva In 10th International Congress of Logic, Philosophy and Methodology of …, 1995 | 13 | 1995 |
| Microscheme: Functional programming for the Arduino R Suchocki, S Kalvala Scheme and Functional Programming Workshop, Washington, DC, 21-29, 2014 | 12 | 2014 |
| A methodology for integrating hardware design and verification S Kalvala, M Archer, K Levitt ACM International Workshop on Formal Methods in VLSI Design, Miami, FL, 1991 | 11 | 1991 |
| Comparing international indicators of student engagement for computer science M Butler, J Sinclair, M Morgan, S Kalvala Proceedings of the Australasian Computer Science Week Multiconference, 1-10, 2016 | 9 | 2016 |
| A process-based semantics for message sequence charts with data CA Chen, S Kalvala, J Sinclair 2005 Australian Software Engineering Conference, 130-139, 2005 | 9 | 2005 |
| A gentle introduction to Isabelle S Kalvala Computer Laboratory, Univ. of Cambridge, Royaume-Uni, 1994 | 9 | 1994 |
| Developing an interface for HOL S Kalvala 1991 International Workshop on the HOL Theorem Proving System and Its …, 1991 | 9 | 1991 |
| Modeling and analysis of genetic boolean gates using Infobiotics Workbench S Konur, C Ladroue, H Fellermann, D Sanassy, L Mierla, F Ipate, ... Verification of Engineered Molecular Devices and Programs, 26-37, 2014 | 8 | 2014 |
| Formal verification of a microcoded VIPER microprocessor using HOL K Levitt, T Arora, T Leung, S Kalvala, ET Schubert, P Windley, M Heckman, ... | 8 | 1993 |
