Sara Kalvala

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