91ֱ��

• Journal articles
• Conference proceedings papers

Journal articles

• MADARÁSZ JX, STANNETT M & SZÉKELY G (2021) . The Review of Symbolic Logic.
• Stannett MP (2014) . International Journal of General Systems, 43(7), 713-721.
• Andréka H, Madarász JX, Németi I, Stannett MP & Székely G (2014) . CLASSICAL QUANT GRAV, 31(9).
• Stannett MP & Németi I (2014) . Journal of Automated Reasoning, 52(4), 361-378.
• Madarász JX, Stannett MP & Székely G (2014) . 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) . 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) . Applied Mathematics and Computation, 219(1), 54-62.
• Csuhaj-Varjú E, Gheorghe M & Stannett M (2012) . Lecture Notes in Computer Science, 7445, 70-81.
• Stannett M (2009) . Natural Computing, 8(3), 517-538.
• Stannett M (2006) . 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.

Conference proceedings papers

• Olayinka O & Stannett M (2020) . Proceedings of 2020 IEEE Global Engineering Education Conference (EDUCON) (pp 1299-1305). Porto, Portugal, 27 April 2020 - 30 April 2020.
• Gheorghe M, Konur S, Ipate F, Mierla L, Bakir ME & Stannett M (2015) . Membrane Computing, Vol. 9504 (pp 153-170)
• 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.