Stannett MP (2011)
The Proceedings of the Satellite Workshops of UC 2011 (Unconventional Computing 2011): Part 1 - 4th International Workshop on Physics and Computation & 3rd International Hypercomputation Workshop.. Turku, Finland: Turku Centre for Computer Science.
Stannett M & Dickinson S (1990) Modular Software Design. Bromley: Chartwell-Bratt.
Bakir ME, Konur S, Gheorghe M, Krasnogor N & Stannett M (2018)
Automatic Selection of Verification Tools for Efficient Analysis of Biochemical Models.. Bioinformatics. View this article in WRRO
Madarász JX, Stannett MP & Székely G (2018) Does negative mass imply superluminal motion? An investigation in axiomatic relativity theory.
Journal of Applied Logics. View this article in WRRO
Madarász JX, Székely G & Stannett MP (2017)
Three Different Formalisations of Einstein’s Relativity Principle. Review of Symbolic Logic, 10(3), 530-548. View this article in WRRO
Eftonova T, Kiran M & Stannett M (2017)
Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. International Journal of System Dynamics Applications, 6(1), 1-20. View this article in WRRO
Stannett MP & Gheorghe M (2015)
Integration Testing of Heterotic Systems. PHILOS T R SOC A, 373(2046). View this article in WRRO
Stannett MP (2015)
Motion and observation in a single-particle universe. Synthese, 192(7), 2261-2271. View this article in WRRO
Csuhaj-Varjú E, Gheorghe M, Stannett M & Vaszil G (2015)
Spatially Localised Membrane Systems. Fundamenta Informaticae, 138(1-2), 193-205.
Dautov R, Paraskakis I & Stannett M (2014)
Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. Journal of Cloud Computing, 3(1).
Dautov R, Paraskakis I & Stannett MP (2014)
Towards a framework for monitoring cloud application platforms as sensor networks. Cluster Computing, 17(4), 1203-1213. View this article in WRRO
Stannett MP, Paraskakis I & Dautov R (2014) Utilising Stream Reasoning Techniques to Underpin a Self-Adaptation Framework for Cloud Environments.
Journal of Cloud Computing: Advances, Systems and Applications.
Stannett MP (2014)
Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines. International Journal of General Systems, 43(7), 713-721. View this article in WRRO
Andréka H, Madarász JX, Németi I, Stannett MP & Székely G (2014)
Faster than light motion does not imply time travel. CLASSICAL QUANT GRAV, 31(9). View this article in WRRO
Stannett MP & Németi I (2014)
Using Isabelle/HOL to Verify First-Order Relativity Theory. Journal of Automated Reasoning, 52(4), 361-378. View this article in WRRO
Madarász JX, Stannett MP & Székely G (2014)
Why Do the Relativistic Masses and Momenta of Faster-than-Light Particles Decrease as their Speeds Increase?. Symmetry, Integrability and Geometry : Methods and Applications, 10.
Dautov R, Paraskakis I & Stannett M (2014) Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms..
J. Cloud Computing, 3, 13-13.
Dautov R, Paraskakis I, Kourtesis D & Stannett MP (2013)
Addressing Self-Management in Cloud Platforms: a Semantic Sensor Web Approach. 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)
Computing the appearance of physical reality. Applied Mathematics and Computation, 219(1), 54-62.
Stannett MP & Gheorghe M (2012)
Membrane system models for super-Turing paradigms. Natural Computing, 11(2), 253-259.
Csuhaj-Varjú E, Gheorghe M & Stannett M (2012)
P Systems Controlled by General Topologies.. Lecture Notes in Computer Science, 7445, 70-81.
Stannett M (2012)
Guest editor's note: Special issue on hypercomputation, physics and computation. Parallel Processing Letters, 22(3).
Stannett M (2010) Editorial: 8th International Conference on Unconventional Computation Hypercomputation Workshop.
INT J UNCONV COMPUT, 6(5), 327.
Stannett M (2009)
The computational status of physics: A computable formulation of quantum theory. Natural Computing, 8(3), 517-538.
Stannett M (2009) Editorial: Future Trends in Hypercomputation.
INT J UNCONV COMPUT, 5(3-4), 191-192.
Stannett M (2006)
The case for hypercomputation. APPL MATH COMPUT, 178(1), 8-24.
Stannett M (2006)
Simulation testing of automata. FORM ASP COMPUT, 18(1), 31-41.
Stannett MP (2004) X-machines - correctness via testing.
FACS Facts Mewsletter, 2004-02, 32-38.
Stannett M (2003) Computation and hypercomputation.
MIND MACH, 13(1), 115-153.
HOLLY S & STANNETT M (1995) ARE THERE ASYMMETRIES IN UK CONSUMPTION - A TIME-SERIES ANALYSIS.
APPL ECON, 27(8), 767-772.
Stannett M (1994) Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence..
FORM ASP COMPUT, 6, 696-715.
Stannett MP (1993) Chaotic Programming Semantics.
FACS Europe, 1(1).
Stannett MP (1992) Codes.
Mathematical Spectrum, 25.
Stannett MP (1992) Abdications and Resignations in CSP.
WoTUG Newsletter, 16, 42-43.
Stannett MP (1991) Review of 'M. Sharples et al, Computers and Thought: A Practical Introduction to Artificial Intelligence, MIT Press (1989)'.
AISB Quarterly, 76.
Stannett MP (1991) Review of 'M. M. Coban & H. Attia, On the dimension of remainders of extensions of normal spaces. Topology and its Applications 6 (1990) 97-109'.
Stannett MP (1990) Implications of "X-machines and the Halting Problem: Building a super-Turing machine" for Computational AI.
AISB Quarterly, 74.
Stannett M (1990)
X-Machines and the Halting Problem: Building a Super-Turing Machine.. FORM ASP COMPUT, 2, 331-341.
STANNETT M (1990) THE G-COMPACTIFICATIONS OF A LOCALLY COMPACT HAUSDORFF SPACE.
P ROY IRISH ACAD A, 90(1), 11-18.
STANNETT MP (1988) REPRESENTATIONS OF SPACES AS FUNCTION-SPACES.
GLASGOW MATH J, 30, 189-193.
STANNETT MP (1988) THE STONE-CECH COMPACTIFICATION OF THE RATIONAL WORLD.
GLASGOW MATH J, 30, 181-188.
Stannett MP (1987) Comment on Sternberg's Questioning and Intelligence.
Questioning Exchange, 1, 227.
Stannett MP (1987) An organisational approach to decision-making in command systems.
International Journal of Command and Control, Communications and Information Systems, 1, 23-34.
Stannett M & Németi I () Using Isabelle to verify special relativity, with application to
hypercomputation theory. Journal of Automated Reasoning, 52, 4.
Patitz M & Stannett M (2017) Preface (pp. V-VI).
Stannett MP (2004) Hypercomputational Models In Teuscher C & Hofstadter D (Ed.), Alan Turing: Life and Legacy of a Great Thinker (pp. 135-158). Springer Verlag
Conference proceedings papers
Lefticaru R, Bakir ME, Konur S, Stannett M & Ipate F (2018)
Modelling and validating an engineering application in kernel P systems. Membrane Computing. CMC 2017, Vol. 10725 (pp 183-195), 25 July 2017 - 28 July 2017. View this article in WRRO
Bakir ME, Gheorghe M, Konur S & Stannett MP (2017)
Comparative Analysis of Statistical Model Checking Tools. Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers, Vol. 10105 (pp 119-135), 25 July 2016 - 29 July 2016. View this article in WRRO
Cho D-J, Han Y-S & Kim H (2017) Deduplication on Finite Automata and Nested Duplication Systems..
UCNC, Vol. 10240 (pp 194-205)
Khan NA & McQuillan I (2017) Descrambling Order Analysis in Ciliates..
UCNC, Vol. 10240 (pp 206-219)
Sosík P, Smolka V, Drastík J, Moore T & Garzon MH (2017) Morphogenetic and Homeostatic Self-assembled Systems..
UCNC, Vol. 10240 (pp 144-159)
Braun J, Cruz D & Jonoska N (2017) Platform Color Designs for Interactive Molecular Arrangements..
UCNC, Vol. 10240 (pp 69-81)
Blair EP (2017) Quantum-Dot Cellular Automata: A Clocked Architecture for High-Speed, Energy-Efficient Molecular Computing..
UCNC, Vol. 10240 (pp 56-68)
Huang X, Klinge TH, Lathrop JI, Li X & Lutz JH (2017) Real-Time Computability of Real Numbers by Chemical Reaction Networks..
UCNC, Vol. 10240 (pp 29-40)
Deaton RJ, Yasmin R, Moore T & Garzon MH (2017) Self-assembled DC Resistive Circuits with Self-controlled Voltage-Based Growth..
UCNC, Vol. 10240 (pp 129-143)
Hendricks J & Opseth J (2017) Self-Assembly of 4-Sided Fractals in the Two-Handed Tile Assembly Model..
UCNC, Vol. 10240 (pp 113-128)
Luchsinger A, Schweller RT & Wylie T (2017) Self-assembly of Shapes at Constant Scale Using Repulsive Forces..
UCNC, Vol. 10240 (pp 82-97)
Christinal HA, John RR, Chandy DA & Gutiérrez-Naranjo MA (2017) Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division..
UCNC, Vol. 10240 (pp 170-181)
Kjos-Hanssen B (2017) Superposition as Memory: Unlocking Quantum Automatic Complexity..
UCNC, Vol. 10240 (pp 160-169)
Costa JF (2017) The Power of Analogue-Digital Machines - (Extended Abstract)..
UCNC, Vol. 10240 (pp 3-7)
Lakin MR & Stefanovic D (2017) Towards Temporal Logic Computation Using DNA Strand Displacement Reactions..
UCNC, Vol. 10240 (pp 41-55)
Fernau H, Kuppusamy L & Verlan S (2017) Universal Matrix Insertion Grammars with Small Size..
UCNC, Vol. 10240 (pp 182-193)
Schweller RT, Winslow A & Wylie T (2017) Verification in Staged Tile Self-Assembly..
UCNC, Vol. 10240 (pp 98-112)
Durand-Lose J (2017) Ways to Compute in Euclidean Frameworks..
UCNC, Vol. 10240 (pp 8-25)
bakir ME & Stannett MP (2016) Selection Criteria for Statistical Model Checking.
Proc WMC 2016 (pp 55-57). Bradford University, 11 July 2016 - 15 July 2016.
Gheorghe M, Konur S, Ipate F, Mierla L, Bakir ME & Stannett M (2015)
An integrated model checking toolset for kernel P systems. Membrane Computing, Vol. 9504 (pp 153-170) View this article in WRRO
Kurdi OA, Romano DM & Stannett MP (2015) Modeling and Simulation of Tawaf and Sa'yee: A Survey of Recent Work in the Field.
Eurosis ESM 2015. Leicester, United Kingdom, 26 October 2015 - 28 October 2015.
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.
Stannett MP (2013) Hypercomputation, Physics and Computation.
Isaac Newton Institute SAS Satellite Workshop “The Incomputable”. (pp 273). Kavli Royal Society International Centre, Chicheley Hall, 12 June 2012 - 15 June 2012.
Stannett M (2012)
Membrane systems and hypercomputation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7762 LNCS (pp 78-87) View this article in WRRO
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 (2012) Computing via Physical Theories.
http://www.cs.kent.ac.uk/people/staff/sjt/TuringsLegacy/. Kent, UK, 16 April 2012 - 19 April 2012.
Stannett MP (2010) International Workshop of the Hypercomputation Research Network (HyperNet 10).
Int. Journ. of Unconventional Computing, Vol. 8(1) (pp 1-106). Tokyo, 21 June 2010 - 25 June 2010.
Stannett MP (2010) 8th International Conference on Unconventional Computation Hypercomputation Workshop.
International Journal of Unconventional Computing, Vol. 6(5) (pp 327-450). Ponta Delgada, Azores, Portugal, 7 September 2009 - 11 September 2009.
Stannett MP (2009) Future Trends in Hypercomputation.
International Journal of Unconventional Computing, Vol. 5(3-4) (pp 191-388). Sheffield, 2006.
Stannett MP (2007) Physical hypercomputation.
Unconventional Computing 2007 (pp 193-215). Bristol, 12 July 2007 - 14 July 2007.
Stannett MP (2004) Can Theory be made more attractive?.
http://external.cis.strath.ac.uk/educ_grand_challenges/programme.html. Newcastle, 29 March 2004 - 31 March 2004.
Stannett MP (2002) Complete Behavioural Testing (two extensions to state-machine testing).
FATES 2002 (pp 51-64). Brno, Czech republic, 22 August 2002.
Stannett MP, Simons A, Bogdanov K & Holcombe W (2002) Plug and Play Safely: Rules for Behavioural Compatibility.
IASTED SEA 2002 (pp 263-268). Cambridge, MA
Stannett MP (1992) Trace convergence over infinite alphabets II: Links with compactification theory.
Bericht 4/92 (pp 72-81). Stuttgart
Stannett MP (1992) Trace convergence over infinite alphabets I: Metric vs Order Convergence.
Bericht 4/92 (pp 46-71). Stuttgart
Stannett MP & Kwiatkowska M (1992) On Transfinite Traces.
Bericht 4/92 (pp 123-157). Stuttgart
Stannett MP, Holcombe W & Rathore S (1989) Very High Level Functional Testing of VLSI - Preliminary Results.
Fourth Technical Workshop on New Directions for IC Testing. Vancouver University
Dautov R, Paraskakis I & Stannett MP () A monitoring and analysis framework to support self-management in cloud application platforms.
USES Proc., Vol. 2. Sheffield, UK, 24 June 2015 - 24 June 2015. View this article in WRRO
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.
Stannett MP, Thomson C, Cowling AJC, Corbett A & Holcombe WML () The Crossover Project.
Learning Through Enquiry Alliance (LTEA). Sheffield, 25 June 2008 - 27 June 2008.
Stannett MP () Industrial Hypercomputation.
http://www.cs.york.ac.uk/nature/workshop/papers.htm. York, 18 April 2005 - 19 April 2005.
Stannett MP, Simons A, Bogdanov K & Holcombe W () Method of Object Testing, Integration and Verification.
FORTEST Workshop on testing. York, 13 September 2002.
Stannett MP () An Abstract Approach to VLSI Test. IEE Digest 1991/102, Vol. 102(10) (pp 1-3)
Stannett MP & Kiran M (2015) Bitcoin Risk Analysis
Stannett M & Németi I (2016) No Faster-Than-Light Observers.. Archive of Formal Proofs, 2016.
Theses / Dissertations
Stannett MP Internal Topology. University of Sheffield.
Stannett MP (2012) Computation and Spacetime Structure. International Journal of Unconventional Computing, In press.