- Studying the ML Module System in HOL Elsa Gunter 1 and Savi Maharaj 2
- A TypeTheoretic Analysis of Modular Specifications
- Encoding Zstyle Schemas in Type Theory Savi Maharaj
- Studying the ML Module System in HOL Savi Maharaj ?1 and Elsa Gunter 2
- Implementing Z in Lego Savitri Maharaj
- On the Verification of VDM Specification and Refinement with PVS Savi Maharaj \Lambda
- Savi Maharaj Computing Science and Mathematics
- Savi Maharaj, Tamsin McCaldin, Adam Kleczkowski. A Participatory Simulation Model for Studying Attitudes to Infection Risk, in Pro-ceedings of the Summer Computer Simulation Conference 2011 (SCSC 2011), ACM Digital Library, July 2011
- KLECZKOWSKI A, MAHARAJ S., Stay at home, Wash Your Hands: Epidemic Dynamics with Awareness of Infection. In Proceedings of the Summer Computer Simulation Conference, Ottawa, July 2010, The Society for Modeling and Simulation International (SCS)
