Mike Stannett

According to our database1, Mike Stannett authored at least 36 papers between 1990 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Automatic selection of verification tools for efficient analysis of biochemical models.
Bioinformatics, 2018

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.
IJSDA, 2017

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.
Synthese, 2015

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.
CoRR, 2014

Integration Testing of Heterotic Systems.
CoRR, 2014

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.
IJUC, 2013

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

IJUC, 2012

Using Isabelle to verify special relativity, with application to hypercomputation theory
CoRR, 2012

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
CoRR, 2011

IJUC, 2010

The computational status of physics.
Natural Computing, 2009

Editorial: Future Trends in Hypercomputation.
IJUC, 2009

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