Follow
Sara Kalvala
Title
Cited by
Cited by
Year
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
712018
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
502015
Student engagement in massive open online courses
J Sinclair, S Kalvala
International Journal of Learning Technology 11 (3), 218-237, 2016
462016
A formulation of TLA in Isabelle
S Kalvala
International Conference on Theorem Proving in Higher Order Logics, 214-228, 1995
431995
Spatial simulations of myxobacterial development
AB Holmes, S Kalvala, DE Whitworth
PLoS computational biology 6 (2), e1000686, 2010
402010
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
402009
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
292015
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
252014
Engagement measures in massive open online courses
J Sinclair, S Kalvala
International Workshop on Learning Technology for Education in Cloud, 3-15, 2015
162015
AP system model of swarming and aggregation in a Myxobacterial colony
A Nash, S Kalvala
Journal of Membrane Computing 1, 103-111, 2019
152019
Microscheme: Functional programming for the Arduino
R Suchocki, S Kalvala
Scheme and Functional Programming Workshop, Washington, DC, 21-29, 2014
142014
Mechanizing linear logic in Isabelle
S Kalvala, VD Paiva
In 10th International Congress of Logic, Philosophy and Methodology of …, 1995
141995
Race conditions in message sequence charts
CA Chen, S Kalvala, J Sinclair
Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005
132005
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
122021
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
121991
Developing an interface for HOL
S Kalvala
1991 International Workshop on the HOL Theorem Proving System and Its …, 1991
111991
A process-based semantics for message sequence charts with data
CA Chen, S Kalvala, J Sinclair
2005 Australian Software Engineering Conference, 130-139, 2005
92005
A gentle introduction to Isabelle
S Kalvala
Computer Laboratory, Univ. of Cambridge, Royaume-Uni, 1994
91994
Formal verification of a microcoded VIPER microprocessor using HOL
K Levitt, T Arora, T Leung, S Kalvala, ET Schubert, P Windley, M Heckman, ...
91993
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
82016
The system can't perform the operation now. Try again later.
Articles 1–20