| 2013 | ESOP | Structural Lock Correlation with Ownership Types. | Yi Lu, John Potter, Jingling Xue |
| 2012 | APLAS | Ownership Types for Object Synchronisation. | Yi Lu, John Potter, Jingling Xue |
| 2012 | ESOP | A Type and Effect System for Determinism in Multithreaded Programs. | Yi Lu, John Potter, Chenyi Zhang, Jingling Xue |
| 2009 | APLAS | Ownership Downgrading for Ownership Types. | Yi Lu, John Potter, Jingling Xue |
| 2009 | NPC | Search Space Reduction Technique for Distributed Multiple Sequence Alignment. | Manal Helal, Lenore R. Mullin, John Potter, Vitali Sintchenko |
| 2007 | APSEC | Aligning the Map Requirements Modelling with the B-method for Formal Software Development. | Abdul Babar, Vladimir Tosic, John Potter |
| 2007 | ECOOP | Validity Invariants and Effects. | Yi Lu, John Potter, Jingling Xue |
| 2006 | ECOOP | On Ownership and Accessibility. | Yi Lu, John Potter |
| 2006 | ICPR | Recognition of Musically Similar Polyphonic Music. | Michael Chan, John Potter |
| 2006 | POPL | Protecting representation with effect encapsulation. | Yi Lu, John Potter |
| 2005 | ECOOP | A Type System for Reachability and Acyclicity. | Yi Lu, John Potter |
| 2001 | ECOOP | Simple Ownership Types for Object Containment. | David G. Clarke, James Noble, John Potter |
| 2001 | SACMAT | A graphical definition of authorization schema in the DTAC model. | Jonathon Tidswell, John Potter |
| 2000 | OOPSLA | Exclusion for composite objects. | James Noble, David Holmes, John Potter |
| 1998 | ACISP | A Dynamically Typed Access Control Model. | Jonathon Tidswell, John Potter |
| 1998 | ECOOP | Flexible Alias Protection. | James Noble, Jan Vitek, John Potter |
| 1998 | OOPSLA | Ownership Types for Flexible Alias Protection. | David G. Clarke, John Potter, James Noble |
| 1997 | ACISP | An Approach to Dynamic Domain and Type Enforcement. | Jonathon Tidswell, John Potter |
| 1997 | EDOC | A Flexible Service Selection Model for Enterprise Distributed Systems. | Geoffrey H. Outhred, John Potter |
| 1996 | MMM | The Matilda Data Model and its Implications. | David B. Lowe, Athula Ginige, Mark Sifer, John Potter |
| 1996 | RTSS | Operating system extensions for dynamic real-time application. | Steven Sommer, John Potter |
| 1994 | APSEC | Scalability for graph based CASE tools. | Mark Sifer, John Potter |