We stand with Ukraine

We stand with Ukraine

John Potter

Orcid: 0000-0001-8762-944X

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ 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.

[BibT_eX]

[DOI]

,

,

Sharon C. A. Chen

,

,

Dominic E. Dwyer

,

,

Vitali Sintchenko

CoRR, 2023

2016

Development of low optical cross talk filters for VIIRS (JPSS).

[BibT_eX]

[DOI]

,

,

,

,

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.

[BibT_eX]

[DOI]

,

,

Emmanuel Katsogridakis

,

David M. Simpson

,

,

,

Anthony A. Birch

,

Ronney B. Panerai

Medical Biol. Eng. Comput., 2013

Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function.

[BibT_eX]

[DOI]

,

,

Emmanuel Katsogridakis

,

David M. Simpson

,

,

,

Anthony A. Birch

,

Ronney B. Panerai

Medical Biol. Eng. Comput., 2013

Structural Lock Correlation with Ownership Types.

[BibT_eX]

[DOI]

,

,

Proceedings of the Programming Languages and Systems, 2013

2012

A Type and Effect System for Determinism in Multithreaded Programs.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Programming Languages and Systems, 2012

Ownership Types for Object Synchronisation.

[BibT_eX]

[DOI]

,

,

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2009

Exploring primary pupils' experiences and understandings of 'e-safety'.

[BibT_eX]

[DOI]

,

,

Educ. Inf. Technol., 2009

Primary pupils' use of information and communication technologies at school and home.

[BibT_eX]

[DOI]

,

,

Br. J. Educ. Technol., 2009

Search Space Reduction Technique for Distributed Multiple Sequence Alignment.

[BibT_eX]

[DOI]

,

Lenore R. Mullin

,

,

Vitali Sintchenko

Proceedings of the NPC 2009, 2009

Ownership Downgrading for Ownership Types.

[BibT_eX]

[DOI]

,

,

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2007

Interprocedural side-effect analysis for incomplete object-oriented software modules.

[BibT_eX]

[DOI]

,

Phung Hua Nguyen

,

J. Syst. Softw., 2007

Incremental Lock Selection for Composite Objects.

[BibT_eX]

[DOI]

,

Abdelsalam Shanneb

J. Object Technol., 2007

Validity Invariants and Effects.

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

,

,

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Protecting representation with effect encapsulation.

[BibT_eX]

[DOI]

,

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Recognition of Musically Similar Polyphonic Music.

[BibT_eX]

[DOI]

,

Proceedings of the 18th International Conference on Pattern Recognition (ICPR 2006), 2006

On Ownership and Accessibility.

[BibT_eX]

[DOI]

,

Proceedings of the ECOOP 2006, 2006

Lock Selection Made Easy.

[BibT_eX]

[DOI]

Abdelsalam Shanneb

,

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005

Exclusion requirements and potential concurrency for composite objects.

[BibT_eX]

[DOI]

Abdelsalam Shanneb

,

,

Sci. Comput. Program., 2005

Book review.

[BibT_eX]

[DOI]

Comput. Educ., 2005

A Type System for Reachability and Acyclicity.

[BibT_eX]

[DOI]

,

Proceedings of the ECOOP 2005, 2005

Demonstrating the Effectiveness of Exclusion Control for Components.

[BibT_eX]

[DOI]

,

Abdelsalam Shanneb

,

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Adapting the Personal Software Process (PSP) to Formal Methods.

[BibT_eX]

[DOI]

,

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Flexible Exclusion Control for Composite Objects.

[BibT_eX]

[DOI]

Abdelsalam Shanneb

,

Proceedings of the Computer Science 2005, 2005

2002

Scalable Visualizations of Object-Oriented Systems with Ownership Trees.

[BibT_eX]

[DOI]

,

,

J. Vis. Lang. Comput., 2002

Responsive Bisimulation.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

Jonathon Tidswell

,

Proceedings of the 6th ACM Symposium on Access Control Models and Technologies, 2001

Simple Ownership Types for Object Containment.

