Savi Maharaj

Publication Activity (10 Years)

Years Active: 1993-2019
Publications (10 Years): 2

Top Topics

Educational Technology

Enhancing Learning

Top Venues

Int. J. Hum. Comput. Stud.

Publications

Omair Z. Ameerbakhsh, Savi Maharaj, Amir Hussain, Bruce J. McAdam
A comparison of two methods of using a serious game for teaching marine ecology in a university setting. Int. J. Hum. Comput. Stud. 127 (2019)
Omair Ameerbakhsh, Savi Maharaj, Amir Hussain, Tim Paine, Solene Taiksi
An exploratory case study of interactive simulation for teaching Ecology. ITHET (2016)
Liam Delaney, Adam Kleczkowski, Savi Maharaj, Susan Rasmussen, Lynn Williams
Reflections on a virtual experiment addressing human behavior during epidemics. SummerSim (2013)
Adam Kleczkowski, Savi Maharaj
Stay at home, wash your hands: epidemic dynamics with awareness of infection. SummerSim (2010)
Thomas Wilson, Savi Maharaj, Robert G. Clark
Flexible and configurable verification policies with Omnibus. Softw. Syst. Model. 7 (3) (2008)
Savi Maharaj, Carron Shankland, Charles Rattray
Preface. Theor. Comput. Sci. 351 (2) (2006)
Thomas Wilson, Savi Maharaj, Robert G. Clark
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. SEFM (2005)
John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
Editorial. Formal Aspects Comput. 14 (3) (2003)
Muffy Calder, Savi Maharaj, Carron Shankland
A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J. 45 (1) (2002)
Muffy Calder, Savi Maharaj, Carron Shankland
An Adequate Logic for Full LOTOS. FME (2001)
Savi Maharaj, Carron Shankland
A Survey of Formal Methods Applied to Leader Election in IEEE 1394. J. Univers. Comput. Sci. 6 (11) (2000)
Savi Maharaj, Juan Bicarregui
On the Verification of VDM Specification and Refinement with PVS. ASE (1997)
Elsa L. Gunter, Savi Maharaj
Studying the ML Module System in HOL. Comput. J. 38 (2) (1995)
Savi Maharaj, Elsa L. Gunter
Studying the ML Module System in Hol. TPHOLs (1994)
Savi Maharaj
Encoding Z-style Schemas in Type Theory. TYPES (1993)