Items where authors include "Stannett, M.P."

Article

Gyeera, T.W., Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2023) Kalman filter based prediction and forecasting of cloud server KPIs. IEEE Transactions on Services Computing, 16 (4). pp. 2742-2754. ISSN 1939-1374

Madarász, J.X., Székely, G. and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2018) Does negative mass imply superluminal motion? An investigation in axiomatic relativity theory. Journal of Applied Logics, 5 (4). pp. 907-926.

Madarász, J.X., Székely, G. and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2017) Three Different Formalisations of Einstein’s Relativity Principle. Review of Symbolic Logic, 10 (3). pp. 530-548. ISSN 1755-0203

Stannett, M.P. (2015) Motion and observation in a single-particle universe. Synthese, 192 (7). 2261 - 2271 . ISSN 0039-7857

Stannett, M.P. orcid.org/0000-0002-2794-8614 (2014) Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines. International Journal of General Systems, 43 (7). pp. 713-721. ISSN 0308-1079

Stannett, M.P. orcid.org/0000-0002-2794-8614, Andréka, H., Madarász, J.X. et al. (2 more authors) (2014) Faster than light motion does not imply time travel. Classical and Quantum Gravity, 31 (9). 095005. ISSN 0264-9381

Stannett, M.P. orcid.org/0000-0002-2794-8614 and Németi, I. (2013) Using Isabelle/HOL to verify first-order relativity theory. Journal of Automated Reasoning, 52. pp. 361-378. ISSN 0168-7433

Stannett, M.P. orcid.org/0000-0002-2794-8614 (1992) Codes (Dpeft!). Mathematical Spectrum, 24 (3). pp. 65-70. ISSN 0025-5653

Monograph

Kiran, M. and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2015) Bitcoin Risk Analysis. Report. NEMODE

Conference or Workshop Item

Kurdi, O.A., Stannett, M.P. and Romano, D.M. (2015) Modeling and Simulation of Tawaf and Sa'yee: A Survey of Recent Work in the Field. In: 29th ESM'2015, 26-28 Oct 2015, Leicester, UK.

Proceedings Paper

Bakir, M.E. orcid.org/0000-0002-3012-8713, Gheorghe, M., Konur, S. et al. (1 more author) (2017) Comparative Analysis of Statistical Model Checking Tools. In: Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers. 17th International Conference on Membrane Computing (CMC17), 25/07/2016-29/07/2016, Milan, Italy. Lecture Notes in Computer Science, 10105 . Springer Verlag . ISBN 978-3-319-54071-9

Bakir, M.E. orcid.org/0000-0002-3012-8713 and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2016) Selection Criteria for Statistical Model Checking. In: Proceedings of the Workshop on Membrane Computing, WMC 2016. Workshop on Membrane Computing, WMC 2016, 11-15 Jul 2016, Manchester, UK. , Bradford University , pp. 55-57.

Stannett, M.P. orcid.org/0000-0002-2794-8614 (2015) Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. In: Durand-Lose, J. and Nagy, B., (eds.) Machines, Computations, and Universality. Machines, Computations and Universality 2015, 09-11 Sep 2015, Famagusta, North Cyprus. Lecture Notes in Computer Science, 9288 . Springer Verlag (Germany) .

Simons, A.J.H. orcid.org/0000-0002-5925-7148, Stannett, M.P. orcid.org/0000-0002-2794-8614, Bogdanov, K.E. et al. (1 more author) (2002) Plug and play safely: Rules for behavioural compatibility. In: Hamza, M.H., (ed.) Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002. 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), 04-06 Nov 2002, Cambridge, MA, USA. Acta Press , pp. 263-268. ISBN 9780889863231