| X-machines and the halting problem: Building a super-Turing machine M Stannett Formal Aspects of Computing 2, 331-341, 1990 | 101 | 1990 |
| Are there asymmetries in UK consumption? A time series analysis S Holly, M Stannett Applied Economics 27 (8), 767-772, 1995 | 67 | 1995 |
| Computation and hypercomputation M Stannett Minds and machines 13, 115-153, 2003 | 55 | 2003 |
| The case for hypercomputation M Stannett Applied Mathematics and Computation 178 (1), 8-24, 2006 | 52 | 2006 |
| Hypercomputational models M Stannett Alan Turing: Life and legacy of a great thinker, 135-157, 2004 | 37 | 2004 |
| Using Isabelle/HOL to verify first-order relativity theory M Stannett, I Németi Journal of automated reasoning 52, 361-378, 2014 | 30* | 2014 |
| Addressing self-management in cloud platforms: a semantic sensor web approach R Dautov, D Kourtesis, I Paraskakis, M Stannett Proceedings of the 2013 international workshop on Hot topics in cloud …, 2013 | 29 | 2013 |
| Bitcoin risk analysis M Kiran, M Stanett NEMODE Policy Paper, 1-28, 2015 | 26 | 2015 |
| An integrated model checking toolset for kernel P systems M Gheorghe, S Konur, F Ipate, L Mierla, ME Bakir, M Stannett Membrane Computing: 16th International Conference, CMC 2015, Valencia, Spain …, 2015 | 24 | 2015 |
| Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms R Dautov, I Paraskakis, M Stannett Journal of Cloud Computing 3, 1-12, 2014 | 20 | 2014 |
| Towards a framework for monitoring cloud application platforms as sensor networks R Dautov, I Paraskakis, M Stannett Cluster computing 17 (4), 1203-1213, 2014 | 19 | 2014 |
| Faster than light motion does not imply time travel H Andréka, JX Madarász, I Németi, M Stannett, G Székely Classical and Quantum Gravity 31 (9), 095005, 2014 | 17 | 2014 |
| P systems controlled by general topologies E Csuhaj-Varjú, M Gheorghe, M Stannett Unconventional Computation and Natural Computation: 11th International …, 2012 | 15 | 2012 |
| Hypercomputation is experimentally irrefutable M Stannett Sheffield University Department of Computer Science Report TR CS-01-04, 2001 | 15 | 2001 |
| An Introduction to post-Newtonian and non-Turing computation M Stannett Tech. Report CS 91-02, Dept. of Computer Science, Sheffield University, UK, 1991 | 15 | 1991 |
| Computation over arbitrary models of time M Stannett Technical Report CS-01-08, Dept of Computer Science, Sheffield University …, 2001 | 14* | 2001 |
| WML: Plug and play safely: Rules for behavioural compatibility AJH Simons, MP Stannett, KE Bogdanov, WML Holcombe In: Proc. 6th IASTED Int. Conf. Software Engineering and Applications, 2002 | 12 | 2002 |
| Comparative analysis of statistical model checking tools ME Bakir, M Gheorghe, S Konur, M Stannett Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy …, 2017 | 11 | 2017 |
| Computation and spacetime structure M Stannett arXiv preprint arXiv:1103.1127, 2011 | 11 | 2011 |
| Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase? JX Madarász, M Stannett, G Székely SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 10, 005, 2014 | 9 | 2014 |
Marian GheorgheUniversity of BradfordVerified email at bradford.ac.uk
