Dr Mike Stannett

• Journal articles
• Conference proceedings papers

Journal articles

• MADARÁSZ JX, STANNETT M & SZÉKELY G (2021) Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. The Review of Symbolic Logic. View this article in WRRO
• Stannett MP (2014) Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines. International Journal of General Systems, 43(7), 713-721. View this article in WRRO
• Andréka H, Madarász JX, Németi I, Stannett MP & Székely G (2014) Faster than light motion does not imply time travel. CLASSICAL QUANT GRAV, 31(9). View this article in WRRO
• Stannett MP & Németi I (2014) Using Isabelle/HOL to Verify First-Order Relativity Theory. Journal of Automated Reasoning, 52(4), 361-378. View this article in WRRO
• Madarász JX, Stannett MP & Székely G (2014) Why Do the Relativistic Masses and Momenta of Faster-than-Light Particles Decrease as their Speeds Increase?. Symmetry, Integrability and Geometry : Methods and Applications, 10.
• Stannett M & Németi I (2013) Using Isabelle to verify special relativity, with application to hypercomputation theory.
• Dautov R, Paraskakis I, Kourtesis D & Stannett MP (2013) Addressing Self-Management in Cloud Platforms: a Semantic Sensor Web Approach. HotTopiCS '13 Proceedings of the 2013 international workshop on Hot topics in cloud services, 11-18.
• Stannett MP (2013) Computation and Spacetime Structure. International Journal of Unconventional Computing, 9(1-2), 173-184.
• Stannett M (2012) Computing the appearance of physical reality. Applied Mathematics and Computation, 219(1), 54-62.
• Csuhaj-Varjú E, Gheorghe M & Stannett M (2012) P Systems Controlled by General Topologies.. Lecture Notes in Computer Science, 7445, 70-81.
• Stannett M (2009) The computational status of physics: A computable formulation of quantum theory. Natural Computing, 8(3), 517-538.
• Stannett M (2006) The case for hypercomputation. APPL MATH COMPUT, 178(1), 8-24.
• Madarász JX, Stannett M & Székely G () Groups of Worldview Transformations Implied by Isotropy of Space. Journal of Applied Logic. View this article in WRRO

Conference proceedings papers

• Olayinka O & Stannett M (2020) Experiencing the Sheffield team software project: a project-based learning approach to teaching agile. Proceedings of 2020 IEEE Global Engineering Education Conference (EDUCON) (pp 1299-1305). Porto, Portugal, 27 April 2020 - 30 April 2020. View this article in WRRO
• Gheorghe M, Konur S, Ipate F, Mierla L, Bakir ME & Stannett M (2015) An integrated model checking toolset for kernel P systems. Membrane Computing, Vol. 9504 (pp 153-170) View this article in WRRO
• Stannett MP, Paraskakis I & Dautov R (2013) Utilising Stream Reasoning Techniques to Create a Self-Adaptation Framework for Cloud Environments. The 3rd International Workshop on Intelligent Techniques and Architectures for Autonomic Clouds (ITA. Dresden, Germany, 9 December 2013 - 12 December 2013.
• Csuhaj-Varjú E, Gheorghe M & Stannett M (2012) Using Topological Spaces to Control P Systems. Computability in Europe (CiE) 2012. Cambridge, 18 June 2012 - 23 June 2012.
• Stannett MP, Dautov R & Paraskakis I () On the Role of Stream Reasoning in Run-time Monitoring and Analysis in Autonomic Systems. http://www.seerc.org/dsc2013. Thessaloniki, Greece, 16 September 2013 - 17 September 2013.