HOL Around the World. - Sara Kalvala (TPHOLs, 1991)

Developing an Interface for HOL. - Sara Kalvala (TPHOLs, 1991)

Implementation and Use of Annotations in HOL. - Saraswati Kalvala; Myla Archer; Karl N. Levitt (TPHOLs, 1992)

Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit. - Jing Pan; Karl N. Levitt; Myla Archer; Saraswati Kalvala (TPHOLs, 1992)

Using Isabelle to Prove Simple Theorems. - Sara Kalvala (HUG, 1993)

Annotations in Formal Specifications and Proofs. - Saraswati Kalvala (Formal Methods Syst. Des., 1994)

A Formulation of TLA in Isabelle. - Sara Kalvala (TPHOLs, 1995)

Program Abstraction in a Higher-Order Logic Framework. - Marco Benini; Sara Kalvala; Dirk Nowotka (TPHOLs, 1998)

Controller Synthesis for Object Petri Nets. - Berndt Farwer; Saraswati Kalvala; Kundan Misra (ICFEM, 2003)

Race Conditions in Message Sequence Charts. - Chien-An Chen; Sara Kalvala; Jane E. Sinclair (APLAS, 2005)

Race-free Scenarios of Message Sequence Charts. - Chien-An Chen; Sara Kalvala; Jane E. Sinclair (APSEC, 2005)

A Process-Based Semantics for Message Sequence Charts with Data. - Chien-An Chen; Sara Kalvala; Jane E. Sinclair (Australian Software Engineering Conference, 2005)

From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. - Richard Warburton; Sara Kalvala (CC, 2009)

Program transformations using temporal logic side conditions. - Sara Kalvala; Richard Warburton; David Lacey (ACM Trans. Program. Lang. Syst., 2009)

Spatial Simulations of Myxobacterial Development. - Antony B. Holmes; Sara Kalvala; David E. Whitworth (PLoS Comput. Biol., 2010)

A Formal Approach to Fixing Bugs. - Sara Kalvala; Richard Warburton (SBMF, 2011)

Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. - Daven Sanassy; Harold Fellermann; Natalio Krasnogor; Savas Konur; Laurentiu Mierla; Marian Gheorghe 001; Christophe Ladroue; Sara Kalvala (HPCC/CSS/ICESS, 2014)

Constraint-Based Genetic Compilation. - Christophe Ladroue; Sara Kalvala (AlCoB, 2015)

PlasMatch: a tool for choosing usable restriction enzymes and plasmid backbones. - Shivani Goel; Sara Kalvala (BCB, 2015)

Measures of Student Engagement in Computer Science. - Jane E. Sinclair; Matthew Butler 002; Michael Morgan; Sara Kalvala (ITiCSE, 2015)

Engagement Measures in Massive Open Online Courses. - Jane E. Sinclair; Sara Kalvala (LTEC@KMO, 2015)

Exploring societal factors affecting the experience and engagement of first year female computer science undergraduates. - Jane E. Sinclair; Sara Kalvala (Koli Calling, 2015)

Comparing international indicators of student engagement for computer science. - Matthew Butler 002; Jane E. Sinclair; Michael Morgan; Sara Kalvala (ACSW, 2016)

On the importance of modelling the internal spatial dynamics of biological cells. - Faiz Sayyid; Sara Kalvala (Biosyst., 2016)

Student engagement in massive open online courses. - Jane E. Sinclair; Sara Kalvala (Int. J. Learn. Technol., 2016)

A P system model of swarming and aggregation in a Myxobacterial colony. - Anthony Nash; Sara Kalvala (J. Membr. Comput., 2019)

Postcondition-preserving fusion of postorder tree transformations. - Eleanor Davies; Sara Kalvala (CC, 2020)