Suivre
Mike Stannett
Mike Stannett
Senior Lecturer (Theoretical Computer Science), Sheffield University
Adresse e-mail validée de sheffield.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
X-machines and the halting problem: Building a super-Turing machine
M Stannett
Formal Aspects of Computing 2, 331-341, 1990
1081990
Are there asymmetries in UK consumption? A time series analysis
S Holly, M Stannett
Applied Economics 27 (8), 767-772, 1995
701995
Computation and hypercomputation
M Stannett
Minds and Machines 13, 115-153, 2003
562003
The case for hypercomputation
M Stannett
Applied Mathematics and Computation 178 (1), 8-24, 2006
532006
Hypercomputational models
M Stannett
Alan Turing: Life and legacy of a great thinker, 135-157, 2004
372004
Using Isabelle/HOL to verify first-order relativity theory
M Stannett, I Németi
Journal of automated reasoning 52, 361-378, 2014
35*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
292013
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
272015
Towards a framework for monitoring cloud application platforms as sensor networks
R Dautov, I Paraskakis, M Stannett
Cluster computing 17 (4), 1203-1213, 2014
202014
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
202014
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
182014
Bitcoin risk analysis
M Kiran, MP Stannett
NEMODE, 2015
172015
An Introduction to post-Newtonian and non-Turing computation
M Stannett
Tech. Report CS 91-02, Dept. of Computer Science, Sheffield University, UK, 1991
161991
P systems controlled by general topologies
E Csuhaj-Varjú, M Gheorghe, M Stannett
Unconventional Computation and Natural Computation: 11th International …, 2012
152012
Hypercomputation is experimentally irrefutable
M Stannett
Sheffield University Department of Computer Science Report TR CS-01-04, 2001
152001
Computation over arbitrary models of time
M Stannett
Technical Report CS-01-08, Dept of Computer Science, Sheffield University …, 2001
14*2001
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
132017
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
122002
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
112014
Computation and spacetime structure
M Stannett
arXiv preprint arXiv:1103.1127, 2011
112011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20