X-Machines and the Halting Problem: Building a Super-Turing Machine. - Mike Stannett (Formal Aspects Comput., 1990)

Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. - Mike Stannett (Formal Aspects Comput., 1994)

Computation and Hypercomputation. - Mike Stannett (Minds Mach., 2003)

The case for hypercomputation. - Mike Stannett (Appl. Math. Comput., 2006)

Simulation testing of automata. - Mike Stannett (Formal Aspects Comput., 2006)

Editorial: Future Trends in Hypercomputation. - Mike Stannett (Int. J. Unconv. Comput., 2009)

The computational status of physics. - Mike Stannett (Nat. Comput., 2009)

Editorial. - Mike Stannett (Int. J. Unconv. Comput., 2010)

Membrane Systems and Hypercomputation. - Mike Stannett (Int. Conf. on Membrane Computing, 2012)

P Systems Controlled by General Topologies. - Erzsébet Csuhaj-Varjú; Marian Gheorghe 001; Mike Stannett (UCNC, 2012)

Computing the appearance of physical reality. - Mike Stannett (Appl. Math. Comput., 2012)

Using Isabelle to verify special relativity, with application to hypercomputation theory - Mike Stannett; István Németi (CoRR, 2012)

Foreword. - Mike Stannett (Int. J. Unconv. Comput., 2012)

Membrane system models for super-Turing paradigms. - Marian Gheorghe 001; Mike Stannett (Nat. Comput., 2012)

Guest Editor's Note: Special Issue on Hypercomputation, Physics and Computation. - Mike Stannett (Parallel Process. Lett., 2012)

Utilising Stream Reasoning Techniques to Create a Self-Adaptation Framework for Cloud Environments. - Rustem Dautov; Iraklis Paraskakis; Mike Stannett (UCC, 2013)

Addressing self-management in cloud platforms: a semantic sensor web approach. - Rustem Dautov; Dimitrios Kourtesis; Iraklis Paraskakis; Mike Stannett (HotTopiCS, 2013)

Computation and Spacetime Structure. - Mike Stannett (Int. J. Unconv. Comput., 2013)

Cloud Sensor Ontology and Linked Data to Support Autonomicity in Cloud Application Platforms. - Rustem Dautov; Iraklis Paraskakis; Mike Stannett (KESW, 2014)

Towards a framework for monitoring cloud application platforms as sensor networks. - Rustem Dautov; Iraklis Paraskakis; Mike Stannett (Clust. Comput., 2014)

Integration Testing of Heterotic Systems. - Marian Gheorghe 001; Mike Stannett (CoRR, 2014)

Developing a Video Steganography Toolkit. - James Ridgway; Mike Stannett (CoRR, 2014)

Specification, testing and verification of unconventional computations using generalized X-machines. - Mike Stannett (Int. J. Gen. Syst., 2014)

Using Isabelle/HOL to Verify First-Order Relativity Theory. - Mike Stannett; István Németi (J. Autom. Reason., 2014)

Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. - Rustem Dautov; Iraklis Paraskakis; Mike Stannett (J. Cloud Comput., 2014)

Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. - Mike Stannett (MCU, 2015)

An Integrated Model Checking Toolset for Kernel P Systems. - Marian Gheorghe 001; Savas Konur; Florentin Ipate; Laurentiu Mierla; Mehmet E. Bakir; Mike Stannett (Int. Conf. on Membrane Computing, 2015)

Spatially Localised Membrane Systems. - Erzsébet Csuhaj-Varjú; Marian Gheorghe 001; Mike Stannett; György Vaszil (Fundam. Informaticae, 2015)

Motion and observation in a single-particle universe. - Mike Stannett (Synth., 2015)

Comparative Analysis of Statistical Model Checking Tools. - Mehmet Emin Bakir; Marian Gheorghe 001; Savas Konur; Mike Stannett (Int. Conf. on Membrane Computing, 2016)

No Faster-Than-Light Observers. - Mike Stannett; István Németi (Arch. Formal Proofs, 2016)

Modelling and Validating an Engineering Application in Kernel P Systems. - Raluca Lefticaru; Mehmet Emin Bakir; Savas Konur; Mike Stannett; Florentin Ipate (Int. Conf. on Membrane Computing, 2017)

Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. - Tatyana Eftonova; Mariam Kiran; Mike Stannett (Int. J. Syst. Dyn. Appl., 2017)

Three Different Formalisations of Einstein's Relativity Principle. - Judit X. Madarász; Gergely Székely; Mike Stannett (Rev. Symb. Log., 2017)

Automatic selection of verification tools for efficient analysis of biochemical models. - Mehmet Emin Bakir; Savas Konur; Marian Gheorghe 001; Natalio Krasnogor; Mike Stannett (Bioinform., 2018)

Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory. - Judit X. Madarász; Gergely Székely; Mike Stannett (FLAP, 2018)

Preface. - Matthew J. Patitz; Mike Stannett (Nat. Comput., 2019)

Experiencing the Sheffield Team Software Project: A project-based learning approach to teaching Agile. - Olakunle Olayinka; Mike Stannett (EDUCON, 2020)

Groups of Worldview Transformations Implied by Isotropy of Space. - Judit X. Madarász; Mike Stannett; Gergely Székely (FLAP, 2021)

Investigations of isotropy and homogeneity of spacetime in first-order logic. - Judit X. Madarász; Mike Stannett; Gergely Székely (Ann. Pure Appl. Log., 2022)

Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields. - Judit X. Madarász; Mike Stannett; Gergely Székely (Rev. Symb. Log., 2022)

The Halting Problem is Soluble in Malament-Hogarth Spacetimes. - Mike Stannett (Arch. Formal Proofs, 2023)

No Faster-Than-Light Observers (GenRel). - Mike Stannett; Edward Higgins; Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Arch. Formal Proofs, 2023)

Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs. - Thomas Weripuo Gyeera; Anthony J. H. Simons; Mike Stannett (IEEE Trans. Serv. Comput., 2023)

Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm. - Thomas Weripuo Gyeera; Anthony J. H. Simons; Mike Stannett (IEEE Trans. Big Data, 2023)

The Stone-Cech Compactification. - Mike Stannett (Arch. Formal Proofs, 2024)