| Controlling epidemic spread by social distancing: Do it well or not at all S Maharaj, A Kleczkowski BMC public health 12, 1-16, 2012 | 253 | 2012 |
| Protection motivation theory and social distancing behaviour in response to a simulated infectious disease epidemic L Williams, S Rasmussen, A Kleczkowski, S Maharaj, N Cairns Psychology, health & medicine 20 (7), 832-837, 2015 | 159 | 2015 |
| Spontaneous social distancing in response to a simulated epidemic: a virtual experiment A Kleczkowski, S Maharaj, S Rasmussen, L Williams, N Cairns BMC Public Health 15, 1-13, 2015 | 57 | 2015 |
| A modal logic for full LOTOS based on symbolic transition systems M Calder, S Maharaj, C Shankland The Computer Journal 45 (1), 55-61, 2002 | 44 | 2002 |
| A comparison of two methods of using a serious game for teaching marine ecology in a university setting O Ameerbakhsh, S Maharaj, A Hussain, B McAdam International journal of human-computer studies 127, 181-189, 2019 | 42 | 2019 |
| Studying the ML module system in HOL S Maharaj, E Gunter HOL Users' Group Workshop, 346-361, 1994 | 32 | 1994 |
| An adequate logic for Full LOTOS M Calder, S Maharaj, C Shankland FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001 | 22 | 2001 |
| On the verification of VDM specification and refinement with PVS S Maharaj, J Bicarregui Proceedings 12th IEEE International Conference Automated Software …, 1997 | 21 | 1997 |
| Stay at home, wash your hands: epidemic dynamics with awareness of infection. A Kleczkowski, S Maharaj SummerSim, 141-146, 2010 | 15 | 2010 |
| A survey of formal methods applied to leader election in IEEE 1394 S Maharaj, C Shankland Journal of Universal Computer Science 6 (11), 1145-1163, 2000 | 15 | 2000 |
| A participatory simulation model for studying attitudes to infection risk S Maharaj, T McCaldin, A Kleczkowski Proceedings of the 2011 Summer Computer Simulation Conference, 8-13, 2011 | 14 | 2011 |
| On the verification of VDM specification and refinement with PVS S Agerholm, J Bicarregui, S Maharaj Proof in VDM: Case Studies, 157-189, 1998 | 14 | 1998 |
| Reflections on a virtual experiment addressing human behavior during epidemics. L Delaney, A Kleczkowski, S Maharaj, S Rasmussen, L Williams SummerSim, 33, 2013 | 10 | 2013 |
| Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification T Wilson, S Maharaj, RG Clark Third IEEE International Conference on Software Engineering and Formal …, 2005 | 10 | 2005 |
| A bio-economic ‘war game’model to simulate plant disease incursions and test response strategies at the landscape scale DC Cook, JP Aurambout, ON Villalta, S Liu, J Edwards, S Maharaj Food Security 8, 37-48, 2016 | 9 | 2016 |
| Distributed Stochastic Hybrid Systems ML Bujorianu, MC Bujorianu, S Maharaj Proceedings of IFAC, 378-378, 2005 | 9 | 2005 |
| Omnibus: A clean language and supporting tool for integrating different assertion-based verification techniques T Wilson, S Maharaj, R Clark TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE …, 2005 | 8 | 2005 |
| An exploratory case study of interactive simulation for teaching Ecology O Ameerbakhsh, S Maharaj, A Hussain, T Paine, S Taiksi 2016 15th International Conference on Information Technology Based Higher …, 2016 | 7 | 2016 |
| Omnibus: A clean language for supporting DBC, ESC and VDBC T Wilson, S Maharaj Proceedings of the Third International Conference on Software Engineering …, 2005 | 7 | 2005 |
| Towards a formalization of viewpoints testing MC Bujorianu, S Maharaj, ML Bujorianu Formal Approaches To Testing of Software 2002 (FATES'02), 2002 | 7 | 2002 |
Adam KleczkowskiUniversity of Strathclydestrath.ac.uk의 이메일 확인됨
