Books

  • 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. RIS download Bibtex download
  • Stannett M & Dickinson S (1990) Modular Software Design. Bromley: Chartwell-Bratt. RIS download Bibtex download

Journal articles

Chapters

  • Patitz M & Stannett M (2017) Preface (pp. V-VI). RIS download Bibtex download
  • 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 RIS download Bibtex download

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 RIS download Bibtex download
  • 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 RIS download Bibtex download
  • Cho D-J, Han Y-S & Kim H (2017) Deduplication on Finite Automata and Nested Duplication Systems.. UCNC, Vol. 10240 (pp 194-205) RIS download Bibtex download
  • Khan NA & McQuillan I (2017) Descrambling Order Analysis in Ciliates.. UCNC, Vol. 10240 (pp 206-219) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • Braun J, Cruz D & Jonoska N (2017) Platform Color Designs for Interactive Molecular Arrangements.. UCNC, Vol. 10240 (pp 69-81) RIS download Bibtex download
  • Blair EP (2017) Quantum-Dot Cellular Automata: A Clocked Architecture for High-Speed, Energy-Efficient Molecular Computing.. UCNC, Vol. 10240 (pp 56-68) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • Hendricks J & Opseth J (2017) Self-Assembly of 4-Sided Fractals in the Two-Handed Tile Assembly Model.. UCNC, Vol. 10240 (pp 113-128) RIS download Bibtex download
  • Luchsinger A, Schweller RT & Wylie T (2017) Self-assembly of Shapes at Constant Scale Using Repulsive Forces.. UCNC, Vol. 10240 (pp 82-97) RIS download Bibtex download
  • 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) RIS download Bibtex download
  • Kjos-Hanssen B (2017) Superposition as Memory: Unlocking Quantum Automatic Complexity.. UCNC, Vol. 10240 (pp 160-169) RIS download Bibtex download
  • Costa JF (2017) The Power of Analogue-Digital Machines - (Extended Abstract).. UCNC, Vol. 10240 (pp 3-7) RIS download Bibtex download
  • Lakin MR & Stefanovic D (2017) Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.. UCNC, Vol. 10240 (pp 41-55) RIS download Bibtex download
  • Fernau H, Kuppusamy L & Verlan S (2017) Universal Matrix Insertion Grammars with Small Size.. UCNC, Vol. 10240 (pp 182-193) RIS download Bibtex download
  • Schweller RT, Winslow A & Wylie T (2017) Verification in Staged Tile Self-Assembly.. UCNC, Vol. 10240 (pp 98-112) RIS download Bibtex download
  • Durand-Lose J (2017) Ways to Compute in Euclidean Frameworks.. UCNC, Vol. 10240 (pp 8-25) RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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 RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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 RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • Stannett MP (2009) Future Trends in Hypercomputation. International Journal of Unconventional Computing, Vol. 5(3-4) (pp 191-388). Sheffield, 2006. RIS download Bibtex download
  • Stannett MP (2007) Physical hypercomputation. Unconventional Computing 2007 (pp 193-215). Bristol, 12 July 2007 - 14 July 2007. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • Stannett MP (2002) Complete Behavioural Testing (two extensions to state-machine testing). FATES 2002 (pp 51-64). Brno, Czech republic, 22 August 2002. RIS download Bibtex download
  • 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 RIS download Bibtex download
  • Stannett MP (1992) Trace convergence over infinite alphabets II: Links with compactification theory. Bericht 4/92 (pp 72-81). Stuttgart RIS download Bibtex download
  • Stannett MP (1992) Trace convergence over infinite alphabets I: Metric vs Order Convergence. Bericht 4/92 (pp 46-71). Stuttgart RIS download Bibtex download
  • Stannett MP & Kwiatkowska M (1992) On Transfinite Traces. Bericht 4/92 (pp 123-157). Stuttgart RIS download Bibtex download
  • 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 RIS download Bibtex download
  • 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 RIS download Bibtex download
  • 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. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • Stannett MP () Industrial Hypercomputation. http://www.cs.york.ac.uk/nature/workshop/papers.htm. York, 18 April 2005 - 19 April 2005. RIS download Bibtex download
  • Stannett MP, Simons A, Bogdanov K & Holcombe W () Method of Object Testing, Integration and Verification. FORTEST Workshop on testing. York, 13 September 2002. RIS download Bibtex download
  • Stannett MP () An Abstract Approach to VLSI Test. IEE Digest 1991/102, Vol. 102(10) (pp 1-3) RIS download Bibtex download

Reports

  • Stannett MP & Kiran M (2015) Bitcoin Risk Analysis RIS download Bibtex download

Other

  • Stannett M & Németi I (2016) No Faster-Than-Light Observers.. Archive of Formal Proofs, 2016. RIS download Bibtex download

Theses / Dissertations

  • Stannett MP Internal Topology. University of Sheffield. RIS download Bibtex download

Edited books

Working papers

  • Stannett MP (2012) Computation and Spacetime Structure. International Journal of Unconventional Computing, In press. RIS download Bibtex download