Mike Stannett - RankMe

48 papers C 2Misc 1Journal 37Unranked 7

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	The Stone-Cech Compactification. Arch. Formal Proofs Mike Stannett
2023	J	`jnl`	Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs. IEEE Trans. Serv. Comput. Thomas Weripuo Gyeera, Anthony J. H. Simons, Mike Stannett
2023	J	`jnl`	No Faster-Than-Light Observers (GenRel). Arch. Formal Proofs Mike Stannett, Edward Higgins, Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2023	J	`jnl`	Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm. IEEE Trans. Big Data Thomas Weripuo Gyeera, Anthony J. H. Simons, Mike Stannett
2023	J	`jnl`	The Halting Problem is Soluble in Malament-Hogarth Spacetimes. Arch. Formal Proofs Mike Stannett
2022	J	`jnl`	Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields. Rev. Symb. Log. Judit X. Madarász, Mike Stannett, Gergely Székely
2022	J	`jnl`	Investigations of isotropy and homogeneity of spacetime in first-order logic. Ann. Pure Appl. Log. Judit X. Madarász, Mike Stannett, Gergely Székely
2021	J	`jnl`	Groups of Worldview Transformations Implied by Isotropy of Space. FLAP Judit X. Madarász, Mike Stannett, Gergely Székely
2020	C	`conf`	Experiencing the Sheffield Team Software Project: A project-based learning approach to teaching Agile. EDUCON Olakunle Olayinka, Mike Stannett
2019	J	`jnl`	Preface. Nat. Comput. Matthew J. Patitz, Mike Stannett
2018	J	`jnl`	Automatic selection of verification tools for efficient analysis of biochemical models. Bioinform. Mehmet Emin Bakir, Savas Konur, Marian Gheorghe, Natalio Krasnogor, Mike Stannett
2018	J	`jnl`	Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory. FLAP Judit X. Madarász, Gergely Székely, Mike Stannett
2017	J	`jnl`	Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. Int. J. Syst. Dyn. Appl. Tatyana Eftonova, Mariam Kiran, Mike Stannett
2017	—	`conf`	Modelling and Validating an Engineering Application in Kernel P Systems. Int. Conf. on Membrane Computing Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate
2017	J	`jnl`	Three Different Formalisations of Einstein's Relativity Principle. Rev. Symb. Log. Judit X. Madarász, Gergely Székely, Mike Stannett
2017	—	`ed.`	Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings UCNC Matthew J. Patitz, Mike Stannett
2016	—	`conf`	Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing Mehmet Emin Bakir, Marian Gheorghe, Savas Konur, Mike Stannett
2016	J	`jnl`	No Faster-Than-Light Observers. Arch. Formal Proofs Mike Stannett, István Németi
2015	—	`conf`	An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
2015	J	`jnl`	Motion and observation in a single-particle universe. Synth. Mike Stannett
2015	J	`jnl`	Spatially Localised Membrane Systems. Fundam. Informaticae Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett, György Vaszil
2015	C	`conf`	Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. MCU Mike Stannett
2014	—	`conf`	Cloud Sensor Ontology and Linked Data to Support Autonomicity in Cloud Application Platforms. KESW Rustem Dautov, Iraklis Paraskakis, Mike Stannett
2014	J	`jnl`	Developing a Video Steganography Toolkit. CoRR James Ridgway, Mike Stannett
2014	J	`jnl`	Integration Testing of Heterotic Systems. CoRR Marian Gheorghe, Mike Stannett
2014	J	`jnl`	Specification, testing and verification of unconventional computations using generalized Int. J. Gen. Syst. Mike Stannett
2014	J	`jnl`	Towards a framework for monitoring cloud application platforms as sensor networks. Clust. Comput. Rustem Dautov, Iraklis Paraskakis, Mike Stannett
2014	J	`jnl`	Using Isabelle/HOL to Verify First-Order Relativity Theory. J. Autom. Reason. Mike Stannett, István Németi
2014	J	`jnl`	Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. J. Cloud Comput. Rustem Dautov, Iraklis Paraskakis, Mike Stannett
2013	—	`conf`	Addressing self-management in cloud platforms: a semantic sensor web approach. HotTopiCS Rustem Dautov, Dimitrios Kourtesis, Iraklis Paraskakis, Mike Stannett
2013	J	`jnl`	Computation and Spacetime Structure. Int. J. Unconv. Comput. Mike Stannett
2013	Misc	`conf`	Utilising Stream Reasoning Techniques to Create a Self-Adaptation Framework for Cloud Environments. UCC Rustem Dautov, Iraklis Paraskakis, Mike Stannett
2012	J	`jnl`	Computing the appearance of physical reality. Appl. Math. Comput. Mike Stannett
2012	J	`jnl`	Foreword. Int. J. Unconv. Comput. Mike Stannett
2012	J	`jnl`	Guest Editor's Note: Special Issue on Hypercomputation, Physics and Computation. Parallel Process. Lett. Mike Stannett
2012	—	`conf`	Membrane Systems and Hypercomputation. Int. Conf. on Membrane Computing Mike Stannett
2012	J	`jnl`	Membrane system models for super-Turing paradigms. Nat. Comput. Marian Gheorghe, Mike Stannett
2012	—	`conf`	P Systems Controlled by General Topologies. UCNC Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett
2012	J	`jnl`	Using Isabelle to verify special relativity, with application to hypercomputation theory CoRR Mike Stannett, István Németi
2011	J	`jnl`	Computation and Spacetime Structure CoRR Mike Stannett
2010	J	`jnl`	Editorial. Int. J. Unconv. Comput. Mike Stannett
2009	J	`jnl`	Editorial: Future Trends in Hypercomputation. Int. J. Unconv. Comput. Mike Stannett
2009	J	`jnl`	The computational status of physics. Nat. Comput. Mike Stannett
2006	J	`jnl`	Simulation testing of automata. Formal Aspects Comput. Mike Stannett
2006	J	`jnl`	The case for hypercomputation. Appl. Math. Comput. Mike Stannett
2003	J	`jnl`	Computation and Hypercomputation. Minds Mach. Mike Stannett
1994	J	`jnl`	Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. Formal Aspects Comput. Mike Stannett
1990	J	`jnl`	X-Machines and the Halting Problem: Building a Super-Turing Machine. Formal Aspects Comput. Mike Stannett