Conference Proceeding
Monitoring water hyacinth in Kuttanad, India using Sentinel-1 SAR data
Simpson M, Marino A, Prabhu GN, Bhowmik D, Rupavatharam S, Datta A, Kleczkowski A, Sujeetha JARP & Maharaj S (2021) Monitoring water hyacinth in Kuttanad, India using Sentinel-1 SAR data. In: 2020 IEEE India Geoscience and Remote Sensing Symposium (InGARSS). IEEE International India Geoscience and Remote Sensing Symposium 2020 (InGARSS), Online, 02.12.2020-05.12.2020. Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/InGARSS48198.2020.9358977
Conference Proceeding
Comparing a Game v. Non-Game approach for plant provenance public education
Docherty C, Rutherford A, Jones G & Maharaj S (2021) Comparing a Game v. Non-Game approach for plant provenance public education. In: Gabron S (ed.) GSGS '21 - International Conference on Gamification and Serious Game Proceeding. Gamification & Serious Game Symposium. GSGS '21 - International Conference on Gamification and Serious Game, Lausanne, Switzerland, 28.06.2021-09.07.2021. Dublin: Digital Kingdom. https://gsgs.ch/wp-content/uploads/2021/07/gsgs21.pdf
Conference Proceeding
Monitoring Aquatic Weeds In Indian Wetlands Using Multitemporal Remote Sensing Data With Machine Learning Techniques
Akbari V, Simpson M, Maharaj S, Marino A, Bhowmik D, Prabhu GN, Rupavatharam S, Datta A, Kleczkowski A & Sujeetha JARP (2021) Monitoring Aquatic Weeds In Indian Wetlands Using Multitemporal Remote Sensing Data With Machine Learning Techniques. In: 2021 IEEE International Geoscience and Remote Sensing Symposium IGARSS. International Geoscience and Remote Sensing Symposium (IGARSS), Belgium, 12.07.2021-16.07.2021. Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/IGARSS47720.2021.9553207
Review
Monitoring the spread of water hyacinth (Pontederia crassipes): challenges and future developments
Datta A, Maharaj S, Prabhu GN, Bhowmik D, Marino A, Akbari V, Rupavatharam S, Sujeetha JAR, Anantrao GG, Poduvattil VK, Kumar S & Kleczkowski A (2021) Monitoring the spread of water hyacinth (Pontederia crassipes): challenges and future developments. Frontiers in Ecology and Evolution, 9, Art. No.: 631338. Biogeography and Macroecology, Invaders on the Horizon! Scanning the Future of Invasion Science and Management. https://doi.org/10.3389/fevo.2021.631338
Article
A comparison of two methods of using a serious game for teaching marine ecology in a university setting
Ameerbakhsh O, Maharaj S, Hussain A & McAdam B (2019) A comparison of two methods of using a serious game for teaching marine ecology in a university setting. International Journal of Human-Computer Studies, 127, pp. 181-189. https://doi.org/10.1016/j.ijhcs.2018.07.004
Conference Proceeding
An exploratory case study of interactive simulation for teaching Ecology
Ameerbakhsh O, Maharaj S, Hussain A, Paine CET & Taiksi S (2016) An exploratory case study of interactive simulation for teaching Ecology. In: 2016 15th International Conference on Information Technology Based Higher Education and Training (ITHET). ITHET 2016: 15th International Conference on Information Technology Based Higher Education and Training, Istanbul, Turkey, 08.09.2016-10.09.2016. Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/ITHET.2016.7760725
Lecture
Gamification for public engagement with invasive tree pests and diseases
Maharaj S, Jones G, Greene P & Docherty C (2016) Gamification for public engagement with invasive tree pests and diseases (Presentation) First International European Citizen Science Association (ESCA) Conference 2016: Citizen Science - Innovation in Open Science, Society and Policy, Berlin, 19.05.2016-21.05.2016.
Article
A bio-economic 'war game' model to simulate plant disease incursions and test response strategies at the landscape scale
Cook D, Aurambout J, Villalta O, Liu S, Edwards J & Maharaj S (2016) A bio-economic 'war game' model to simulate plant disease incursions and test response strategies at the landscape scale. Food Security, 8 (1), pp. 37-48. https://doi.org/10.1007/s12571-015-0524-z
Conference Paper (unpublished)
Gamification for public engagement with invasive tree pests and diseases
Maharaj S Gamification for public engagement with invasive tree pests and diseases. European Citizen Science Association conference, Berlin.
Article
Protection motivation theory and social distancing behaviour in response to a simulated infectious disease epidemic
Williams L, Rasmussen S, Kleczkowski A, Maharaj S & Cairns N (2015) Protection motivation theory and social distancing behaviour in response to a simulated infectious disease epidemic. Psychology, Health and Medicine, 20 (7), pp. 832-837. https://doi.org/10.1080/13548506.2015.1028946
Article
Spontaneous social distancing in response to a simulated epidemic: a virtual experiment
Kleczkowski A, Maharaj S, Rasmussen S, Williams L & Cairns N (2015) Spontaneous social distancing in response to a simulated epidemic: a virtual experiment. BMC Public Health, 15, Art. No.: 973. https://doi.org/10.1186/s12889-015-2336-7
Research Report
Gamification within plant health in the Forestry Commission
Maharaj S & Greene P (2015) Gamification within plant health in the Forestry Commission. Forestry Commission Scotland. University of Stirling. http://www.forestry.gov.uk/pdf/Gamification_in_the_FC.pdf/$FILE/Gamification_in_the_FC.pdf
Conference Proceeding
Strategic Interactions and Information Exchange on Networks: An Agent Based Simulation Model of Landowner Behavior in Conservation Incentive Schemes
Banerjee S & Maharaj S (2015) Strategic Interactions and Information Exchange on Networks: An Agent Based Simulation Model of Landowner Behavior in Conservation Incentive Schemes. In: Miguel F, Amblard F, Barcelo J & Madella M (eds.) Advances in Computational Social Science and Social Simulation: Proceedings of the Social Simulation Conference 2014 Barcelona, Catalunya (Spain), September 15. Social Simulation Conference, Universitat Autonoma Barcelona, 01.09.2014-05.09.2014. Barcelona: Universitat Autònoma de Barcelona Press, pp. 42-46. http://ddd.uab.cat/pub/poncom/2014/125597/advcomsocsci_a2014.pdf
Conference Proceeding
Reflections on a virtual experiment addressing human behavior during epidemics
Delaney L, Kleczkowski A, Maharaj S, Rasmussen S & Williams L (2013) Reflections on a virtual experiment addressing human behavior during epidemics. In: SummerSim '13 2013 Summer Simulation Multiconference Toronto, Canada — July 07 - 10, 2013. Simulation series, 45.11. Summer Computer Simulation Conference 2013, Toronto, Canada, 07.07.2013-10.07.2013. Vista, CA: Society for Modeling & Simulation International. http://dl.acm.org/citation.cfm?id=2557732&CFID=279840820&CFTOKEN=77799498
Article
Controlling epidemic spread by social distancing: Do it well or not at all
Maharaj S & Kleczkowski A (2012) Controlling epidemic spread by social distancing: Do it well or not at all. BMC Public Health, 12 (679). https://doi.org/10.1186/1471-2458-12-679
Conference Proceeding
A Participatory Simulation Model for Studying Attitudes to Infection Risk
Maharaj S, Kleczkowski A & McCaldin T (2011) A Participatory Simulation Model for Studying Attitudes to Infection Risk. In: Proceedings of the Summer Computer Simulation Conference 2011 (SCSC 2011). Summer Computer Simulation Conference 2011 (SCSC 2011), The Hague, NL, 27.06.2011-30.06.2011. California: Society for Modeling and Simulation International Vista / ACM Digital Library, pp. 8-13.
Conference Proceeding
Stay at Home, Wash Your Hands: Epidemic Dynamics with Awareness of Infection
Kleczkowski A & Maharaj S (2010) Stay at Home, Wash Your Hands: Epidemic Dynamics with Awareness of Infection. In: SummerSim '10 2010 Summer Simulation Multiconference. Summer Simulation Multiconference, Ottawa, Canada, 01.07.2010. San Diego: Society for Computer Simulation International, pp. 141-146. http://dl.acm.org/citation.cfm?id=1999432
Conference Proceeding
Studying the effects of adding spatiality to a process algebra model
Maharaj S, McCaig C & Shankland C (2009) Studying the effects of adding spatiality to a process algebra model. In: Clark A & Guerriero M (eds.) 8th Workshop on Process Algebra and Stochastically Timed Activities: PASTA 2009. 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009): Edinburgh, UK, Edinburgh, 26.08.2009-26.08.2009. Edinburgh, UK: University of Edinburgh, pp. 153-158. http://www.dcs.ed.ac.uk/pepa/group/pastaworkshop/PASTA09/proceedings.pdf
Technical Report
A Case Study in Integrated Assertion-Based Verification with Omnibus
Wilson T, Maharaj S & Clark R (2009) A Case Study in Integrated Assertion-Based Verification with Omnibus. Technical Report CSM, 176. Department of Computing Science and Mathematics, University of Stirling.
Article
Flexible and Configurable Verification Policies with Omnibus
Wilson T, Maharaj S & Clark R (2008) Flexible and Configurable Verification Policies with Omnibus. Software and Systems Modeling, 7 (3), pp. 257-272. http://www.springerlink.com/content/9543347t1h403181/fulltext.pdf; https://doi.org/10.1007/s10270-007-0060-1
Technical Report
Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors
Wilson T, Maharaj S & Clark R (2007) Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors. Technical Report CSM, 167. Department of Computing Science and Mathematics, University of Stirling.
Other
Theoretical Computer Science
Maharaj S (Editor), Shankland C (Editor) & Rattray C (Editor) (2006) Theoretical Computer Science. Theoretical Computer Science, 351 (2). http://www.sciencedirect.com/science/journal/03043975/351/2
Conference Proceeding
Omnibus verification policies: A flexible, configurable approach to assertion-based software verification
Wilson T, Maharaj S & Clark R (2005) Omnibus verification policies: A flexible, configurable approach to assertion-based software verification. In: Aichernig B & Beckert B (eds.) SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings. 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, 07.09.2005-09.09.2005. Los Alamitos, CA: The Institute of Electrical and Electronics Engineers, Inc, pp. 150-159. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10529
Conference Proceeding
Distributed stochastic hybrid systems
Bujorianu ML, Bujorianu MC & Maharaj S (2005) Distributed stochastic hybrid systems. In: Zitek P (ed.) Proceedings of the 16th IFAC World Congress, 2005. IFAC Proceedings Volumes, 16. 16th World Congress of the International Federation on Automation and Control (IFAC 2005), Czech Republic, 04.07.2005-08.07.2005. Amsterdam: Elsevier for International Federation of Automatic Control, pp. 158-163. http://www.ifac-papersonline.net/Detailed/27660.html
Conference Proceeding
Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques
Wilson T, Maharaj S & Clark R (2005) Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques. In: Butler M, Jones C, Romanovsky A & Troubitsyna E (eds.) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Technical Report Series, CS-TR-915. Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Newcastle, 19.07.2005-19.07.2005. Newcastle upon Tyne: University of Newcastle upon Tyne, pp. 43-52. http://rodin.cs.ncl.ac.uk/REFT.htm
Conference Proceeding
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
Rattray C, Maharaj S & Shankland C (eds.) (2004) Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science, 3116. AMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology. Berlin Heidelberg: Springer.
Article
IEEE 1394 Tree Identify Protocol: Introduction to the case study
Maharaj S, Romijn J & Shankland C (2003) IEEE 1394 Tree Identify Protocol: Introduction to the case study. Formal Aspects of Computing, 14 (3), pp. 200-214. https://doi.org/10.1007/s001650300001
Other
Formal Methods applied to IEEE 1394: A Comparative Case Study. Special issue of Formal Aspects of Computing
Cooke J (Editor), Maharaj S (Editor), Romijn J (Editor) & Shankland C (Editor) (2003) Formal Methods applied to IEEE 1394: A Comparative Case Study. Special issue of Formal Aspects of Computing. Formal Aspects of Computing, 14 (3). http://link.springer.com/journal/165/14/3
Conference Proceeding
Towards a Formalization of Viewpoints Testing
Bujorianu MC, Maharaj S & Bujorianu ML (2002) Towards a Formalization of Viewpoints Testing. In: Hierons R & Thierry J (eds.) Formal Approaches to Testing of Software: FATES’02 A Satellite Workshop of CONCUR’02, Brno, Czech Republic, August 24th 2002 Proceedings. FATES’02: A Satellite Workshop of CONCUR’02, Brno, Czech Republic, 24.08.2002-24.08.2002. Switzerland: Springer, pp. 137-151. http://kar.kent.ac.uk/13752/1/FormalRob.pdf
Article
A modal logic for Full LOTOS based on symbolic transition systems
Calder M, Maharaj S & Shankland C (2002) A modal logic for Full LOTOS based on symbolic transition systems. Computer Journal, 45 (1), pp. 55-61. https://doi.org/10.1093/comjnl/45.1.55
Conference Proceeding
IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard
Shankland C, Romijn J & Maharaj S (eds.) (2001) IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, Stirling, Scotland, 13.03.2001-13.03.2001. Stirling, Scotland: University of Stirling,Dept of Computing Science & Maths.
Conference Proceeding
An Adequate Logic for Full LOTOS
Calder M, Maharaj S & Shankland C (2001) An Adequate Logic for Full LOTOS. In: Oliveira J & Zave P (eds.) FME 2001: Formal Methods for Increasing Software Productivity. Lecture Notes in Computer Science, 2021. International Symposium of Formal Methods Europe, Berlin, Germany, 12.03.2001-16.03.2001. Berlin Heidelberg: Springer, pp. 384-395. http://link.springer.com/chapter/10.1007/3-540-45251-6_21
Conference Proceeding
A PVS Theory of Symbolic Transition Systems
Maharaj S (2001) A PVS Theory of Symbolic Transition Systems. In: Boulton R & Jackson P (eds.) Theorem Proving in Higher Order Logics, 2001, Supplemental Proceedings. Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, 03.09.2001-06.09.2001. Edinburgh, Scotland: Division of Informatics, University of Edinburgh, pp. 255-266. http://www.inf.ed.ac.uk/publications/online/0046/
Conference Proceeding
A Survey of Formal Methods applied to IEEE 1394
Maharaj S & Shankland C (2000) A Survey of Formal Methods applied to IEEE 1394. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. IEEE TC-ECBS + TF RE and IFIP WG10.1: Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, Scotland, 06.04.2000-07.04.2000. Stirling, Scotland: University of Stirling, pp. 25-26.
Article
A Survey of formal methods applied to leader election in IEEE 1394
Maharaj S & Shankland C (2000) A Survey of formal methods applied to leader election in IEEE 1394. Journal of Universal Computer Science, 6 (11), pp. 1145-1163. http://www.jucs.org/jucs_6_11/a_survey_of_formal
Conference Proceeding
Towards a Method of Test Case Extraction from Correctness Proofs
Maharaj S (1999) Towards a Method of Test Case Extraction from Correctness Proofs. In: Proceedings of the 14th International Workshop on Algebraic Development Techniques. 14th International Workshop on Algebraic Development Techniques (WADT 1999), Chateau de Bonas, France, 15.09.1999-18.09.1999. Switzerland: Springer, pp. 45-46.
Book Chapter
On the Verification of VDM Specification and Refinement with PVS
Agerholm S, Bicarregui J & Maharaj S (1998) On the Verification of VDM Specification and Refinement with PVS. In: Bicarregui J (ed.) Proof in VDM: Case Studies. Formal Approaches to Computing and Information Technology (FACIT). London: Springer, pp. 157-189. http://link.springer.com/chapter/10.1007/978-1-4471-1532-8_6#
Conference Proceeding
On the verification of VDM specification and refinement with PVS
Maharaj S & Bicarregui J (1997) On the verification of VDM specification and refinement with PVS. In: 12th IEEE International Conference Automated Software Engineering, 1997. Proceedings. 12th IEEE International Conference Automated Software Engineering, 1997, Incline Village, NV, USA, 01.11.1997-05.11.1997. Piscataway, NJ, USA: IEEE, pp. 280-289. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=632849&abstractAccess=no&userType=inst; https://doi.org/10.1109/ASE.1997.632849
Thesis
A Type-theoretic Analysis of Modular Specifications
Maharaj S (1997) A Type-theoretic Analysis of Modular Specifications. Doctor of Philosophy. University of Edinburgh.
Article
Studying the ML module system in HOL
Gunter EL & Maharaj S (1995) Studying the ML module system in HOL. Computer Journal, 38 (2), pp. 142-151. https://doi.org/10.1093/comjnl/38.2.142
Conference Proceeding
Studying the ML module system in HOL
Maharaj S & Gunter EL (1994) Studying the ML module system in HOL. In: Melham T & Camilleri J (eds.) Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings. Lecture Notes in Computer Science, 859. 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications, Valletta, Malta, 19.09.1994-22.09.1994. Berlin Heidelberg: Springer, pp. 346-361. http://link.springer.com/chapter/10.1007/3-540-58450-1_53#; https://doi.org/10.1007/3-540-58450-1_53
Conference Proceeding
Encoding Z-style Schemas in Type Theory
Maharaj S (1994) Encoding Z-style Schemas in Type Theory. In: Barendregt H & Nipkow T (eds.) Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers. Lecture Notes in Computer Science, 806. International Workshop TYPES'93, Nijmegen, The Netherlands, 24.05.1993-28.05.1993. Berlin Heidelberg: Springer, pp. 238-262. http://link.springer.com/chapter/10.1007/3-540-58085-9_79#; https://doi.org/10.1007/3-540-58085-9_79
Technical Report
The LEGO library
Jones C & Maharaj S (1993) The LEGO library. University of Edinburgh. http://www.dcs.ed.ac.uk/home/lego/html/release-1.2/library/newlib.html
Technical Report
The Formal Development of an SML Program Using the LEGO Theorem-Prover
Maharaj S (1991) The Formal Development of an SML Program Using the LEGO Theorem-Prover. Bell Labs.
Thesis
Implementing Z in LEGO
Maharaj S (1990) Implementing Z in LEGO. Master of Science. University of Edinburgh.
Technical Report
A Computer Package for Studying Graph Polynomials
Maharaj S (1988) A Computer Package for Studying Graph Polynomials. Dept of Mathematics and Computer Science, University of the West Indies.
