Search the dblp DataBase
John Potter :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jonathon Tidswell , John Potter An Approach to Dynamic Domain and Type Enforcement. [Citation Graph (0, 0)][DBLP ] ACISP, 1997, pp:26-37 [Conf ] Jonathon Tidswell , John Potter A Dynamically Typed Access Control Model. [Citation Graph (0, 0)][DBLP ] ACISP, 1998, pp:308-319 [Conf ] John Potter , James Noble Conglomeration -- Realizing Alias Protection. [Citation Graph (0, 0)][DBLP ] ACSC, 2000, pp:189-195 [Conf ] Abdelsalam Shanneb , John Potter Flexible Exclusion Control for Composite Objects. [Citation Graph (0, 0)][DBLP ] ACSC, 2005, pp:277-286 [Conf ] Abdul Babar , John Potter Adapting the Personal Software Process (PSP) to Formal Methods. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 2005, pp:192-201 [Conf ] James Noble , John Potter Change Detection for Aggregate Objects with Aliasing. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 1997, pp:98-0 [Conf ] John Potter , James Noble , David Clarke The Ins and Outs of Objects. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 1998, pp:80-89 [Conf ] John Potter , Abdelsalam Shanneb , Eric Yu Demonstrating the Effectiveness of Exclusion Control for Components. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 2005, pp:344-353 [Conf ] Abdelsalam Shanneb , John Potter Lock Selection Made Easy. [Citation Graph (0, 0)][DBLP ] ASWEC, 2006, pp:341-350 [Conf ] David G. Clarke , James Noble , John Potter Simple Ownership Types for Object Containment. [Citation Graph (0, 0)][DBLP ] ECOOP, 2001, pp:53-76 [Conf ] Yi Lu 0003 , John Potter A Type System for Reachability and Acyclicity. [Citation Graph (0, 0)][DBLP ] ECOOP, 2005, pp:479-503 [Conf ] Yi Lu 0003 , John Potter On Ownership and Accessibility. [Citation Graph (0, 0)][DBLP ] ECOOP, 2006, pp:99-123 [Conf ] James Noble , Jan Vitek , John Potter Flexible Alias Protection. [Citation Graph (0, 0)][DBLP ] ECOOP, 1998, pp:158-185 [Conf ] David G. Clarke , James Noble , John Potter Overcoming Representation Exposure. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1999, pp:149-151 [Conf ] David Holmes , James Noble , John Potter Toward Reusable Synchronisation for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1998, pp:439- [Conf ] Geoffrey H. Outhred , John Potter Component Composition with Sharing. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1998, pp:141-142 [Conf ] Geoffrey H. Outhred , John Potter A Flexible Service Selection Model for Enterprise Distributed Systems. [Citation Graph (0, 0)][DBLP ] EDOC, 1997, pp:227-0 [Conf ] Michael Chan , John Potter Recognition of Musically Similar Polyphonic Music. [Citation Graph (0, 0)][DBLP ] ICPR (4), 2006, pp:809-812 [Conf ] Xiaogang Zhang , John Potter Responsive Bisimulation. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2002, pp:601-612 [Conf ] David G. Clarke , John Potter , James Noble Ownership Types for Flexible Alias Protection. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1998, pp:48-64 [Conf ] James Noble , David Holmes , John Potter Exclusion for composite objects. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2000, pp:13-28 [Conf ] Yi Lu 0003 , John Potter Protecting representation with effect encapsulation. [Citation Graph (0, 0)][DBLP ] POPL, 2006, pp:359-371 [Conf ] Jonathon Tidswell , Geoffrey H. Outhred , John Potter Dynamic Rights: Safe Extensible Access Control. [Citation Graph (0, 0)][DBLP ] ACM Workshop on Role-Based Access Control, 1999, pp:113-120 [Conf ] Steven Sommer , John Potter Operating system extensions for dynamic real-time application. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1996, pp:45-0 [Conf ] Jonathon Tidswell , John Potter A graphical definition of authorization schema in the DTAC model. [Citation Graph (0, 0)][DBLP ] SACMAT, 2001, pp:109-120 [Conf ] Thomas Vasak , John Potter Characterisation of Terminating Logic Programs. [Citation Graph (0, 0)][DBLP ] SLP, 1986, pp:140-147 [Conf ] Trent Hill , James Noble , John Potter Visualizing the Structure of Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] VL, 2000, pp:191-198 [Conf ] David Holmes , James Noble , John Potter Aspects of Synchronization. [Citation Graph (0, 0)][DBLP ] TOOLS (25), 1997, pp:2-14 [Conf ] Axel Wabenhorst , John Potter Modelling Multi-Threading in Java. [Citation Graph (0, 0)][DBLP ] TOOLS (25), 1997, pp:153-164 [Conf ] Trent Hill , James Noble , John Potter Scalable Visualisations with Ownership Trees. [Citation Graph (0, 0)][DBLP ] TOOLS (37), 2000, pp:202-213 [Conf ] Xiaogang Zhang , John Potter Class-Based Models in the -Calculus. [Citation Graph (0, 0)][DBLP ] TOOLS (25), 1997, pp:238-251 [Conf ] James Noble , John Potter Applying Design Patterns. [Citation Graph (0, 0)][DBLP ] TOOLS (25), 1997, pp:355-356 [Conf ] John Potter , Richard Soley Keynotes: Java and Eiffel: A de facto relationship? [Citation Graph (0, 0)][DBLP ] TOOLS (23), 1997, pp:3- [Conf ] John Potter , Ryan Shelswell , Ian Joyner Library Interoperability via Inheritance. [Citation Graph (0, 0)][DBLP ] TOOLS (26), 1998, pp:71-83 [Conf ] Xiaogang Zhang , John Potter A Compositional Approach to Concurrent Objects. [Citation Graph (0, 0)][DBLP ] TOOLS (27), 1998, pp:116-126 [Conf ] John Potter Object Structuring Techniques. [Citation Graph (0, 0)][DBLP ] TOOLS (34), 2000, pp:443-444 [Conf ] James Noble , David Clarke , John Potter Object Ownership for Dynamic Alias Protection. [Citation Graph (0, 0)][DBLP ] TOOLS (32), 1999, pp:176-187 [Conf ] John Potter Designing for Reusability. [Citation Graph (0, 0)][DBLP ] TOOLS (6), 1992, pp:239- [Conf ] John Potter , Christine Mingins Object-Oriented Design - the Eiffel Method. [Citation Graph (0, 0)][DBLP ] TOOLS (12/9), 1993, pp:320- [Conf ] Ghinwa Jalloul , John Potter A Separate Proposal for Eiffel. [Citation Graph (0, 0)][DBLP ] TOOLS (12/9), 1993, pp:63-74 [Conf ] Ghinwa Jalloul , John Potter Models for Concurrent Eiffel. [Citation Graph (0, 0)][DBLP ] TOOLS (6), 1992, pp:183-191 [Conf ] Mark Sifer , John Potter Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools. [Citation Graph (0, 0)][DBLP ] Australian Computer Journal, 1996, v:28, n:1, pp:13-26 [Journal ] Thomas Vasak , John Potter Metalogical Control for Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1985, v:2, n:3, pp:203-220 [Journal ] Jingling Xue , Phung Hua Nguyen , John Potter Interprocedural side-effect analysis for incomplete object-oriented software modules. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2007, v:80, n:1, pp:92-105 [Journal ] Abdelsalam Shanneb , John Potter , James Noble Exclusion requirements and potential concurrency for composite objects. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2005, v:58, n:3, pp:344-365 [Journal ] Trent Hill , James Noble , John Potter Scalable Visualizations of Object-Oriented Systems with Ownership Trees. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 2002, v:13, n:3, pp:319-339 [Journal ] Yi Lu 0003 , John Potter , Jingling Xue Validity Invariants and Effects. [Citation Graph (0, 0)][DBLP ] ECOOP, 2007, pp:202-226 [Conf ] Ownership Downgrading for Ownership Types. [Citation Graph (, )][DBLP ] Aligning the Map Requirements Modelling with the B-method for Formal Software Development. [Citation Graph (, )][DBLP ] The Matilda Data Model and its Implications. [Citation Graph (, )][DBLP ] Search Space Reduction Technique for Distributed Multiple Sequence Alignment. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.329secs