| 2013 | CloudCom | Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning. | Kenneth Johnson, Yuanzhi Wang, Radu Calinescu, Ian Sommerville, Gordon D. Baxter, John V. Tucker |
| 2013 | UC | On the Power of Threshold Measurements as Oracles. | Edwin J. Beggs, Jos Flix Costa, Diogo Poas, John V. Tucker |
| 2012 | UCC | Algebraic Specifications of Computing as a Service with Applications to Cost Analysis. | Kenneth Johnson, John V. Tucker |
| 2008 | CiE | Programming Experimental Procedures for Newtonian Kinematic Machines. | Edwin J. Beggs, John V. Tucker |
| 2008 | TAMC | On the Complexity of Measurement in Classical Physics. | Edwin J. Beggs, Jos Flix Costa, Bruno Loff, John V. Tucker |
| 2008 | UC | Oracles and Advice as Measurements. | Edwin J. Beggs, Jos Flix Costa, Bruno Loff, John V. Tucker |
| 2005 | CiE | A Network Model of Analogue Computation over Metric Algebras. | John V. Tucker, Jeffery I. Zucker |
| 1992 | MFCS | Theory of Computation over Stream Algebras, and its Applications. | John V. Tucker, Jeffery I. Zucker |
| 1990 | ICALP | Provable Computable Functions on Abstract Data Types. | John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker |
| 1990 | ICCI | Toward a General Theory of Computation and Specification over Abstract Data Types. | John V. Tucker, Jeffery I. Zucker |
| 1989 | ICALP | Horn Programs and Semicomputable Relations on Abstract Structures. | John V. Tucker, Jeffery I. Zucker |
| 1988 | CONCUR | The Scope and Limits of Synchronous Concurrent Computation. | Karl Meinke, John V. Tucker |
| 1984 | CONCUR | Process Algebra with Asynchronous Communication Mechanisms. | Jan A. Bergstra, Jan Willem Klop, John V. Tucker |
| 1981 | ICALP | Algebraically Specified Programming Systems and Hoare's Logic. | Jan A. Bergstra, John V. Tucker |
| 1981 | MFCS | On the Power of Algebraic Specifications. | Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing |
| 1980 | ICALP | A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method. | Jan A. Bergstra, John V. Tucker |