John Potter

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 2

Top Topics

Structural Model

Quantitative Analysis

Multiple Sequence Alignments

Top Venues

Medical Biol. Eng. Comput.

Earth Observing Systems

Publications

Manal Helal, Fanrong Kong, Sharon C.-A Chen, Fei Zhou, Dominic E. Dwyer, John Potter, Vitali Sintchenko
Linear normalised hash function for clustering gene sequences and identifying reference sequences from multiple sequence alignments. CoRR (2023)
Vijay Murgai, Derek Hendry, Kevin Downing, David Carbone, John Potter
Development of low optical cross talk filters for VIIRS (JPSS). Earth Observing Systems (2016)
Yi Lu, John Potter, Jingling Xue
Structural Lock Correlation with Ownership Types. ESOP (2013)
Lingke Fan, Glen Bush, Emmanuel Katsogridakis, David M. Simpson, Robert Allen, John Potter, Anthony A. Birch, Ronney B. Panerai
Erratum to: Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function. Medical Biol. Eng. Comput. 51 (7) (2013)
Lingke Fan, Glen Bush, Emmanuel Katsogridakis, David M. Simpson, Robert Allen, John Potter, Anthony A. Birch, Ronney B. Panerai
Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function. Medical Biol. Eng. Comput. 51 (6) (2013)
Yi Lu, John Potter, Chenyi Zhang, Jingling Xue
A Type and Effect System for Determinism in Multithreaded Programs. ESOP (2012)
Yi Lu, John Potter, Jingling Xue
Ownership Types for Object Synchronisation. APLAS (2012)
Manal Helal, Lenore R. Mullin, John Potter, Vitali Sintchenko
Search Space Reduction Technique for Distributed Multiple Sequence Alignment. NPC (2009)
Neil Selwyn, John Potter, Sue Cranmer
Primary pupils' use of information and communication technologies at school and home. Br. J. Educ. Technol. 40 (5) (2009)
Sue Cranmer, Neil Selwyn, John Potter
Exploring primary pupils' experiences and understandings of 'e-safety'. Educ. Inf. Technol. 14 (2) (2009)
Yi Lu, John Potter, Jingling Xue
Ownership Downgrading for Ownership Types. APLAS (2009)
Jingling Xue, Phung Hua Nguyen, John Potter
Interprocedural side-effect analysis for incomplete object-oriented software modules. J. Syst. Softw. 80 (1) (2007)
John Potter, Abdelsalam Shanneb
Incremental Lock Selection for Composite Objects. J. Object Technol. 6 (9) (2007)
Abdul Babar, Vladimir Tosic, John Potter
Aligning the Map Requirements Modelling with the B-method for Formal Software Development. APSEC (2007)
Yi Lu, John Potter, Jingling Xue
Validity Invariants and Effects. ECOOP (2007)
Yi Lu, John Potter
Protecting representation with effect encapsulation. POPL (2006)
Abdelsalam Shanneb, John Potter
Lock Selection Made Easy. ASWEC (2006)
Yi Lu, John Potter
On Ownership and Accessibility. ECOOP (2006)
Michael Chan, John Potter
Recognition of Musically Similar Polyphonic Music. ICPR (4) (2006)
Abdelsalam Shanneb, John Potter, James Noble
Exclusion requirements and potential concurrency for composite objects. Sci. Comput. Program. 58 (3) (2005)
Abdelsalam Shanneb, John Potter
Flexible Exclusion Control for Composite Objects. ACSC (2005)
John Potter, Abdelsalam Shanneb, Eric Yu
Demonstrating the Effectiveness of Exclusion Control for Components. Australian Software Engineering Conference (2005)
John Potter
Book review. Comput. Educ. 44 (2) (2005)
Abdul Babar, John Potter
Adapting the Personal Software Process (PSP) to Formal Methods. Australian Software Engineering Conference (2005)
Yi Lu, John Potter
A Type System for Reachability and Acyclicity. ECOOP (2005)
Trent Hill, James Noble, John Potter
Scalable Visualizations of Object-Oriented Systems with Ownership Trees. J. Vis. Lang. Comput. 13 (3) (2002)
Xiaogang Zhang, John Potter
Responsive Bisimulation. IFIP TCS (2002)
David G. Clarke, James Noble, John Potter
Simple Ownership Types for Object Containment. ECOOP (2001)
Jonathon Tidswell, John Potter
A graphical definition of authorization schema in the DTAC model. SACMAT (2001)
Trent Hill, James Noble, John Potter
Visualizing the Structure of Object-Oriented Systems. VL (2000)
John Potter
Object Structuring Techniques. TOOLS (34) (2000)
Trent Hill, James Noble, John Potter
Scalable Visualisations with Ownership Trees. TOOLS (37) (2000)
James Noble, David Holmes, John Potter
Exclusion for composite objects. OOPSLA (2000)
John Potter, James Noble
Conglomeration -- Realizing Alias Protection. ACSC (2000)
Jonathon Tidswell, Geoffrey H. Outhred, John Potter
Dynamic Rights: Safe Extensible Access Control. ACM Workshop on Role-Based Access Control (1999)
David G. Clarke, James Noble, John Potter
Overcoming Representation Exposure. ECOOP Workshops (1999)
James Noble, David G. Clarke, John Potter
Object Ownership for Dynamic Alias Protection. TOOLS (32) (1999)
David Holmes, James Noble, John Potter
Toward Reusable Synchronisation for Object-Oriented Languages. ECOOP Workshops (1998)
Geoffrey H. Outhred, John Potter
Component Composition with Sharing. ECOOP Workshops (1998)
Jonathon Tidswell, John Potter
A Dynamically Typed Access Control Model. ACISP (1998)
David G. Clarke, John Potter, James Noble
Ownership Types for Flexible Alias Protection. OOPSLA (1998)
John Potter, James Noble, David G. Clarke
The Ins and Outs of Objects. Australian Software Engineering Conference (1998)
James Noble, Jan Vitek, John Potter
Flexible Alias Protection. ECOOP (1998)
Xiaogang Zhang, John Potter
A Compositional Approach to Concurrent Objects. TOOLS (27) (1998)
John Potter, Ryan Shelswell, Ian Joyner
Library Interoperability via Inheritance. TOOLS (26) (1998)
John Potter, Richard Soley
Keynotes: Java and Eiffel: A de facto relationship? TOOLS (23) (1997)
Geoffrey H. Outhred, John Potter
A Flexible Service Selection Model for Enterprise Distributed Systems. EDOC (1997)
Jonathon Tidswell, John Potter
An Approach to Dynamic Domain and Type Enforcement. ACISP (1997)
James Noble, John Potter
Applying Design Patterns. TOOLS (25) (1997)
Xiaogang Zhang, John Potter
Class-Based Models in the -Calculus. TOOLS (25) (1997)
James Noble, John Potter
Change Detection for Aggregate Objects with Aliasing. Australian Software Engineering Conference (1997)
David Holmes, James Noble, John Potter
Aspects of Synchronization. TOOLS (25) (1997)
Axel Wabenhorst, John Potter
Modelling Multi-Threading in Java. TOOLS (25) (1997)
David B. Lowe, Athula Ginige, Mark Sifer, John Potter
The Matilda Data Model and its Implications. MMM (1996)
Mark Sifer, John Potter
Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools. Aust. Comput. J. 28 (1) (1996)
Steven Sommer, John Potter
Operating system extensions for dynamic real-time application. RTSS (1996)
Mark Sifer, John Potter
Scalability for Graph-Based Case Tools. Int. J. Softw. Eng. Knowl. Eng. 5 (3) (1995)
Mark Sifer, John Potter
Scalability for graph based CASE tools. APSEC (1994)
Ghinwa Jalloul, John Potter
A Separate Proposal for Eiffel. TOOLS (12/9) (1993)
John Potter, Christine Mingins
Object-Oriented Design - the Eiffel Method. TOOLS (12/9) (1993)
John Potter
Designing for Reusability. TOOLS (6) (1992)
Ghinwa Jalloul, John Potter
Models for Concurrent Eiffel. TOOLS (6) (1992)
Thomas Vasak, John Potter
Characterisation of Terminating Logic Programs. SLP (1986)
Thomas Vasak, John Potter
Metalogical Control for Logic Programs. J. Log. Program. 2 (3) (1985)