Sara Kalvala

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 10

Top Topics

Massive Open Online Courses

Computer Science

Student Engagement

Top Venues

J. Membr. Comput.

Publications

Eleanor Davies, Sara Kalvala
Postcondition-preserving fusion of postorder tree transformations. CC (2020)
Anthony Nash, Sara Kalvala
A P system model of swarming and aggregation in a Myxobacterial colony. J. Membr. Comput. 1 (2) (2019)
Faiz Sayyid, Sara Kalvala
On the importance of modelling the internal spatial dynamics of biological cells. Biosyst. 145 (2016)
Jane E. Sinclair, Sara Kalvala
Student engagement in massive open online courses. Int. J. Learn. Technol. 11 (3) (2016)
Matthew Butler, Jane E. Sinclair, Michael Morgan, Sara Kalvala
Comparing international indicators of student engagement for computer science. ACSW (2016)
Jane E. Sinclair, Sara Kalvala
Exploring societal factors affecting the experience and engagement of first year female computer science undergraduates. Koli Calling (2015)
Shivani Goel, Sara Kalvala
PlasMatch: a tool for choosing usable restriction enzymes and plasmid backbones. BCB (2015)
Christophe Ladroue, Sara Kalvala
Constraint-Based Genetic Compilation. AlCoB (2015)
Jane E. Sinclair, Matthew Butler, Michael Morgan, Sara Kalvala
Measures of Student Engagement in Computer Science. ITiCSE (2015)
Jane E. Sinclair, Sara Kalvala
Engagement Measures in Massive Open Online Courses. LTEC@KMO (2015)
Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe, Christophe Ladroue, Sara Kalvala
Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. HPCC/CSS/ICESS (2014)
Sara Kalvala, Richard Warburton
A Formal Approach to Fixing Bugs. SBMF (2011)
Antony B. Holmes, Sara Kalvala, David E. Whitworth
Spatial Simulations of Myxobacterial Development. PLoS Comput. Biol. 6 (2) (2010)
Sara Kalvala, Richard Warburton, David Lacey
Program transformations using temporal logic side conditions. ACM Trans. Program. Lang. Syst. 31 (4) (2009)
Richard Warburton, Sara Kalvala
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. CC (2009)
Chien-An Chen, Sara Kalvala, Jane E. Sinclair
Race Conditions in Message Sequence Charts. APLAS (2005)
Chien-An Chen, Sara Kalvala, Jane E. Sinclair
Race-free Scenarios of Message Sequence Charts. APSEC (2005)
Chien-An Chen, Sara Kalvala, Jane E. Sinclair
A Process-Based Semantics for Message Sequence Charts with Data. Australian Software Engineering Conference (2005)
Marco Benini, Sara Kalvala, Dirk Nowotka
Program Abstraction in a Higher-Order Logic Framework. TPHOLs (1998)
Sara Kalvala
A Formulation of TLA in Isabelle. TPHOLs (1995)
Sara Kalvala
Using Isabelle to Prove Simple Theorems. HUG (1993)
Sara Kalvala
HOL Around the World. TPHOLs (1991)
Sara Kalvala
Developing an Interface for HOL. TPHOLs (1991)