![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Mike Stannett
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j33]Mike Stannett:
The Stone-Cech Compactification. Arch. Formal Proofs 2024 (2024) - 2023
- [j32]Mike Stannett:
The Halting Problem is Soluble in Malament-Hogarth Spacetimes. Arch. Formal Proofs 2023 (2023) - [j31]Mike Stannett, Edward Higgins, Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely:
No Faster-Than-Light Observers (GenRel). Arch. Formal Proofs 2023 (2023) - [j30]Thomas Weripuo Gyeera
, Anthony J. H. Simons
, Mike Stannett
:
Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm. IEEE Trans. Big Data 9(4): 1071-1085 (2023) - [j29]Thomas Weripuo Gyeera
, Anthony J. H. Simons
, Mike Stannett
:
Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs. IEEE Trans. Serv. Comput. 16(4): 2742-2754 (2023) - 2022
- [j28]Judit X. Madarász, Mike Stannett
, Gergely Székely:
Investigations of isotropy and homogeneity of spacetime in first-order logic. Ann. Pure Appl. Log. 173(9): 103153 (2022) - [j27]Judit X. Madarász, Mike Stannett
, Gergely Székely:
Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields. Rev. Symb. Log. 15(2): 334-361 (2022) - 2021
- [j26]Judit X. Madarász, Mike Stannett, Gergely Székely:
Groups of Worldview Transformations Implied by Isotropy of Space. FLAP 8(3): 809-876 (2021) - 2020
- [c10]Olakunle Olayinka, Mike Stannett
:
Experiencing the Sheffield Team Software Project: A project-based learning approach to teaching Agile. EDUCON 2020: 1299-1305
2010 – 2019
- 2019
- [j25]Matthew J. Patitz
, Mike Stannett
:
Preface. Nat. Comput. 18(1): 61-62 (2019) - 2018
- [j24]Mehmet Emin Bakir, Savas Konur, Marian Gheorghe
, Natalio Krasnogor, Mike Stannett
:
Automatic selection of verification tools for efficient analysis of biochemical models. Bioinform. 34(18): 3187-3195 (2018) - [j23]Judit X. Madarász, Gergely Székely, Mike Stannett:
Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory. FLAP 5(4): 907-926 (2018) - 2017
- [j22]Tatyana Eftonova, Mariam Kiran, Mike Stannett
:
Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. Int. J. Syst. Dyn. Appl. 6(1): 1-20 (2017) - [j21]Judit X. Madarász, Gergely Székely
, Mike Stannett
:
Three Different Formalisations of Einstein's Relativity Principle. Rev. Symb. Log. 10(3): 530-548 (2017) - [c9]Raluca Lefticaru
, Mehmet Emin Bakir, Savas Konur, Mike Stannett
, Florentin Ipate:
Modelling and Validating an Engineering Application in Kernel P Systems. Int. Conf. on Membrane Computing 2017: 183-195 - [e1]Matthew J. Patitz
, Mike Stannett
:
Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings. Lecture Notes in Computer Science 10240, Springer 2017, ISBN 978-3-319-58186-6 [contents] - 2016
- [j20]Mike Stannett, István Németi:
No Faster-Than-Light Observers. Arch. Formal Proofs 2016 (2016) - [c8]Mehmet Emin Bakir, Marian Gheorghe
, Savas Konur, Mike Stannett
:
Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing 2016: 119-135 - 2015
- [j19]Erzsébet Csuhaj-Varjú, Marian Gheorghe
, Mike Stannett
, György Vaszil:
Spatially Localised Membrane Systems. Fundam. Informaticae 138(1-2): 193-205 (2015) - [j18]Mike Stannett
:
Motion and observation in a single-particle universe. Synth. 192(7): 2261-2271 (2015) - [c7]Mike Stannett
:
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. MCU 2015: 17-27 - [c6]Marian Gheorghe
, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
:
An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing 2015: 153-170 - 2014
- [j17]Rustem Dautov, Iraklis Paraskakis
, Mike Stannett
:
Towards a framework for monitoring cloud application platforms as sensor networks. Clust. Comput. 17(4): 1203-1213 (2014) - [j16]Mike Stannett
:
Specification, testing and verification of unconventional computations using generalized X-machines. Int. J. Gen. Syst. 43(7): 713-721 (2014) - [j15]Mike Stannett
, István Németi:
Using Isabelle/HOL to Verify First-Order Relativity Theory. J. Autom. Reason. 52(4): 361-378 (2014) - [j14]Rustem Dautov, Iraklis Paraskakis
, Mike Stannett
:
Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. J. Cloud Comput. 3: 13 (2014) - [c5]Rustem Dautov, Iraklis Paraskakis
, Mike Stannett
:
Cloud Sensor Ontology and Linked Data to Support Autonomicity in Cloud Application Platforms. KESW 2014: 29-43 - [i4]Marian Gheorghe, Mike Stannett
:
Integration Testing of Heterotic Systems. CoRR abs/1408.2674 (2014) - [i3]James Ridgway, Mike Stannett
:
Developing a Video Steganography Toolkit. CoRR abs/1409.4883 (2014) - 2013
- [j13]Mike Stannett:
Computation and Spacetime Structure. Int. J. Unconv. Comput. 9(1-2): 173-184 (2013) - [c4]Rustem Dautov, Iraklis Paraskakis
, Mike Stannett
:
Utilising Stream Reasoning Techniques to Create a Self-Adaptation Framework for Cloud Environments. UCC 2013: 375-380 - [c3]Rustem Dautov, Dimitrios Kourtesis, Iraklis Paraskakis
, Mike Stannett
:
Addressing self-management in cloud platforms: a semantic sensor web approach. HotTopiCS 2013: 11-18 - 2012
- [j12]Mike Stannett
:
Computing the appearance of physical reality. Appl. Math. Comput. 219(1): 54-62 (2012) - [j11]Mike Stannett:
Foreword. Int. J. Unconv. Comput. 8(1): 1 (2012) - [j10]Marian Gheorghe
, Mike Stannett
:
Membrane system models for super-Turing paradigms. Nat. Comput. 11(2): 253-259 (2012) - [j9]Mike Stannett
:
Guest Editor's Note: Special Issue on Hypercomputation, Physics and Computation. Parallel Process. Lett. 22(3) (2012) - [c2]Mike Stannett
:
Membrane Systems and Hypercomputation. Int. Conf. on Membrane Computing 2012: 78-87 - [c1]Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett
:
P Systems Controlled by General Topologies. UCNC 2012: 70-81 - [i2]Mike Stannett
, István Németi:
Using Isabelle to verify special relativity, with application to hypercomputation theory. CoRR abs/1211.6468 (2012) - 2011
- [i1]Mike Stannett
:
Computation and Spacetime Structure. CoRR abs/1103.1127 (2011) - 2010
- [j8]Mike Stannett:
Editorial. Int. J. Unconv. Comput. 6(5): 327 (2010)
2000 – 2009
- 2009
- [j7]Mike Stannett:
Editorial: Future Trends in Hypercomputation. Int. J. Unconv. Comput. 5(3-4): 191-192 (2009) - [j6]Mike Stannett
:
The computational status of physics. Nat. Comput. 8(3): 517-538 (2009) - 2006
- [j5]Mike Stannett
:
The case for hypercomputation. Appl. Math. Comput. 178(1): 8-24 (2006) - [j4]Mike Stannett
:
Simulation testing of automata. Formal Aspects Comput. 18(1): 31-41 (2006) - 2003
- [j3]Mike Stannett
:
Computation and Hypercomputation. Minds Mach. 13(1): 115-153 (2003)
1990 – 1999
- 1994
- [j2]Mike Stannett
:
Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. Formal Aspects Comput. 6(6): 696-715 (1994) - 1990
- [j1]Mike Stannett
:
X-Machines and the Halting Problem: Building a Super-Turing Machine. Formal Aspects Comput. 2(4): 331-341 (1990)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-30 20:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint