According to our database1, Mike Stannett authored at least 36 papers between 1990 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Automatic selection of verification tools for efficient analysis of biochemical models.
Three Different Formalisations of Einstein's Relativity Principle.
Rew. Symb. Logic, 2017
Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling.
Modelling and Validating an Engineering Application in Kernel P Systems.
Proceedings of the Membrane Computing, 2017
No Faster-Than-Light Observers.
Archive of Formal Proofs, 2016
Comparative Analysis of Statistical Model Checking Tools.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016
Motion and observation in a single-particle universe.
Spatially Localised Membrane Systems.
Fundam. Inform., 2015
An Integrated Model Checking Toolset for Kernel P Systems.
Proceedings of the Membrane Computing, 2015
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics.
Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015
Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms.
J. Cloud Computing, 2014
Using Isabelle/HOL to Verify First-Order Relativity Theory.
J. Autom. Reasoning, 2014
Specification, testing and verification of unconventional computations using generalized X-machines.
Int. J. General Systems, 2014
Developing a Video Steganography Toolkit.
Integration Testing of Heterotic Systems.
Towards a framework for monitoring cloud application platforms as sensor networks.
Cluster Computing, 2014
Cloud Sensor Ontology and Linked Data to Support Autonomicity in Cloud Application Platforms.
Proceedings of the Knowledge Engineering and the Semantic Web, 2014
Computation and Spacetime Structure.
Addressing self-management in cloud platforms: a semantic sensor web approach.
Proceedings of the 2013 international workshop on Hot topics in cloud services, 2013
Utilising Stream Reasoning Techniques to Create a Self-Adaptation Framework for Cloud Environments.
Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013
Guest Editor's Note: Special Issue on Hypercomputation, Physics and Computation.
Parallel Processing Letters, 2012
Membrane system models for super-Turing paradigms.
Natural Computing, 2012
Using Isabelle to verify special relativity, with application to hypercomputation theory
Computing the appearance of physical reality.
Applied Mathematics and Computation, 2012
P Systems Controlled by General Topologies.
Proceedings of the Unconventional Computation and Natural Computation, 2012
Membrane Systems and Hypercomputation.
Proceedings of the Membrane Computing, 2012
Computation and Spacetime Structure
The computational status of physics.
Natural Computing, 2009
Editorial: Future Trends in Hypercomputation.
Simulation testing of automata.
Formal Asp. Comput., 2006
The case for hypercomputation.
Applied Mathematics and Computation, 2006
Computation and Hypercomputation.
Minds and Machines, 2003
Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence.
Formal Asp. Comput., 1994
X-Machines and the Halting Problem: Building a Super-Turing Machine.
Formal Asp. Comput., 1990