John Potter

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. Med. Biol. Engineering and Computing 51(6): 709-718 (2013)

Yi Lu, John Potter, Jingling Xue: Structural Lock Correlation with Ownership Types. ESOP 2013: 391-410

Yi Lu, John Potter, Jingling Xue: Ownership Types for Object Synchronisation. APLAS 2012: 18-33

Yi Lu, John Potter, Chenyi Zhang, Jingling Xue: A Type and Effect System for Determinism in Multithreaded Programs. ESOP 2012: 518-538

Yi Lu, John Potter, Jingling Xue: Ownership Downgrading for Ownership Types. APLAS 2009: 144-160

Manal Helal, Lenore R. Mullin, John Potter, Vitali Sintchenko: Search Space Reduction Technique for Distributed Multiple Sequence Alignment. NPC 2009: 219-226

John Potter, Abdelsalam Shanneb: Incremental Lock Selection for Composite Objects. Journal of Object Technology 6(9): 477-494 (2007)

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)

Abdul Babar, Vladimir Tosic, John Potter: Aligning the Map Requirements Modelling with the B-method for Formal Software Development. APSEC 2007: 17-24

Yi Lu, John Potter, Jingling Xue: Validity Invariants and Effects. ECOOP 2007: 202-226

Abdelsalam Shanneb, John Potter: Lock Selection Made Easy. ASWEC 2006: 341-350

Yi Lu, John Potter: On Ownership and Accessibility. ECOOP 2006: 99-123

Michael Chan, John Potter: Recognition of Musically Similar Polyphonic Music. ICPR (4) 2006: 809-812

Yi Lu, John Potter: Protecting representation with effect encapsulation. POPL 2006: 359-371

John Potter: Book review. Computers & Education 44(2): 197-200 (2005)

Abdelsalam Shanneb, John Potter, James Noble: Exclusion requirements and potential concurrency for composite objects. Sci. Comput. Program. 58(3): 344-365 (2005)

Abdelsalam Shanneb, John Potter: Flexible Exclusion Control for Composite Objects. ACSC 2005: 277-286

Abdul Babar, John Potter: Adapting the Personal Software Process (PSP) to Formal Methods. Australian Software Engineering Conference 2005: 192-201

John Potter, Abdelsalam Shanneb, Eric Yu: Demonstrating the Effectiveness of Exclusion Control for Components. Australian Software Engineering Conference 2005: 344-353

Yi Lu, John Potter: A Type System for Reachability and Acyclicity. ECOOP 2005: 479-503

Trent Hill, James Noble, John Potter: Scalable Visualizations of Object-Oriented Systems with Ownership Trees. J. Vis. Lang. Comput. 13(3): 319-339 (2002)

Xiaogang Zhang, John Potter: Responsive Bisimulation. IFIP TCS 2002: 601-612

David G. Clarke, James Noble, John Potter: Simple Ownership Types for Object Containment. ECOOP 2001: 53-76

Jonathon Tidswell, John Potter: A graphical definition of authorization schema in the DTAC model. SACMAT 2001: 109-120

John Potter, James Noble: Conglomeration -- Realizing Alias Protection. ACSC 2000: 189-195

James Noble, David Holmes, John Potter: Exclusion for composite objects. OOPSLA 2000: 13-28

Trent Hill, James Noble, John Potter: Scalable Visualisations with Ownership Trees. TOOLS (37) 2000: 202-213

John Potter: Object Structuring Techniques. TOOLS (34) 2000: 443-444

Trent Hill, James Noble, John Potter: Visualizing the Structure of Object-Oriented Systems. VL 2000: 191-198

David G. Clarke, James Noble, John Potter: Overcoming Representation Exposure. ECOOP Workshops 1999: 149-151

Jonathon Tidswell, Geoffrey H. Outhred, John Potter: Dynamic Rights: Safe Extensible Access Control. ACM Workshop on Role-Based Access Control 1999: 113-120

James Noble, David G. Clarke, John Potter: Object Ownership for Dynamic Alias Protection. TOOLS (32) 1999: 176-187

Jonathon Tidswell, John Potter: A Dynamically Typed Access Control Model. ACISP 1998: 308-319

John Potter, James Noble, David G. Clarke: The Ins and Outs of Objects. Australian Software Engineering Conference 1998: 80-89

James Noble, Jan Vitek, John Potter: Flexible Alias Protection. ECOOP 1998: 158-185

Geoffrey H. Outhred, John Potter: Component Composition with Sharing. ECOOP Workshops 1998: 141-142

David Holmes, James Noble, John Potter: Toward Reusable Synchronisation for Object-Oriented Languages. ECOOP Workshops 1998: 439

David G. Clarke, John Potter, James Noble: Ownership Types for Flexible Alias Protection. OOPSLA 1998: 48-64

John Potter, Ryan Shelswell, Ian Joyner: Library Interoperability via Inheritance. TOOLS (26) 1998: 71-83

Xiaogang Zhang, John Potter: A Compositional Approach to Concurrent Objects. TOOLS (27) 1998: 116-126

Jonathon Tidswell, John Potter: An Approach to Dynamic Domain and Type Enforcement. ACISP 1997: 26-37

James Noble, John Potter: Change Detection for Aggregate Objects with Aliasing. Australian Software Engineering Conference 1997: 98-

Geoffrey H. Outhred, John Potter: A Flexible Service Selection Model for Enterprise Distributed Systems. EDOC 1997: 227-

David Holmes, James Noble, John Potter: Aspects of Synchronization. TOOLS (25) 1997: 2-14

John Potter, Richard Soley: Keynotes: Java and Eiffel: A de facto relationship? TOOLS (23) 1997: 3

Axel Wabenhorst, John Potter: Modelling Multi-Threading in Java. TOOLS (25) 1997: 153-164

Xiaogang Zhang, John Potter: Class-Based Models in the -Calculus. TOOLS (25) 1997: 238-251

James Noble, John Potter: Applying Design Patterns. TOOLS (25) 1997: 355-356

Mark Sifer, John Potter: Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools. Australian Computer Journal 28(1): 13-26 (1996)

David B. Lowe, Athula Ginige, Mark Sifer, John Potter: The Matilda Data Model and its Implications. MMM 1996: 269-285

Steven Sommer, John Potter: Operating system extensions for dynamic real-time application. RTSS 1996: 45-50

Mark Sifer, John Potter: Scalability for Graph-Based Case Tools. International Journal of Software Engineering and Knowledge Engineering 5(3): 347-365 (1995)

Ghinwa Jalloul, John Potter: A Separate Proposal for Eiffel. TOOLS (12/9) 1993: 63-74

John Potter, Christine Mingins: Object-Oriented Design - the Eiffel Method. TOOLS (12/9) 1993: 320

Christine Mingins, William Haebich, John Potter, Bertrand Meyer (Eds.): 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, isbn 0-13-124512-0

Ghinwa Jalloul, John Potter: Models for Concurrent Eiffel. TOOLS (6) 1992: 183-191

John Potter: Designing for Reusability. TOOLS (6) 1992: 239

John Potter, Mario Tokoro, Bertrand Meyer (Eds.): TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia. Prentice Hall 1991, isbn 0-13-926940-1

Thomas Vasak, John Potter: Characterisation of Terminating Logic Programs. SLP 1986: 140-147

Thomas Vasak, John Potter: Metalogical Control for Logic Programs. J. Log. Program. 2(3): 203-220 (1985)