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
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
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