Mike Stannett

Arch. Formal Proofs, 2024

2023

Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm.

[BibT_eX]

[DOI]

Thomas Weripuo Gyeera

Anthony J. H. Simons

IEEE Trans. Big Data, August, 2023

Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs.

[BibT_eX]

[DOI]

Thomas Weripuo Gyeera

Anthony J. H. Simons

IEEE Trans. Serv. Comput., 2023

No Faster-Than-Light Observers (GenRel).

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2023

The Halting Problem is Soluble in Malament-Hogarth Spacetimes.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2023

2022

Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2022

Investigations of isotropy and homogeneity of spacetime in first-order logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2022

2021

Groups of Worldview Transformations Implied by Isotropy of Space.

[BibT_eX]

[DOI]

FLAP, 2021

2020

Experiencing the Sheffield Team Software Project: A project-based learning approach to teaching Agile.

[BibT_eX]

[DOI]

Olakunle Olayinka

Proceedings of the 2020 IEEE Global Engineering Education Conference, 2020

2019

Preface.

[BibT_eX]

[DOI]

Matthew J. Patitz

Nat. Comput., 2019

2018

Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory.

[BibT_eX]

[DOI]

FLAP, 2018

Automatic selection of verification tools for efficient analysis of biochemical models.

[BibT_eX]

[DOI]

Bioinform., 2018

2017

Three Different Formalisations of Einstein's Relativity Principle.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2017

Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling.

[BibT_eX]

[DOI]

Tatyana Eftonova

Mariam Kiran

Int. J. Syst. Dyn. Appl., 2017

Modelling and Validating an Engineering Application in Kernel P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2017

2016

No Faster-Than-Light Observers.

[BibT_eX]

[DOI]

István Németi

Arch. Formal Proofs, 2016

Comparative Analysis of Statistical Model Checking Tools.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015

Motion and observation in a single-particle universe.

[BibT_eX]

[DOI]

Synth., 2015

Spatially Localised Membrane Systems.

[BibT_eX]

[DOI]

Erzsébet Csuhaj-Varjú

György Vaszil

Fundam. Informaticae, 2015

An Integrated Model Checking Toolset for Kernel P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2015

Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics.

[BibT_eX]

[DOI]

Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015

2014

Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms.

[BibT_eX]

[DOI]

J. Cloud Comput., 2014

Using Isabelle/HOL to Verify First-Order Relativity Theory.

[BibT_eX]

[DOI]

István Németi

J. Autom. Reason., 2014

Specification, testing and verification of unconventional computations using generalized <i>X</i>-machines.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2014

Developing a Video Steganography Toolkit.

[BibT_eX]

[DOI]

James Ridgway

CoRR, 2014

Integration Testing of Heterotic Systems.

[BibT_eX]

[DOI]

CoRR, 2014

Towards a framework for monitoring cloud application platforms as sensor networks.

[BibT_eX]

[DOI]

Clust. Comput., 2014

Cloud Sensor Ontology and Linked Data to Support Autonomicity in Cloud Application Platforms.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and the Semantic Web, 2014

2013

Computation and Spacetime Structure.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2013

Addressing self-management in cloud platforms: a semantic sensor web approach.

[BibT_eX]

[DOI]

Proceedings of the 2013 international workshop on Hot topics in cloud services, 2013

Utilising Stream Reasoning Techniques to Create a Self-Adaptation Framework for Cloud Environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

2012

Guest Editor's Note: Special Issue on Hypercomputation, Physics and Computation.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2012

Membrane system models for super-Turing paradigms.

[BibT_eX]

[DOI]

Nat. Comput., 2012

Foreword.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2012

Using Isabelle to verify special relativity, with application to hypercomputation theory

[BibT_eX]

[DOI]

István Németi

CoRR, 2012

Computing the appearance of physical reality.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2012

P Systems Controlled by General Topologies.

[BibT_eX]

[DOI]

Erzsébet Csuhaj-Varjú

Proceedings of the Unconventional Computation and Natural Computation, 2012

Membrane Systems and Hypercomputation.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2012

2010

Editorial.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2010

2009

The computational status of physics.

[BibT_eX]

[DOI]

Nat. Comput., 2009

Editorial: Future Trends in Hypercomputation.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2009

2006

Simulation testing of automata.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2006

The case for hypercomputation.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2006

2003

Computation and Hypercomputation.

[BibT_eX]

[DOI]

Minds Mach., 2003

1994

Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1994

1990

X-Machines and the Halting Problem: Building a Super-Turing Machine.

[BibT_eX]

[DOI]