Mike Stannett

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

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

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

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

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

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


  Loading...