The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Potter: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathon Tidswell, John Potter
    An Approach to Dynamic Domain and Type Enforcement. [Citation Graph (0, 0)][DBLP]
    ACISP, 1997, pp:26-37 [Conf]
  2. Jonathon Tidswell, John Potter
    A Dynamically Typed Access Control Model. [Citation Graph (0, 0)][DBLP]
    ACISP, 1998, pp:308-319 [Conf]
  3. John Potter, James Noble
    Conglomeration -- Realizing Alias Protection. [Citation Graph (0, 0)][DBLP]
    ACSC, 2000, pp:189-195 [Conf]
  4. Abdelsalam Shanneb, John Potter
    Flexible Exclusion Control for Composite Objects. [Citation Graph (0, 0)][DBLP]
    ACSC, 2005, pp:277-286 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Abdelsalam Shanneb, John Potter
    Lock Selection Made Easy. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:341-350 [Conf]
  10. David G. Clarke, James Noble, John Potter
    Simple Ownership Types for Object Containment. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2001, pp:53-76 [Conf]
  11. Yi Lu 0003, John Potter
    A Type System for Reachability and Acyclicity. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:479-503 [Conf]
  12. Yi Lu 0003, John Potter
    On Ownership and Accessibility. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2006, pp:99-123 [Conf]
  13. James Noble, Jan Vitek, John Potter
    Flexible Alias Protection. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1998, pp:158-185 [Conf]
  14. David G. Clarke, James Noble, John Potter
    Overcoming Representation Exposure. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:149-151 [Conf]
  15. David Holmes, James Noble, John Potter
    Toward Reusable Synchronisation for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:439- [Conf]
  16. Geoffrey H. Outhred, John Potter
    Component Composition with Sharing. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:141-142 [Conf]
  17. 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]
  18. Michael Chan, John Potter
    Recognition of Musically Similar Polyphonic Music. [Citation Graph (0, 0)][DBLP]
    ICPR (4), 2006, pp:809-812 [Conf]
  19. Xiaogang Zhang, John Potter
    Responsive Bisimulation. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:601-612 [Conf]
  20. David G. Clarke, John Potter, James Noble
    Ownership Types for Flexible Alias Protection. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1998, pp:48-64 [Conf]
  21. James Noble, David Holmes, John Potter
    Exclusion for composite objects. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2000, pp:13-28 [Conf]
  22. Yi Lu 0003, John Potter
    Protecting representation with effect encapsulation. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:359-371 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. Thomas Vasak, John Potter
    Characterisation of Terminating Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1986, pp:140-147 [Conf]
  27. Trent Hill, James Noble, John Potter
    Visualizing the Structure of Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    VL, 2000, pp:191-198 [Conf]
  28. David Holmes, James Noble, John Potter
    Aspects of Synchronization. [Citation Graph (0, 0)][DBLP]
    TOOLS (25), 1997, pp:2-14 [Conf]
  29. Axel Wabenhorst, John Potter
    Modelling Multi-Threading in Java. [Citation Graph (0, 0)][DBLP]
    TOOLS (25), 1997, pp:153-164 [Conf]
  30. Trent Hill, James Noble, John Potter
    Scalable Visualisations with Ownership Trees. [Citation Graph (0, 0)][DBLP]
    TOOLS (37), 2000, pp:202-213 [Conf]
  31. Xiaogang Zhang, John Potter
    Class-Based Models in the -Calculus. [Citation Graph (0, 0)][DBLP]
    TOOLS (25), 1997, pp:238-251 [Conf]
  32. James Noble, John Potter
    Applying Design Patterns. [Citation Graph (0, 0)][DBLP]
    TOOLS (25), 1997, pp:355-356 [Conf]
  33. John Potter, Richard Soley
    Keynotes: Java and Eiffel: A de facto relationship? [Citation Graph (0, 0)][DBLP]
    TOOLS (23), 1997, pp:3- [Conf]
  34. John Potter, Ryan Shelswell, Ian Joyner
    Library Interoperability via Inheritance. [Citation Graph (0, 0)][DBLP]
    TOOLS (26), 1998, pp:71-83 [Conf]
  35. Xiaogang Zhang, John Potter
    A Compositional Approach to Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    TOOLS (27), 1998, pp:116-126 [Conf]
  36. John Potter
    Object Structuring Techniques. [Citation Graph (0, 0)][DBLP]
    TOOLS (34), 2000, pp:443-444 [Conf]
  37. James Noble, David Clarke, John Potter
    Object Ownership for Dynamic Alias Protection. [Citation Graph (0, 0)][DBLP]
    TOOLS (32), 1999, pp:176-187 [Conf]
  38. John Potter
    Designing for Reusability. [Citation Graph (0, 0)][DBLP]
    TOOLS (6), 1992, pp:239- [Conf]
  39. John Potter, Christine Mingins
    Object-Oriented Design - the Eiffel Method. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:320- [Conf]
  40. Ghinwa Jalloul, John Potter
    A Separate Proposal for Eiffel. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:63-74 [Conf]
  41. Ghinwa Jalloul, John Potter
    Models for Concurrent Eiffel. [Citation Graph (0, 0)][DBLP]
    TOOLS (6), 1992, pp:183-191 [Conf]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. Yi Lu 0003, John Potter, Jingling Xue
    Validity Invariants and Effects. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:202-226 [Conf]

  48. Ownership Downgrading for Ownership Types. [Citation Graph (, )][DBLP]


  49. Aligning the Map Requirements Modelling with the B-method for Formal Software Development. [Citation Graph (, )][DBLP]


  50. The Matilda Data Model and its Implications. [Citation Graph (, )][DBLP]


  51. Search Space Reduction Technique for Distributed Multiple Sequence Alignment. [Citation Graph (, )][DBLP]


Search in 0.054secs, Finished in 0.057secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002