Mike Stannett

From MaRDI portal
Person:514564

Available identifiers

zbMath Open stannett.mikeDBLP45/4040WikidataQ56453205 ScholiaQ56453205MaRDI QIDQ514564

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50391132022-10-12Paper
https://portal.mardi4nfdi.de/entity/Q58695422022-09-28Paper
Investigations of isotropy and homogeneity of spacetime in first-order logic2022-08-02Paper
GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS2022-05-25Paper
Groups of Worldview Transformations Implied by Isotropy of Space2020-07-28Paper
Modelling and validating an engineering application in kernel P systems2018-05-16Paper
THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE2017-09-15Paper
Comparative Analysis of Statistical Model Checking Tools2017-04-12Paper
Motion and observation in a single-particle universe2017-03-09Paper
Membrane system models for super-Turing paradigms2016-07-08Paper
Spatially localised membrane systems2016-05-11Paper
An Integrated Model Checking Toolset for Kernel P Systems2016-02-26Paper
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics2015-09-15Paper
Using Isabelle/HOL to verify first-order relativity theory2015-06-23Paper
Specification, testing and verification of unconventional computations using generalizedX-machines2014-11-19Paper
On the Possibility and Consequences of Negative Mass2014-07-22Paper
Computing the appearance of physical reality2014-06-27Paper
Faster than light motion does not imply time travel2014-06-19Paper
Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?2014-04-29Paper
Membrane Systems and Hypercomputation2013-04-16Paper
P Systems Controlled by General Topologies2012-11-08Paper
The computational status of physics2009-10-19Paper
Simulation testing of automata2006-10-25Paper
The case for hypercomputation2006-08-04Paper
https://portal.mardi4nfdi.de/entity/Q48053872003-05-14Paper
Infinite concurrent systems. I: The relationship between metric and order convergence1995-04-06Paper
https://portal.mardi4nfdi.de/entity/Q38316981990-01-01Paper
X-machines and the halting problem: Building a super-turing machine1990-01-01Paper

Research outcomes over time

This page was built for person: Mike Stannett