Encoding Z-style Schemas in Type Theory. - Savi Maharaj (TYPES, 1993)

Studying the ML Module System in HOL. - Elsa L. Gunter; Savi Maharaj (Comput. J., 1995)

On the Verification of VDM Specification and Refinement with PVS. - Savi Maharaj; Juan Bicarregui (ASE, 1997)

On the Verification of VDM Specification and Refinement with PVS. - Sten Agerholm; Juan Bicarregui; Savi Maharaj (Proof in VDM, 1998)

A Survey of Formal Methods Applied to Leader Election in IEEE 1394. - Savi Maharaj; Carron Shankland (J. Univers. Comput. Sci., 2000)

An Adequate Logic for Full LOTOS. - Muffy Calder; Savi Maharaj; Carron Shankland (FME, 2001)

A Modal Logic for Full LOTOS based on Symbolic Transition Systems. - Muffy Calder; Savi Maharaj; Carron Shankland (Comput. J., 2002)

Editorial. - John Cooke; Savi Maharaj; Judi Romijn; Carron Shankland (Formal Aspects Comput., 2003)

Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. - Thomas Wilson; Savi Maharaj; Robert G. Clark (SEFM, 2005)

Preface. - Savi Maharaj; Carron Shankland; Charles Rattray (Theor. Comput. Sci., 2006)

Flexible and configurable verification policies with Omnibus. - Thomas Wilson; Savi Maharaj; Robert G. Clark (Softw. Syst. Model., 2008)

Stay at home, wash your hands: epidemic dynamics with awareness of infection. - Adam Kleczkowski; Savi Maharaj (SummerSim, 2010)

Reflections on a virtual experiment addressing human behavior during epidemics. - Liam Delaney; Adam Kleczkowski; Savi Maharaj; Susan Rasmussen; Lynn Williams (SummerSim, 2013)

An exploratory case study of interactive simulation for teaching Ecology. - Omair Ameerbakhsh; Savi Maharaj; Amir Hussain 001; Tim Paine; Solene Taiksi (ITHET, 2016)

A comparison of two methods of using a serious game for teaching marine ecology in a university setting. - Omair Z. Ameerbakhsh; Savi Maharaj; Amir Hussain 001; Bruce J. McAdam (Int. J. Hum. Comput. Stud., 2019)