Metalogical Control for Logic Programs. - Thomas Vasak; John Potter (J. Log. Program., 1985)

Characterisation of Terminating Logic Programs. - Thomas Vasak; John Potter (SLP, 1986)

Models for Concurrent Eiffel. - Ghinwa Jalloul; John Potter (TOOLS (6), 1992)

Designing for Reusability. - John Potter (TOOLS (6), 1992)

A Separate Proposal for Eiffel. - Ghinwa Jalloul; John Potter (TOOLS (12/9), 1993)

Object-Oriented Design - the Eiffel Method. - John Potter; Christine Mingins (TOOLS (12/9), 1993)

Scalability for Graph-Based Case Tools. - Mark Sifer; John Potter (Int. J. Softw. Eng. Knowl. Eng., 1995)

The Matilda Data Model and its Implications. - David B. Lowe; Athula Ginige; Mark Sifer; John Potter (MMM, 1996)

Operating system extensions for dynamic real-time application. - Steven Sommer; John Potter (RTSS, 1996)

Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools. - Mark Sifer; John Potter (Aust. Comput. J., 1996)

An Approach to Dynamic Domain and Type Enforcement. - Jonathon Tidswell; John Potter (ACISP, 1997)

Change Detection for Aggregate Objects with Aliasing. - James Noble 001; John Potter (Australian Software Engineering Conference, 1997)

A Flexible Service Selection Model for Enterprise Distributed Systems. - Geoffrey H. Outhred; John Potter (EDOC, 1997)

Aspects of Synchronization. - David Holmes; James Noble 001; John Potter (TOOLS (25), 1997)

Applying Design Patterns. - James Noble 001; John Potter (TOOLS (25), 1997)

Keynotes: Java and Eiffel: A de facto relationship? - John Potter; Richard Soley (TOOLS (23), 1997)

Modelling Multi-Threading in Java. - Axel Wabenhorst; John Potter (TOOLS (25), 1997)

Class-Based Models in the -Calculus. - Xiaogang Zhang; John Potter (TOOLS (25), 1997)

A Dynamically Typed Access Control Model. - Jonathon Tidswell; John Potter (ACISP, 1998)

The Ins and Outs of Objects. - John Potter; James Noble 001; David G. Clarke (Australian Software Engineering Conference, 1998)

Flexible Alias Protection. - James Noble 001; Jan Vitek; John Potter (ECOOP, 1998)

Toward Reusable Synchronisation for Object-Oriented Languages. - David Holmes; James Noble 001; John Potter (ECOOP Workshops, 1998)

Component Composition with Sharing. - Geoffrey H. Outhred; John Potter (ECOOP Workshops, 1998)

Ownership Types for Flexible Alias Protection. - David G. Clarke; John Potter; James Noble 001 (OOPSLA, 1998)

Library Interoperability via Inheritance. - John Potter; Ryan Shelswell; Ian Joyner (TOOLS (26), 1998)

A Compositional Approach to Concurrent Objects. - Xiaogang Zhang; John Potter (TOOLS (27), 1998)

Overcoming Representation Exposure. - David G. Clarke; James Noble 001; John Potter (ECOOP Workshops, 1999)

Dynamic Rights: Safe Extensible Access Control. - Jonathon Tidswell; Geoffrey H. Outhred; John Potter (ACM Workshop on Role-Based Access Control, 1999)

Object Ownership for Dynamic Alias Protection. - James Noble 001; David G. Clarke; John Potter (TOOLS (32), 1999)

Conglomeration – Realizing Alias Protection. - John Potter; James Noble 001 (ACSC, 2000)

Exclusion for composite objects. - James Noble 001; David Holmes; John Potter (OOPSLA, 2000)

Scalable Visualisations with Ownership Trees. - Trent Hill; James Noble 001; John Potter (TOOLS (37), 2000)

Object Structuring Techniques. - John Potter (TOOLS (34), 2000)

Visualizing the Structure of Object-Oriented Systems. - Trent Hill; James Noble 001; John Potter (VL, 2000)

Simple Ownership Types for Object Containment. - David G. Clarke; James Noble 001; John Potter (ECOOP, 2001)

