### 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

- Madarász JX, Stannett MP & Székely G (2017) Three Different Formalisations of Einstein’s Relativity Principle. Review of Symbolic Logic. View this article in WRRO
- Eftonova T, Kiran M & Stannett M (2017) Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. International Journal of System Dynamics Applications, 6(1), 1-20. View this article in WRRO
- Stannett MP (2015) Motion and observation in a single-particle universe. Synthese, 192(7), 2261-2271. View this article in WRRO
- Stannett MP & Gheorghe M (2015) Integration Testing of Heterotic Systems. PHILOS T R SOC A, 373(2046). View this article in WRRO
- Csuhaj-Varjú E, Gheorghe M, Vaszil G & Stannett M (2015) Spatially Localised Membrane Systems. Fundamenta Informaticae, 138(1), 193-205.
- Dautov R, Paraskakis I & Stannett M (2014) Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. Journal of Cloud Computing, 3(1).
- Stannett MP, Dautov R & Paraskakis I (2014) Towards a Framework for Monitoring Cloud Application Platforms as Sensor Networks. CLUSTER COMPUT. View this article in WRRO
- Stannett MP & Németi I (2014) Using Isabelle/HOL to verify first-order relativity theory. Journal of Automated Reasoning, 52(4), 361-378. View this article in WRRO
- 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.
- Stannett MP (2014) Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines. International Journal of General Systems, 43(7), 713-721. View this article in WRRO
- Andréka H, Madarász JX, Németi I, Stannett MP & Székely G (2014) Faster than light motion does not imply time travel. CLASSICAL QUANT GRAV, 31(9). View this article in WRRO
- Stannett MP, Madarász JX & Székely G (2014) Why Do the Relativistic Masses and Momenta of Faster-than-Light Particles Decrease as their Speeds Increase?. Symmetry Integr Geom, 10.
- Dautov R, Paraskakis I, Kourtesis D & Stannett MP (2013) Addressing Self-Management in Cloud Platforms: a Semantic Sensor Web Approach. HotTopiCS '13 Proceedings of the 2013 international workshop on Hot topics in cloud services, 11-18.
- Stannett MP (2013) Computation and Spacetime Structure. International Journal of Unconventional Computing, 9(1-2), 173-184.
- Stannett M (2012) Computing the appearance of physical reality. Applied Mathematics and Computation, 219(1), 54-62.
- Stannett MP & Gheorghe M (2012) Membrane system models for super-Turing paradigms. Natural Computing, 11(2), 253-259.
- Csuhaj-Varjú E, Gheorghe M & Stannett M (2012) P Systems Controlled by General Topologies.. Lecture Notes in Computer Science, 7445, 70-81.
- Stannett M (2012) Guest editor's note: Special issue on hypercomputation, physics and computation. Parallel Processing Letters, 22(3).
- Stannett M (2010) Editorial: 8th International Conference on Unconventional Computation Hypercomputation Workshop. INT J UNCONV COMPUT, 6(5), 327.
- Stannett M (2009) The computational status of physics: A computable formulation of quantum theory. Natural Computing, 8(3), 517-538.
- Stannett M (2009) Editorial: Future Trends in Hypercomputation. INT J UNCONV COMPUT, 5(3-4), 191-192.
- Stannett M (2006) The case for hypercomputation. APPL MATH COMPUT, 178(1), 8-24.
- Stannett M (2006) Simulation testing of automata. FORM ASP COMPUT, 18(1), 31-41.
- Stannett MP (2004) X-machines - correctness via testing. FACS Facts Mewsletter, 2004-02, 32-38.
- Stannett M (2003) Computation and hypercomputation. MIND MACH, 13(1), 115-153.
- HOLLY S & STANNETT M (1995) ARE THERE ASYMMETRIES IN UK CONSUMPTION - A TIME-SERIES ANALYSIS. APPL ECON, 27(8), 767-772.
- Stannett M (1994) Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence.. FORM ASP COMPUT, 6, 696-715.
- Stannett MP (1993) Chaotic Programming Semantics. FACS Europe, 1(1).
- Stannett MP (1992) Codes. Mathematical Spectrum, 25.
- Stannett MP (1992) Abdications and Resignations in CSP. WoTUG Newsletter, 16, 42-43.
- Stannett MP (1991) Review of 'M. Sharples et al, Computers and Thought: A Practical Introduction to Artificial Intelligence, MIT Press (1989)'. AISB Quarterly, 76.
- Stannett MP (1991) Review of 'M. M. Coban & H. Attia, On the dimension of remainders of extensions of normal spaces. Topology and its Applications 6 (1990) 97-109'.
- Stannett MP (1990) Implications of "X-machines and the Halting Problem: Building a super-Turing machine" for Computational AI. AISB Quarterly, 74.
- Stannett M (1990) X-Machines and the Halting Problem: Building a Super-Turing Machine.. FORM ASP COMPUT, 2, 331-341.
- STANNETT M (1990) THE G-COMPACTIFICATIONS OF A LOCALLY COMPACT HAUSDORFF SPACE. P ROY IRISH ACAD A, 90(1), 11-18.
- STANNETT MP (1988) REPRESENTATIONS OF SPACES AS FUNCTION-SPACES. GLASGOW MATH J, 30, 189-193.
- STANNETT MP (1988) THE STONE-CECH COMPACTIFICATION OF THE RATIONAL WORLD. GLASGOW MATH J, 30, 181-188.
- Stannett MP (1987) Comment on Sternberg's Questioning and Intelligence. Questioning Exchange, 1, 227.
- Stannett MP (1987) An organisational approach to decision-making in command systems. International Journal of Command and Control, Communications and Information Systems, 1, 23-34.
- Stannett M & Németi I () Using Isabelle to verify special relativity, with application to hypercomputation theory.

### 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

- Patitz M & Stannett MP (Ed.) (2017) Unconventional Computation and Natural Computation, 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings. Springer.

### Working papers

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