Stannett MP (2011) The Proceedings of the Satellite Workshops of UC 2011 (Unconventional Computing 2011): Part 1 - 4th International Workshop on Physics and Computation & 3rd International Hypercomputation Workshop.. Turku, Finland: Turku Centre for Computer Science.
Stannett M & Dickinson S (1990) Modular Software Design. Bromley: Chartwell-Bratt.
Madarász JX, Stannett M & Székely G (2014) On the Possibility and Consequences of Negative Mass. arxiv. View this article in WRRO
Stannett MP, Paraskakis I & Dautov R (2014) Utilising Stream Reasoning Techniques to Underpin a Self-Adaptation Framework for Cloud Environments. Journal of Cloud Computing: Advances, Systems and Applications.
Kurdi OA, Romano DM & Stannett MP (2015) Modeling and Simulation of Tawaf and Sa'yee: A Survey of Recent Work in the Field. Eurosis ESM 2015. Leicester, United Kingdom, 26 October 2015 - 28 October 2015.
Stannett MP, Paraskakis I & Dautov R (2013) Utilising Stream Reasoning Techniques to Create a Self-Adaptation Framework for Cloud Environments. The 3rd International Workshop on Intelligent Techniques and Architectures for Autonomic Clouds (ITA. Dresden, Germany, 9 December 2013 - 12 December 2013.
Stannett MP (2013) Hypercomputation, Physics and Computation. Isaac Newton Institute SAS Satellite Workshop “The Incomputable”. (pp 273). Kavli Royal Society International Centre, Chicheley Hall, 12 June 2012 - 15 June 2012.
Stannett MP, Simons A, Bogdanov K & Holcombe W (2002) Plug and Play Safely: Rules for Behavioural Compatibility. IASTED SEA 2002 (pp 263-268). Cambridge, MA
Stannett MP (1992) Trace convergence over infinite alphabets II: Links with compactification theory. Bericht 4/92 (pp 72-81). Stuttgart
Stannett MP (1992) Trace convergence over infinite alphabets I: Metric vs Order Convergence. Bericht 4/92 (pp 46-71). Stuttgart
Stannett MP & Kwiatkowska M (1992) On Transfinite Traces. Bericht 4/92 (pp 123-157). Stuttgart
Stannett MP, Holcombe W & Rathore S (1989) Very High Level Functional Testing of VLSI - Preliminary Results. Fourth Technical Workshop on New Directions for IC Testing. Vancouver University
Stannett MP () Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. 7th Conference on Machines, Computations and Universality (MCU '15). Eastern Mediterranean University, Famagusta, North Cyprus, 9 September 2015 - 11 September 2015.
Dautov R, Paraskakis I & Stannett MP () A monitoring and analysis framework to support self-management in cloud application platforms. USES Proc., Vol. 2. Sheffield, UK, 24 June 2015 - 24 June 2015. View this article in WRRO
Stannett MP, Dautov R & Paraskakis I () On the Role of Stream Reasoning in Run-time Monitoring and Analysis in Autonomic Systems. http://www.seerc.org/dsc2013. Thessaloniki, Greece, 16 September 2013 - 17 September 2013.
Stannett MP, Thomson C, Cowling AJC, Corbett A & Holcombe WML () The Crossover Project. Learning Through Enquiry Alliance (LTEA). Sheffield, 25 June 2008 - 27 June 2008.
Stannett MP () Industrial Hypercomputation. http://www.cs.york.ac.uk/nature/workshop/papers.htm. York, 18 April 2005 - 19 April 2005.
Stannett MP, Simons A, Bogdanov K & Holcombe W () Method of Object Testing, Integration and Verification. FORTEST Workshop on testing. York, 13 September 2002.
Stannett MP () An Abstract Approach to VLSI Test. IEE Digest 1991/102, Vol. 102(10) (pp 1-3)
Stannett MP & Kiran M (2015) Bitcoin Risk Analysis
Stannett M & Németi I (2016) No Faster-Than-Light Observers.. Archive of Formal Proofs, 2016.
Theses / Dissertations
Stannett MP Internal Topology. University of Sheffield.