Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Savi Maharaj
2010 – today
- 2010
[c6]Adam Kleczkowski, Savi Maharaj: Stay at home, wash your hands: epidemic dynamics with awareness of infection. SummerSim 2010: 141-146
2000 – 2009
- 2008
- [j6]Thomas Wilson, Savi Maharaj, Robert G. Clark: Flexible and configurable verification policies with Omnibus. Software and System Modeling 7(3): 257-272 (2008)
- 2006
- [j5]Savi Maharaj, Carron Shankland, Charles Rattray: Preface. Theor. Comput. Sci. 351(2): 129-130 (2006)
- 2005
- [c5]Thomas Wilson, Savi Maharaj, Robert G. Clark: Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. SEFM 2005: 150-159
- 2004
- [e1]Charles Rattray, Savi Maharaj, Carron Shankland (Eds.): Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Lecture Notes in Computer Science 3116, Springer 2004, ISBN 3-540-22381-9
- 2003
- [j4]John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland: Editorial. Formal Asp. Comput. 14(3): 199 (2003)
- 2002
- [j3]Muffy Calder, Savi Maharaj, Carron Shankland: A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J. 45(1): 55-61 (2002)
- 2001
- [c4]
- 2000
- [j2]Savi Maharaj, Carron Shankland: A Survey of Formal Methods Applied to Leader Election in IEEE 1394. J. UCS 6(11): 1145-1163 (2000)
1990 – 1999
- 1997
- [c3]Savi Maharaj, Juan Bicarregui: On the Verification of VDM Specification and Refinement with PVS. ASE 1997: 280-
- 1995
- [j1]Elsa L. Gunter, Savi Maharaj: Studying the ML Module System in HOL. Comput. J. 38(2): 142-151 (1995)
- 1994
- [c2]
- 1993
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:53 CET by the dblp team