Books

  • Patitz M & Stannett M (2017) Preface.
  • 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.

Journal articles

Chapters

  • Stannett MP (2004) Hypercomputational Models In Teuscher C & Hofstadter D (Ed.), Alan Turing: Life and Legacy of a Great Thinker (pp. 135-158). Springer Verlag

Conference proceedings papers

  • Bakir ME, Gheorghe M, Konur S & Stannett MP (2017) Comparative Analysis of Statistical Model Checking Tools. Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers, Vol. 10105 (pp 119-135), 25 July 2016 - 29 July 2016. View this article in WRRO
  • bakir ME & Stannett MP (2016) Selection Criteria for Statistical Model Checking. Proc WMC 2016 (pp 55-57). Bradford University, 11 July 2016 - 15 July 2016.
  • Gheorghe M, Konur S, Ipate F, Mierla L, Bakir ME & Stannett M (2015) An integrated model checking toolset for kernel P systems. Membrane Computing, Vol. 9504 (pp 153-170) View this article in WRRO
  • 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 M (2012) Membrane systems and hypercomputation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7762 LNCS (pp 78-87) View this article in WRRO
  • Csuhaj-Varjú E, Gheorghe M & Stannett M (2012) Using Topological Spaces to Control P Systems. Computability in Europe (CiE) 2012. Cambridge, 18 June 2012 - 23 June 2012.
  • Stannett MP (2012) Computing via Physical Theories. http://www.cs.kent.ac.uk/people/staff/sjt/TuringsLegacy/. Kent, UK, 16 April 2012 - 19 April 2012.
  • Stannett MP (2010) International Workshop of the Hypercomputation Research Network (HyperNet 10). Int. Journ. of Unconventional Computing, Vol. 8(1) (pp 1-106). Tokyo, 21 June 2010 - 25 June 2010.
  • Stannett MP (2010) 8th International Conference on Unconventional Computation Hypercomputation Workshop. International Journal of Unconventional Computing, Vol. 6(5) (pp 327-450). Ponta Delgada, Azores, Portugal, 7 September 2009 - 11 September 2009.
  • Stannett MP (2009) Future Trends in Hypercomputation. International Journal of Unconventional Computing, Vol. 5(3-4) (pp 191-388). Sheffield, 2006.
  • Stannett MP (2007) Physical hypercomputation. Unconventional Computing 2007 (pp 193-215). Bristol, 12 July 2007 - 14 July 2007.
  • Stannett MP (2004) Can Theory be made more attractive?. http://external.cis.strath.ac.uk/educ_grand_challenges/programme.html. Newcastle, 29 March 2004 - 31 March 2004.
  • Stannett MP (2002) Complete Behavioural Testing (two extensions to state-machine testing). FATES 2002 (pp 51-64). Brno, Czech republic, 22 August 2002.
  • 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)

Reports

  • Stannett MP & Kiran M (2015) Bitcoin Risk Analysis

Other

  • 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.

Edited books

Working papers

  • Stannett MP (2012) Computation and Spacetime Structure. International Journal of Unconventional Computing, In press.