A graphical definition of authorization schema in the DTAC model. - Jonathon Tidswell; John Potter (SACMAT, 2001)

Responsive Bisimulation. - Xiaogang Zhang; John Potter (IFIP TCS, 2002)

Scalable Visualizations of Object-Oriented Systems with Ownership Trees. - Trent Hill; James Noble 001; John Potter (J. Vis. Lang. Comput., 2002)

Flexible Exclusion Control for Composite Objects. - Abdelsalam Shanneb; John Potter (ACSC, 2005)

Adapting the Personal Software Process (PSP) to Formal Methods. - Abdul Babar; John Potter (Australian Software Engineering Conference, 2005)

Demonstrating the Effectiveness of Exclusion Control for Components. - John Potter; Abdelsalam Shanneb; Eric Yu (Australian Software Engineering Conference, 2005)

A Type System for Reachability and Acyclicity. - Yi Lu 003; John Potter (ECOOP, 2005)

Book review. - John Potter (Comput. Educ., 2005)

Exclusion requirements and potential concurrency for composite objects. - Abdelsalam Shanneb; John Potter; James Noble 001 (Sci. Comput. Program., 2005)

Lock Selection Made Easy. - Abdelsalam Shanneb; John Potter (ASWEC, 2006)

On Ownership and Accessibility. - Yi Lu 003; John Potter (ECOOP, 2006)

Recognition of Musically Similar Polyphonic Music. - Michael Chan; John Potter (ICPR (4), 2006)

Protecting representation with effect encapsulation. - Yi Lu 003; John Potter (POPL, 2006)

Aligning the Map Requirements Modelling with the B-method for Formal Software Development. - Abdul Babar; Vladimir Tosic; John Potter (APSEC, 2007)

Validity Invariants and Effects. - Yi Lu 003; John Potter; Jingling Xue (ECOOP, 2007)

Incremental Lock Selection for Composite Objects. - John Potter; Abdelsalam Shanneb (J. Object Technol., 2007)

Interprocedural side-effect analysis for incomplete object-oriented software modules. - Jingling Xue; Phung Hua Nguyen; John Potter (J. Syst. Softw., 2007)

Ownership Downgrading for Ownership Types. - Yi Lu 003; John Potter; Jingling Xue (APLAS, 2009)

Search Space Reduction Technique for Distributed Multiple Sequence Alignment. - Manal Helal; Lenore R. Mullin; John Potter; Vitali Sintchenko (NPC, 2009)

Primary pupils' use of information and communication technologies at school and home. - Neil Selwyn; John Potter; Sue Cranmer (Br. J. Educ. Technol., 2009)

Exploring primary pupils' experiences and understandings of 'e-safety'. - Sue Cranmer; Neil Selwyn; John Potter (Educ. Inf. Technol., 2009)

Ownership Types for Object Synchronisation. - Yi Lu 003; John Potter; Jingling Xue (APLAS, 2012)

A Type and Effect System for Determinism in Multithreaded Programs. - Yi Lu 003; John Potter; Chenyi Zhang 001; Jingling Xue (ESOP, 2012)

Structural Lock Correlation with Ownership Types. - Yi Lu 003; John Potter; Jingling Xue (ESOP, 2013)

Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function. - Lingke Fan; Glen Bush; Emmanuel Katsogridakis; David M. Simpson 001; Robert Allen; John Potter; Anthony A. Birch; Ronney B. Panerai (Medical Biol. Eng. Comput., 2013)

Erratum to: Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function. - Lingke Fan; Glen Bush; Emmanuel Katsogridakis; David M. Simpson 001; Robert Allen; John Potter; Anthony A. Birch; Ronney B. Panerai (Medical Biol. Eng. Comput., 2013)

Development of low optical cross talk filters for VIIRS (JPSS). - Vijay Murgai; Derek Hendry; Kevin Downing; David Carbone; John Potter (Earth Observing Systems, 2016)

Linear normalised hash function for clustering gene sequences and identifying reference sequences from multiple sequence alignments. - Manal Helal; Fanrong Kong; Sharon C. A. Chen; Fei Zhou; Dominic E. Dwyer; John Potter; Vitali Sintchenko (CoRR, 2023)