| * | 2007 |
|---|
| 54 | EE | Abdul Babar,
Vladimir Tosic,
John Potter:
Aligning the Map Requirements Modelling with the B-method for Formal Software Development.
APSEC 2007: 17-24 |
| 53 | EE | Yi Lu,
John Potter,
Jingling Xue:
Validity Invariants and Effects.
ECOOP 2007: 202-226 |
| 52 | EE | John Potter,
Abdelsalam Shanneb:
Incremental Lock Selection for Composite Objects.
Journal of Object Technology 6(9): 477-494 (2007) |
| 51 | EE | Jingling Xue,
Phung Hua Nguyen,
John Potter:
Interprocedural side-effect analysis for incomplete object-oriented software modules.
Journal of Systems and Software 80(1): 92-105 (2007) |
| 2006 |
|---|
| 50 | EE | Abdelsalam Shanneb,
John Potter:
Lock Selection Made Easy.
ASWEC 2006: 341-350 |
| 49 | EE | Yi Lu,
John Potter:
On Ownership and Accessibility.
ECOOP 2006: 99-123 |
| 48 | EE | Michael Chan,
John Potter:
Recognition of Musically Similar Polyphonic Music.
ICPR (4) 2006: 809-812 |
| 47 | EE | Yi Lu,
John Potter:
Protecting representation with effect encapsulation.
POPL 2006: 359-371 |
| 2005 |
|---|
| 46 | EE | Abdelsalam Shanneb,
John Potter:
Flexible Exclusion Control for Composite Objects.
ACSC 2005: 277-286 |
| 45 | EE | Abdul Babar,
John Potter:
Adapting the Personal Software Process (PSP) to Formal Methods.
Australian Software Engineering Conference 2005: 192-201 |
| 44 | EE | John Potter,
Abdelsalam Shanneb,
Eric Yu:
Demonstrating the Effectiveness of Exclusion Control for Components.
Australian Software Engineering Conference 2005: 344-353 |
| 43 | EE | Yi Lu,
John Potter:
A Type System for Reachability and Acyclicity.
ECOOP 2005: 479-503 |
| 42 | EE | John Potter:
Book review.
Computers & Education 44(2): 197-200 (2005) |
| 41 | EE | Abdelsalam Shanneb,
John Potter,
James Noble:
Exclusion requirements and potential concurrency for composite objects.
Sci. Comput. Program. 58(3): 344-365 (2005) |
| 2002 |
|---|
| 40 | | Xiaogang Zhang,
John Potter:
Responsive Bisimulation.
IFIP TCS 2002: 601-612 |
| 39 | EE | Trent Hill,
James Noble,
John Potter:
Scalable Visualizations of Object-Oriented Systems with Ownership Trees.
J. Vis. Lang. Comput. 13(3): 319-339 (2002) |
| 2001 |
|---|
| 38 | EE | David G. Clarke,
James Noble,
John Potter:
Simple Ownership Types for Object Containment.
ECOOP 2001: 53-76 |
| 37 | EE | Jonathon Tidswell,
John Potter:
A graphical definition of authorization schema in the DTAC model.
SACMAT 2001: 109-120 |
| 2000 |
|---|
| 36 | EE | John Potter,
James Noble:
Conglomeration -- Realizing Alias Protection.
ACSC 2000: 189-195 |
| 35 | EE | James Noble,
David Holmes,
John Potter:
Exclusion for composite objects.
OOPSLA 2000: 13-28 |
| 34 | EE | John Potter:
Object Structuring Techniques.
TOOLS (34) 2000: 443-444 |
| 33 | EE | Trent Hill,
James Noble,
John Potter:
Scalable Visualisations with Ownership Trees.
TOOLS (37) 2000: 202-213 |
| 32 | EE | Trent Hill,
James Noble,
John Potter:
Visualizing the Structure of Object-Oriented Systems.
VL 2000: 191-198 |
| 1999 |
|---|
| 31 | EE | Jonathon Tidswell,
Geoffrey H. Outhred,
John Potter:
Dynamic Rights: Safe Extensible Access Control.
ACM Workshop on Role-Based Access Control 1999: 113-120 |
| 30 | | David G. Clarke,
James Noble,
John Potter:
Overcoming Representation Exposure.
ECOOP Workshops 1999: 149-151 |
| 29 | EE | James Noble,
David Clarke,
John Potter:
Object Ownership for Dynamic Alias Protection.
TOOLS (32) 1999: 176-187 |
| 1998 |
|---|
| 28 | EE | Jonathon Tidswell,
John Potter:
A Dynamically Typed Access Control Model.
ACISP 1998: 308-319 |
| 27 | EE | John Potter,
James Noble,
David Clarke:
The Ins and Outs of Objects.
Australian Software Engineering Conference 1998: 80-89 |
| 26 | EE | James Noble,
Jan Vitek,
John Potter:
Flexible Alias Protection.
ECOOP 1998: 158-185 |
| 25 | EE | Geoffrey H. Outhred,
John Potter:
Component Composition with Sharing.
ECOOP Workshops 1998: 141-142 |
| 24 | EE | David Holmes,
James Noble,
John Potter:
Toward Reusable Synchronisation for Object-Oriented Languages.
ECOOP Workshops 1998: 439 |
| 23 | EE | David G. Clarke,
John Potter,
James Noble:
Ownership Types for Flexible Alias Protection.
OOPSLA 1998: 48-64 |
| 22 | EE | John Potter,
Ryan Shelswell,
Ian Joyner:
Library Interoperability via Inheritance.
TOOLS (26) 1998: 71-83 |
| 21 | EE | Xiaogang Zhang,
John Potter:
A Compositional Approach to Concurrent Objects.
TOOLS (27) 1998: 116-126 |
| 1997 |
|---|
| 20 | | Jonathon Tidswell,
John Potter:
An Approach to Dynamic Domain and Type Enforcement.
ACISP 1997: 26-37 |
| 19 | EE | James Noble,
John Potter:
Change Detection for Aggregate Objects with Aliasing.
Australian Software Engineering Conference 1997: 98- |
| 18 | EE | Geoffrey H. Outhred,
John Potter:
A Flexible Service Selection Model for Enterprise Distributed Systems.
EDOC 1997: 227- |
| 17 | EE | John Potter,
Richard Soley:
Keynotes: Java and Eiffel: A de facto relationship?
TOOLS (23) 1997: 3 |
| 16 | EE | Axel Wabenhorst,
John Potter:
Modelling Multi-Threading in Java.
TOOLS (25) 1997: 153-164 |
| 15 | EE | David Holmes,
James Noble,
John Potter:
Aspects of Synchronization.
TOOLS (25) 1997: 2-14 |
| 14 | EE | Xiaogang Zhang,
John Potter:
Class-Based Models in the -Calculus.
TOOLS (25) 1997: 238-251 |
| 13 | EE | James Noble,
John Potter:
Applying Design Patterns.
TOOLS (25) 1997: 355-356 |
| 1996 |
|---|
| 12 | EE | Steven Sommer,
John Potter:
Operating system extensions for dynamic real-time application.
IEEE Real-Time Systems Symposium 1996: 45- |
| 11 | | David B. Lowe,
Athula Ginige,
Mark Sifer,
John Potter:
The Matilda Data Model and its Implications.
MMM 1996: 269-285 |
| 10 | | Mark Sifer,
John Potter:
Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools.
Australian Computer Journal 28(1): 13-26 (1996) |
| 1995 |
|---|
| 9 | EE | Mark Sifer,
John Potter:
Scalability for Graph-Based Case Tools.
International Journal of Software Engineering and Knowledge Engineering 5(3): 347-365 (1995) |
| 1993 |
|---|
| 8 | | Christine Mingins,
William Haebich,
John Potter,
Bertrand Meyer:
Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992
Prentice Hall 1993 |
| 7 | | John Potter,
Christine Mingins:
Object-Oriented Design - the Eiffel Method.
TOOLS (12/9) 1993: 320 |
| 6 | | Ghinwa Jalloul,
John Potter:
A Separate Proposal for Eiffel.
TOOLS (12/9) 1993: 63-74 |
| 1992 |
|---|
| 5 | | Ghinwa Jalloul,
John Potter:
Models for Concurrent Eiffel.
TOOLS (6) 1992: 183-191 |
| 4 | | John Potter:
Designing for Reusability.
TOOLS (6) 1992: 239 |
| 1991 |
|---|
| 3 | | John Potter,
Mario Tokoro,
Bertrand Meyer:
TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia.
Prentice Hall 1991 |
| 1986 |
|---|
| 2 | | Thomas Vasak,
John Potter:
Characterisation of Terminating Logic Programs.
SLP 1986: 140-147 |
| 1985 |
|---|
| 1 | | Thomas Vasak,
John Potter:
Metalogical Control for Logic Programs.
J. Log. Program. 2(3): 203-220 (1985) |
