| Publication | Date of Publication | Type |
|---|
Groups of worldview transformations implied by isotropy of space
(available as arXiv preprint) | 2022-10-12 | Paper |
| scientific article; zbMATH DE number 7594117 (Why is no real title available?) | 2022-09-28 | Paper |
Investigations of isotropy and homogeneity of spacetime in first-order logic
Annals of Pure and Applied Logic | 2022-08-02 | Paper |
GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
The Review of Symbolic Logic | 2022-05-25 | Paper |
Groups of Worldview Transformations Implied by Isotropy of Space
(available as arXiv preprint) | 2020-07-28 | Paper |
| Modelling and validating an engineering application in kernel P systems | 2018-05-16 | Paper |
Three different formalisations of Einstein's relativity principle
The Review of Symbolic Logic | 2017-09-15 | Paper |
Comparative analysis of statistical model checking tools
Membrane Computing | 2017-04-12 | Paper |
Motion and observation in a single-particle universe
Synthese | 2017-03-09 | Paper |
Membrane system models for super-Turing paradigms
Natural Computing | 2016-07-08 | Paper |
Spatially localised membrane systems
Fundamenta Informaticae | 2016-05-11 | Paper |
An integrated model checking toolset for kernel P systems
Membrane Computing | 2016-02-26 | Paper |
Towards formal verification of computations and hypercomputations in relativistic physics
Lecture Notes in Computer Science | 2015-09-15 | Paper |
Using Isabelle/HOL to verify first-order relativity theory
Journal of Automated Reasoning | 2015-06-23 | Paper |
Using Isabelle/HOL to verify first-order relativity theory
Journal of Automated Reasoning | 2015-06-23 | Paper |
Specification, testing and verification of unconventional computations using generalizedX-machines
International Journal of General Systems | 2014-11-19 | Paper |
| On the Possibility and Consequences of Negative Mass | 2014-07-22 | Paper |
Computing the appearance of physical reality
Applied Mathematics and Computation | 2014-06-27 | Paper |
Faster than light motion does not imply time travel
Classical and Quantum Gravity | 2014-06-19 | Paper |
Faster than light motion does not imply time travel
Classical and Quantum Gravity | 2014-06-19 | Paper |
Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2014-04-29 | Paper |
Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2014-04-29 | Paper |
Membrane systems and hypercomputation
Membrane Computing | 2013-04-16 | Paper |
P Systems Controlled by General Topologies
Unconventional Computation and Natural Computation | 2012-11-08 | Paper |
The computational status of physics
Natural Computing | 2009-10-19 | Paper |
Simulation testing of automata
Formal Aspects of Computing | 2006-10-25 | Paper |
The case for hypercomputation
Applied Mathematics and Computation | 2006-08-04 | Paper |
scientific article; zbMATH DE number 1909825 (Why is no real title available?)
Minds and Machines | 2003-05-14 | Paper |
Infinite concurrent systems. I: The relationship between metric and order convergence
Formal Aspects of Computing | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 4107701 (Why is no real title available?) | 1990-01-01 | Paper |
X-machines and the halting problem: Building a super-turing machine
Formal Aspects of Computing | 1990-01-01 | Paper |
