Publications

Journal Articles

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

Books

  1. Beggs, E., Costa, J., Loff, B., Tucker, J., Tucker, J. Oracles and advice as measurements Springer

Book Chapters

  1. Johnson, K., Tucker, J., Wang, V. Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations (Ed.), Recent Trends in Algebraic Development Techniques 13 35 Berlin Springer Verlag
  2. Tucker, J., Zucker, J., Tucker, J. Generalizing Computability Theory to Abstract Algebras (Ed.), Turing’s Revolution 127 160 Basel Bikhauser/Springer
  3. Tucker, J. Robert Recorde and the History of Computing (Ed.),
  4. Edwin, B., Felix, C., Tucker, J. Unifying science through computation: Reflections on computability and physics (Ed.),
  5. Ambaram, T., Beggs, E., Félix Costa, J., Poças, D., Tucker, J. An Analogue-Digital Model of Computation: Turing Machines with Physical Oracles (Ed.), Advances in Unconventional Computing 115
  6. Beggs, E., Cortez, P., Costa, F., Tucker, J. A hierarchy for BPP//log* based on counting calls to an oracle (Ed.), Emergent Computation 39 56 Springer

Conference Contributions

  1. Johnson, K., Tucker, J. Algebraic specifications of computing as a service with applications to cost analysis Proceedings 5th IEEE/ACM International Conference on Utility and Cloud Computing
  2. Beggs, E., Costa, J., Loff, B., Tucker, J., Tucker, J. On the complexity of measurement in classical physics Lecture Notes in Computer Science 4978 20 30
  3. Beggs, E., Tucker, J., Tucker, J. Programming Experimental Procedures for Newtonian Kinematic Machines Lecture Notes in Computer Science 5028 52 66