[BibT_eX]

[DOI]

David G. Clarke

,

,

Proceedings of the ECOOP 2001, 2001

2000

Visualizing the Structure of Object-Oriented Systems.

[BibT_eX]

[DOI]

,

,

Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Object Structuring Techniques.

[BibT_eX]

[DOI]

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

Scalable Visualisations with Ownership Trees.

[BibT_eX]

[DOI]

,

,

Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000

Exclusion for composite objects.

[BibT_eX]

[DOI]

,

,

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Conglomeration -- Realizing Alias Protection.

[BibT_eX]

[DOI]

,

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999

Object Ownership for Dynamic Alias Protection.

[BibT_eX]

[DOI]

,

David G. Clarke

,

Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

Dynamic Rights: Safe Extensible Access Control.

[BibT_eX]

[DOI]

Jonathon Tidswell

,

Geoffrey H. Outhred

,

Proceedings of the Fourth ACM Workshop on Role-Based Access Control, 1999

Overcoming Representation Exposure.

[BibT_eX]

David G. Clarke

,

,

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

A Compositional Approach to Concurrent Objects.

[BibT_eX]

[DOI]

,

Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Library Interoperability via Inheritance.

[BibT_eX]

[DOI]

,

,

Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Ownership Types for Flexible Alias Protection.

[BibT_eX]

[DOI]

David G. Clarke

,

,

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

Component Composition with Sharing.

[BibT_eX]

[DOI]

Geoffrey H. Outhred

,

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Toward Reusable Synchronisation for Object-Oriented Languages.

[BibT_eX]

[DOI]

,

,

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Flexible Alias Protection.

[BibT_eX]

[DOI]

,

,

Proceedings of the ECOOP'98, 1998

The Ins and Outs of Objects.

[BibT_eX]

[DOI]

,

,

David G. Clarke

Proceedings of the 1998 Australian Software Engineering Conference (ASWEC '98), 1998

A Dynamically Typed Access Control Model.

[BibT_eX]

[DOI]

Jonathon Tidswell

,

Proceedings of the Information Security and Privacy, Third Australasian Conference, 1998

1997

Class-Based Models in the -Calculus.

[BibT_eX]

[DOI]

,

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

Modelling Multi-Threading in Java.

[BibT_eX]

[DOI]

Axel Wabenhorst

,

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?

[BibT_eX]

[DOI]

,

Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

Applying Design Patterns.

[BibT_eX]

[DOI]

,

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

Aspects of Synchronization.

[BibT_eX]

[DOI]

,

,

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.

[BibT_eX]

[DOI]

Geoffrey H. Outhred

,

Proceedings of the 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 1997

Change Detection for Aggregate Objects with Aliasing.

[BibT_eX]

[DOI]

,

Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

An Approach to Dynamic Domain and Type Enforcement.

[BibT_eX]

[DOI]

Jonathon Tidswell

,

Proceedings of the Information Security and Privacy, Second Australasian Conference, 1997

1996

Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools.

[BibT_eX]

,

Aust. Comput. J., 1996

Operating system extensions for dynamic real-time application.

[BibT_eX]

[DOI]

,

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

The Matilda Data Model and its Implications.

[BibT_eX]

,

,

,

Proceedings of the 1996 MultiMedia Modeling: Towards The Information Society Superhighway, 1996

1995

Scalability for Graph-Based Case Tools.

[BibT_eX]

[DOI]

,

Int. J. Softw. Eng. Knowl. Eng., 1995

1993

Object-Oriented Design - the Eiffel Method.

[BibT_eX]

,

Christine Mingins

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.

[BibT_eX]

,

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.

[BibT_eX]

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

Models for Concurrent Eiffel.

[BibT_eX]

,

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

1986

Characterisation of Terminating Logic Programs.

[BibT_eX]

,

Proceedings of the 1986 Symposium on Logic Programming, 1986

1985

Metalogical Control for Logic Programs.

[BibT_eX]

[DOI]

,

J. Log. Program., 1985

Loading...