# Mike Stannett

According to our database

Collaborative distances:

^{1}, Mike Stannett authored at least 36 papers between 1990 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Automatic selection of verification tools for efficient analysis of biochemical models.

Bioinformatics, 2018

2017

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

2016

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

2015

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

2014

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

2013

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

2012

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

Foreword.

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

2011

Computation and Spacetime Structure

CoRR, 2011

2010

Editorial.

IJUC, 2010

2009

The computational status of physics.

Natural Computing, 2009

Editorial: Future Trends in Hypercomputation.

IJUC, 2009

2006

Simulation testing of automata.

Formal Asp. Comput., 2006

The case for hypercomputation.

Applied Mathematics and Computation, 2006

2003

Computation and Hypercomputation.

Minds and Machines, 2003

1994

Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence.

Formal Asp. Comput., 1994

1990

X-Machines and the Halting Problem: Building a Super-Turing Machine.

Formal Asp. Comput., 1990