Publications

Journal Articles

  1. & Classifying the computational power of stochastic physical oracles. International Journal of Unconventional Computing 14(1), 59-90.
  2. & Surveillance and identity: conceptual framework and formal models. Journal of Cybersecurity 3(3), 145-158.
  3. Richard Price and the History of Science. Transactions of the Honourable Society of Cymmrodorion 23, 69-86.
  4. & Phatic systems in digital society. Technology in Society 46, 140-148.
  5. & Computations with oracles that measure vanishing quantities. Mathematical Structures in Computer Science, 1-49.
  6. & Three forms of physical measurement and their computability. The Review of Symbolic Logic 7(4), 618-646.
  7. & An analogue-digital Church-Turing Thesis. International Journal of Foundations of Computer Science 25(4), 373-389.
  8. & Computability of Operators on Continuous and Discrete Time Streams. Computability 3(1), 9-44.
  9. & Axiomatizing physical experiments as oracles to algorithms. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 370(1971), 3359-3384.
  10. & The impact of models of a physical oracle on computational power. Mathematical Structures in Computer Science 22(05), 853-879.
  11. & On phatic technologies for creating and maintaining human relationships. Technology in Society
  12. & The data type of spatial objects. Formal Aspects of Computing
  13. & Stability of representations of effective partial algebras. Mathematical Logic Quarterly
  14. & Continuity of operators on continuous and discrete time streams. Theoretical Computer Science
  15. & Deviance and Control in Communities with Perfect Surveillance - The Case of Second Life. Surveillance and Society 9(1/2), 31-46.
  16. & Limits to measurement in experiments governed by algorithms. Mathematical Structures in Computer Science 20(06), 1019-1050.
  17. & Physical Oracles: The Turing Machine and the Wheatstone Bridge. Studia Logica
  18. & Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms. Applied Mathematics and Computation 215(4), 1386-1403.
  19. & Computations via Newtonian and relativistic kinematic systems. Applied Mathematics and Computation 215(4), 1311-1322.
  20. & Computational complexity with experiments as oracles. II. Upper bounds. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 465(2105), 1453-1465.
  21. & Physical experiments as oracles. Bulletin of the European Association for Theoretical Computer Science 97, 137-151.
  22. & Meadows and the equational specification of division. Theoretical Computer Science 410(12-13), 1261-1271.
  23. & Computations via Newtonian and relativistic kinematic systems. Applied Mathematics and Computation
  24. & Computational Models of Measurement and Hempel’s Axiomatization.
  25. & Stability for Effective Algebras. Electronic Notes in Theoretical Computer Science 221, 3
  26. & Division Safe Calculation in Totalised Fields. Theory of Computing Systems 43(3-4), 410
  27. & On the Complexity of Measurement in Classical Physics.
  28. & Computational complexity with experiments as oracles. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 464(2098), 2777-2801.
  29. & Oracles and Advice as Measurements.
  30. & Experimental computation of real numbers by Newtonian machines. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 463(2082), 1541
  31. & The rational numbers as an abstract data type. Journal of the ACM 54(2), 7
  32. & Abstract versus concrete computation on metric partial algebras. ACM Transactions on Computational Logic 5(4), 611
  33. & Abstract computability and algebraic specification. ACM Transactions on Computational Logic 3(2), 279

Books

  1. & Oracles and advice as measurements. Springer.

Book Chapters

  1. & Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations. In Recent Trends in Algebraic Development Techniques. (pp. 13-35). Berlin: Springer Verlag.
  2. & An Analogue-Digital Model of Computation: Turing Machines with Physical Oracles. In Andrew Adamatzky (Ed.), Advances in Unconventional Computing. (pp. 73-115). Springer.
  3. & Generalizing Computability Theory to Abstract Algebras. In Turing’s Revolution. (pp. 127-160). Basel: Bikhauser/Springer.
  4. & A Hierarchy for $$ BPP //\log \!\star $$ B P P / / log ⋆ Based on Counting Calls to an Oracle. In Emergent Computation. (pp. 39-56). Springer.
  5. Robert Recorde and the History of Computing. In
  6. & Unifying science through computation: Reflections on computability and physics. In

Conference Contributions

  1. & (2012). Algebraic specifications of computing as a service with applications to cost analysis. Presented at Proceedings 5th IEEE/ACM International Conference on Utility and Cloud Computing,IEEE Computer Society.
  2. & (2008). On the complexity of measurement in classical physics. Presented at Lecture Notes in Computer Science,, 20-30.Springer.
  3. & (2008). Programming Experimental Procedures for Newtonian Kinematic Machines. Presented at Lecture Notes in Computer Science,, 52-66.Springer-Verlag. doi:10.1007/978-3-540-69407-6_6