John Potter

Orcid: 0000-0001-8762-944X

According to our database1, John Potter authored at least 63 papers between 1985 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

IEEE Fellow

IEEE Fellow 2018, "For contributions to ice-ocean interaction, oceanography, and underwater communication".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Linear normalised hash function for clustering gene sequences and identifying reference sequences from multiple sequence alignments.
CoRR, 2023

2016
Development of low optical cross talk filters for VIIRS (JPSS).
Proceedings of the Earth Observing Systems XXI, SPIE Optical Engineering + Applications, San Diego, California, USA, 28 August, 2016

2013
Erratum to: Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function.
Medical Biol. Eng. Comput., 2013

Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function.
Medical Biol. Eng. Comput., 2013

Structural Lock Correlation with Ownership Types.
Proceedings of the Programming Languages and Systems, 2013

2012
A Type and Effect System for Determinism in Multithreaded Programs.
Proceedings of the Programming Languages and Systems, 2012

Ownership Types for Object Synchronisation.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2009
Exploring primary pupils' experiences and understandings of 'e-safety'.
Educ. Inf. Technol., 2009

Primary pupils' use of information and communication technologies at school and home.
Br. J. Educ. Technol., 2009

Search Space Reduction Technique for Distributed Multiple Sequence Alignment.
Proceedings of the NPC 2009, 2009

Ownership Downgrading for Ownership Types.
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2007
Interprocedural side-effect analysis for incomplete object-oriented software modules.
J. Syst. Softw., 2007

Incremental Lock Selection for Composite Objects.
J. Object Technol., 2007

Validity Invariants and Effects.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Aligning the Map Requirements Modelling with the B-method for Formal Software Development.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
Protecting representation with effect encapsulation.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Recognition of Musically Similar Polyphonic Music.
Proceedings of the 18th International Conference on Pattern Recognition (ICPR 2006), 2006

On Ownership and Accessibility.
Proceedings of the ECOOP 2006, 2006

Lock Selection Made Easy.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005
Exclusion requirements and potential concurrency for composite objects.
Sci. Comput. Program., 2005

Book review.
Comput. Educ., 2005

A Type System for Reachability and Acyclicity.
Proceedings of the ECOOP 2005, 2005

Demonstrating the Effectiveness of Exclusion Control for Components.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Adapting the Personal Software Process (PSP) to Formal Methods.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Flexible Exclusion Control for Composite Objects.
Proceedings of the Computer Science 2005, 2005

2002
Scalable Visualizations of Object-Oriented Systems with Ownership Trees.
J. Vis. Lang. Comput., 2002

Responsive Bisimulation.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2001
A graphical definition of authorization schema in the DTAC model.
Proceedings of the 6th ACM Symposium on Access Control Models and Technologies, 2001

Simple Ownership Types for Object Containment.
Proceedings of the ECOOP 2001, 2001

2000
Visualizing the Structure of Object-Oriented Systems.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Object Structuring Techniques.
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Scalable Visualisations with Ownership Trees.
Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000

Exclusion for composite objects.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Conglomeration -- Realizing Alias Protection.
Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999
Object Ownership for Dynamic Alias Protection.
Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

Dynamic Rights: Safe Extensible Access Control.
Proceedings of the Fourth ACM Workshop on Role-Based Access Control, 1999

Overcoming Representation Exposure.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
A Compositional Approach to Concurrent Objects.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Library Interoperability via Inheritance.
Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Ownership Types for Flexible Alias Protection.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

Component Composition with Sharing.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Toward Reusable Synchronisation for Object-Oriented Languages.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Flexible Alias Protection.
Proceedings of the ECOOP'98, 1998

The Ins and Outs of Objects.
Proceedings of the 1998 Australian Software Engineering Conference (ASWEC '98), 1998

A Dynamically Typed Access Control Model.
Proceedings of the Information Security and Privacy, Third Australasian Conference, 1998

1997
Class-Based Models in the -Calculus.
Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Modelling Multi-Threading in Java.
Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Keynotes: Java and Eiffel: A de facto relationship?
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

Applying Design Patterns.
Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Aspects of Synchronization.
Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

A Flexible Service Selection Model for Enterprise Distributed Systems.
Proceedings of the 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 1997

Change Detection for Aggregate Objects with Aliasing.
Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

An Approach to Dynamic Domain and Type Enforcement.
Proceedings of the Information Security and Privacy, Second Australasian Conference, 1997

1996
Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools.
Aust. Comput. J., 1996

Operating system extensions for dynamic real-time application.
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

The Matilda Data Model and its Implications.
Proceedings of the 1996 MultiMedia Modeling: Towards The Information Society Superhighway, 1996

1995
Scalability for Graph-Based Case Tools.
Int. J. Softw. Eng. Knowl. Eng., 1995

1993
Object-Oriented Design - the Eiffel Method.
Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993

A Separate Proposal for Eiffel.
Proceedings of the Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, 1993

1992
Designing for Reusability.
Proceedings of the TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, 1992

Models for Concurrent Eiffel.
Proceedings of the TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1986
Characterisation of Terminating Logic Programs.
Proceedings of the 1986 Symposium on Logic Programming, 1986

1985
Metalogical Control for Logic Programs.
J. Log. Program., 1985


  Loading...