activity
20082026
most citedUsing Isabelle to verify special relativity, with application to hypercomputation theory

14 citations · 44 across the 11 of their papers we have counts for

collaborators

11 papers

physics.gen-ph2026★ 1 cited

Groups of Worldview Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields

Judit Madarász, Mike Stannett, Gergely Székely

In 1978, Yu. F. Borisov presented an axiom system using a few basic assumptions and four explicit axioms, the fourth being a formulation of the relativity principle; and he demonst…

math-ph2020★ 2 cited

Groups of Worldview Transformations Implied by Isotropy of Space

Judit X. Madarász, Mike Stannett, Gergely Székely

Given any Euclidean ordered field, , and any 'reasonable' group, , of (1+3)-dimensional spacetime symmetries, we show how to construct a model of kinematics for which…

physics.class-ph2017★ 3 cited

Three Different Formalisations of Einstein's Relativity Principle

Judit X. Madarász, Gergely Székely, Mike Stannett

We present three natural but distinct formalisations of Einstein's special principle of relativity, and demonstrate the relationships between them. In particular, we prove that the…

cs.MM2014★ 2 cited

Developing a Video Steganography Toolkit

James Ridgway, Mike Stannett

Although techniques for separate image and audio steganography are widely known, relatively little has been described concerning the hiding of information within video streams ("vi…

cs.ET2014

Integration Testing of Heterotic Systems

Marian Gheorghe, Mike Stannett

Computational theory and practice generally focus on single-paradigm systems, but relatively little is known about how best to combine components based on radically different appro…

gr-qc2014★ 9 cited

Faster than light motion does not imply time travel

H. Andréka, J. X. Madarász, I. Németi +2

Seeing the many examples in the literature of causality violations based on faster-than- light (FTL) signals one naturally thinks that FTL motion leads inevitably to the possibilit…