Mike Stannett

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 21

Top Topics

Pspace Complete

Formal Verification

Top Venues

Arch. Formal Proofs

Int. Conf. on Membrane Computing

Publications

Mike Stannett
The Stone-Cech Compactification. Arch. Formal Proofs 2024 (2024)
Mike Stannett
The Halting Problem is Soluble in Malament-Hogarth Spacetimes. Arch. Formal Proofs 2023 (2023)
Mike Stannett, Edward Higgins, Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
No Faster-Than-Light Observers (GenRel). Arch. Formal Proofs 2023 (2023)
Thomas Weripuo Gyeera, Anthony J. H. Simons, Mike Stannett
Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm. IEEE Trans. Big Data 9 (4) (2023)
Thomas Weripuo Gyeera, Anthony J. H. Simons, Mike Stannett
Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs. IEEE Trans. Serv. Comput. 16 (4) (2023)
Judit X. Madarász, Mike Stannett, Gergely Székely
Investigations of isotropy and homogeneity of spacetime in first-order logic. Ann. Pure Appl. Log. 173 (9) (2022)
Judit X. Madarász, Mike Stannett, Gergely Székely
Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields. Rev. Symb. Log. 15 (2) (2022)
Judit X. Madarász, Mike Stannett, Gergely Székely
Groups of Worldview Transformations Implied by Isotropy of Space. FLAP 8 (3) (2021)
Olakunle Olayinka, Mike Stannett
Experiencing the Sheffield Team Software Project: A project-based learning approach to teaching Agile. EDUCON (2020)
Matthew J. Patitz, Mike Stannett
Preface. Nat. Comput. 18 (1) (2019)
Mehmet Emin Bakir, Savas Konur, Marian Gheorghe, Natalio Krasnogor, Mike Stannett
Automatic selection of verification tools for efficient analysis of biochemical models. Bioinform. 34 (18) (2018)
Judit X. Madarász, Gergely Székely, Mike Stannett
Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory. FLAP 5 (4) (2018)
Judit X. Madarász, Gergely Székely, Mike Stannett
Three Different Formalisations of Einstein's Relativity Principle. Rev. Symb. Log. 10 (3) (2017)
Tatyana Eftonova, Mariam Kiran, Mike Stannett
Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. Int. J. Syst. Dyn. Appl. 6 (1) (2017)
Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate
Modelling and Validating an Engineering Application in Kernel P Systems. Int. Conf. on Membrane Computing (2017)
Mike Stannett, István Németi
No Faster-Than-Light Observers. Arch. Formal Proofs 2016 (2016)
Mehmet Emin Bakir, Marian Gheorghe, Savas Konur, Mike Stannett
Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing (2016)
Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing (2015)
Mike Stannett
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. MCU (2015)
Mike Stannett
Motion and observation in a single-particle universe. Synth. 192 (7) (2015)
Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett, György Vaszil
Spatially Localised Membrane Systems. Fundam. Informaticae 138 (1-2) (2015)
Rustem Dautov, Iraklis Paraskakis, Mike Stannett
Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. J. Cloud Comput. 3 (2014)
Mike Stannett, István Németi
Using Isabelle/HOL to Verify First-Order Relativity Theory. J. Autom. Reason. 52 (4) (2014)
Marian Gheorghe, Mike Stannett
Integration Testing of Heterotic Systems. CoRR (2014)
Rustem Dautov, Iraklis Paraskakis, Mike Stannett
Cloud Sensor Ontology and Linked Data to Support Autonomicity in Cloud Application Platforms. KESW (2014)
Rustem Dautov, Iraklis Paraskakis, Mike Stannett
Towards a framework for monitoring cloud application platforms as sensor networks. Clust. Comput. 17 (4) (2014)
Mike Stannett
-machines. Int. J. Gen. Syst. 43 (7) (2014)
James Ridgway, Mike Stannett
Developing a Video Steganography Toolkit. CoRR (2014)
Rustem Dautov, Iraklis Paraskakis, Mike Stannett
Utilising Stream Reasoning Techniques to Create a Self-Adaptation Framework for Cloud Environments. UCC (2013)
Rustem Dautov, Dimitrios Kourtesis, Iraklis Paraskakis, Mike Stannett
Addressing self-management in cloud platforms: a semantic sensor web approach. HotTopiCS (2013)
Mike Stannett
Computation and Spacetime Structure. Int. J. Unconv. Comput. 9 (1-2) (2013)
Mike Stannett
Membrane Systems and Hypercomputation. Int. Conf. on Membrane Computing (2012)
Marian Gheorghe, Mike Stannett
Membrane system models for super-Turing paradigms. Nat. Comput. 11 (2) (2012)
Mike Stannett, István Németi
Using Isabelle to verify special relativity, with application to hypercomputation theory CoRR (2012)
Mike Stannett
Computing the appearance of physical reality. Appl. Math. Comput. 219 (1) (2012)
Mike Stannett
Guest Editor's Note: Special Issue on Hypercomputation, Physics and Computation. Parallel Process. Lett. 22 (3) (2012)
Mike Stannett
Foreword. Int. J. Unconv. Comput. 8 (1) (2012)
Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett
P Systems Controlled by General Topologies. UCNC (2012)
Mike Stannett
Computation and Spacetime Structure CoRR (2011)
Mike Stannett
Editorial. Int. J. Unconv. Comput. 6 (5) (2010)
Mike Stannett
The computational status of physics. Nat. Comput. 8 (3) (2009)
Mike Stannett
Editorial: Future Trends in Hypercomputation. Int. J. Unconv. Comput. 5 (3-4) (2009)
Mike Stannett
The case for hypercomputation. Appl. Math. Comput. 178 (1) (2006)
Mike Stannett
Simulation testing of automata. Formal Aspects Comput. 18 (1) (2006)
Mike Stannett
Computation and Hypercomputation. Minds Mach. 13 (1) (2003)
Mike Stannett
Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. Formal Aspects Comput. 6 (6) (1994)
Mike Stannett
X-Machines and the Halting Problem: Building a Super-Turing Machine. Formal Aspects Comput. 2 (4) (1990)