Savi Maharaj - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2019

A comparison of two methods of using a serious game for teaching marine ecology in a university settingOmair Ameerbakhsh, Savi Maharaj, Amir Hussain, Bruce J. McAdam. ijmms, 127:181-189, 2019. [doi]

2016

An exploratory case study of interactive simulation for teaching EcologyOmair Ameerbakhsh, Savi Maharaj, Amir Hussain, Tim Paine, Solene Taiksi. ithet 2016: 1-7 [doi]

2013

Reflections on a virtual experiment addressing human behavior during epidemicsLiam Delaney, Adam Kleczkowski, Savi Maharaj, Susan Rasmussen, Lynn Williams. SCSC 2013: 33 [doi]

2010

Stay at home, wash your hands: epidemic dynamics with awareness of infectionAdam Kleczkowski, Savi Maharaj. SCSC 2010: 141-146 [doi]

2008

Flexible and configurable verification policies with OmnibusThomas Wilson, Savi Maharaj, Robert G. Clark. SoSyM, 7(3):257-272, 2008. [doi]

2006

PrefaceSavi Maharaj, Carron Shankland, Charles Rattray. TCS, 351(2):129-130, 2006. [doi]

2005

Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verificationThomas Wilson, Savi Maharaj, Robert G. Clark. SEFM 2005: 150-159 [doi]

2003

EditorialJohn Cooke, Savi Maharaj, Judi Romijn, Carron Shankland. fac, 14(3):199, 2003. [doi]

2002

A Modal Logic for Full LOTOS based on Symbolic Transition SystemsMuffy Calder, Savi Maharaj, Carron Shankland. cj, 45(1):55-61, 2002. [doi]

2001

An Adequate Logic for Full LOTOSMuffy Calder, Savi Maharaj, Carron Shankland. FM 2001: 384-395 [doi]

2000

A Survey of Formal Methods Applied to Leader Election in IEEE 1394Savi Maharaj, Carron Shankland. jucs, 6(11):1145-1163, 2000. [doi]

1998

On the Verification of VDM Specification and Refinement with PVSSten Agerholm, Juan Bicarregui, Savi Maharaj. In Juan Bicarregui, editor, Proof in VDM: Case Studies. Formal Approaches to Computing and Information Technology (FACIT), pages 157-189, Springer, 1998. [doi]

1997

On the Verification of VDM Specification and Refinement with PVSSavi Maharaj, Juan Bicarregui. jckbse 1997: 280 [doi]

1995

Studying the ML Module System in HOLElsa L. Gunter, Savi Maharaj. cj, 38(2):142-151, 1995.

1994

Studying the ML Module System in HolSavi Maharaj, Elsa L. Gunter. tphol 1994: 346-361

1993

Encoding Z-style Schemas in Type TheorySavi Maharaj. TYPES 1994: 238-262

Sign in or sign up to see more results.

runs on WebDSL