| 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 | 74 | 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 | 56 | 2015 |
| Student engagement in massive open online courses J Sinclair, S Kalvala International Journal of Learning Technology 11 (3), 218-237, 2016 | 47 | 2016 |
| 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 | 41 | 2009 |
| A formulation of TLA in Isabelle S Kalvala International Conference on Theorem Proving in Higher Order Logics, 214-228, 1995 | 41 | 1995 |
| Spatial simulations of myxobacterial development AB Holmes, S Kalvala, DE Whitworth PLoS computational biology 6 (2), e1000686, 2010 | 40 | 2010 |
| 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 | 31 | 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 | 27 | 2014 |
| Toward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation S Konur, L Mierla, H Fellermann, C Ladroue, B Brown, A Wipat, ... ACS Synthetic Biology 10 (8), 1931-1945, 2021 | 18 | 2021 |
| Engagement measures in massive open online courses J Sinclair, S Kalvala International Workshop on Learning Technology for Education in Cloud, 3-15, 2015 | 16 | 2015 |
| Mechanizing linear logic in Isabelle S Kalvala, VD Paiva In 10th International Congress of Logic, Philosophy and Methodology of …, 1995 | 16 | 1995 |
| AP system model of swarming and aggregation in a Myxobacterial colony A Nash, S Kalvala Journal of Membrane Computing 1, 103-111, 2019 | 15 | 2019 |
| Microscheme: Functional programming for the Arduino R Suchocki, S Kalvala 2014 SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP, 2015 | 14 | 2015 |
| Race conditions in message sequence charts CA Chen, S Kalvala, J Sinclair Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005 | 13 | 2005 |
| Developing an interface for HOL S Kalvala 1991 International Workshop on the HOL Theorem Proving System and Its …, 1991 | 11 | 1991 |
| 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 |
| 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 |
| Formal verification of a microcoded VIPER microprocessor using HOL K Levitt, T Arora, T Leung, S Kalvala, ET Schubert, P Windley, M Heckman, ... | 9 | 1993 |
| 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 | 8 | 2016 |
