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
X-machines and the halting problem: Building a super-turing machine	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3831698	1990-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mike Stannett