Mike Stannett

Available identifiers

zbMath Open stannett.mikeDBLP45/4040WikidataQ56453205 ScholiaQ56453205MaRDI QIDQ514564

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5039113	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5869542	2022-09-28	Paper
Investigations of isotropy and homogeneity of spacetime in first-order logic	2022-08-02	Paper
GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS	2022-05-25	Paper
Groups of Worldview Transformations Implied by Isotropy of Space	2020-07-28	Paper
Modelling and validating an engineering application in kernel P systems	2018-05-16	Paper
THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE	2017-09-15	Paper
Comparative Analysis of Statistical Model Checking Tools	2017-04-12	Paper
Motion and observation in a single-particle universe	2017-03-09	Paper
Membrane system models for super-Turing paradigms	2016-07-08	Paper
Spatially localised membrane systems	2016-05-11	Paper
An Integrated Model Checking Toolset for Kernel P Systems	2016-02-26	Paper
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics	2015-09-15	Paper
Using Isabelle/HOL to verify first-order relativity theory	2015-06-23	Paper
Specification, testing and verification of unconventional computations using generalizedX-machines	2014-11-19	Paper
On the Possibility and Consequences of Negative Mass	2014-07-22	Paper
Computing the appearance of physical reality	2014-06-27	Paper
Faster than light motion does not imply time travel	2014-06-19	Paper
Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?	2014-04-29	Paper
Membrane Systems and Hypercomputation	2013-04-16	Paper
P Systems Controlled by General Topologies	2012-11-08	Paper
The computational status of physics	2009-10-19	Paper
Simulation testing of automata	2006-10-25	Paper
The case for hypercomputation	2006-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4805387	2003-05-14	Paper
Infinite concurrent systems. I: The relationship between metric and order convergence	1995-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q3831698	1990-01-01	Paper
X-machines and the halting problem: Building a super-turing machine	1990-01-01	Paper

Research outcomes over time

This page was built for person: Mike Stannett