| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yi Lu 0003, John Potter, Chenyi Zhang, Jingling Xue |
A Type and Effect System for Determinism in Multithreaded Programs.  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manal Helal, Lenore R. Mullin, John Potter, Vitali Sintchenko |
Search Space Reduction Technique for Distributed Multiple Sequence Alignment. |
NPC |
2009 |
DBLP DOI BibTeX RDF |
Tensor Computing, Optimization, Parallel Processing, Computational Biology, Multiple Sequence Alignment |
| 1 | Yi Lu 0003, John Potter, Jingling Xue |
Ownership Downgrading for Ownership Types. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Potter, Abdelsalam Shanneb |
Incremental Lock Selection for Composite Objects. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingling Xue, Phung Hua Nguyen, John Potter |
Interprocedural side-effect analysis for incomplete object-oriented software modules. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdul Babar, Vladimir Tosic, John Potter |
Aligning the Map Requirements Modelling with the B-method for Formal Software Development. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Lu 0003, John Potter, Jingling Xue |
Validity Invariants and Effects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelsalam Shanneb, John Potter |
Lock Selection Made Easy. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Chan, John Potter |
Recognition of Musically Similar Polyphonic Music. |
ICPR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Lu 0003, John Potter |
Protecting representation with effect encapsulation. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
object encapsulation, representation exposure, types, ownership types, effect systems |
| 1 | Yi Lu 0003, John Potter |
On Ownership and Accessibility. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelsalam Shanneb, John Potter, James Noble |
Exclusion requirements and potential concurrency for composite objects. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Potter |
Book review. |
Computers & Education |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Potter, Abdelsalam Shanneb, Eric Yu |
Demonstrating the Effectiveness of Exclusion Control for Components. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdul Babar, John Potter |
Adapting the Personal Software Process (PSP) to Formal Methods. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Lu 0003, John Potter |
A Type System for Reachability and Acyclicity. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelsalam Shanneb, John Potter |
Flexible Exclusion Control for Composite Objects. |
ACSC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Trent Hill, James Noble, John Potter |
Scalable Visualizations of Object-Oriented Systems with Ownership Trees. |
J. Vis. Lang. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaogang Zhang, John Potter |
Responsive Bisimulation. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jonathon Tidswell, John Potter |
A graphical definition of authorization schema in the DTAC model. |
SACMAT |
2001 |
DBLP DOI BibTeX RDF |
DTAC, access control, constraints, graphs, dynamic, computer security, type, roles, schema |
| 1 | David G. Clarke, James Noble, John Potter |
Simple Ownership Types for Object Containment. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
OO type systems, object containment, flexible alias protection, ownership types |
| 1 | Trent Hill, James Noble, John Potter |
Visualizing the Structure of Object-Oriented Systems. (PDF / PS) |
VL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Trent Hill, James Noble, John Potter |
Scalable Visualisations with Ownership Trees. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
program visualisation, scalable visualisations, ownership trees, top-level components, implicit aggregation structure, scale-independent topology, low-level data structure, software visualisation tool, learning, object-oriented programming, object-oriented programs, software maintenance, debugging, computer science education, teaching, program debugging, tree data structures, abstraction levels, object graph, program maintenance |
| 1 | John Potter |
Object Structuring Techniques. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James Noble, David Holmes, John Potter |
Exclusion for composite objects. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Potter, James Noble |
Conglomeration -- Realizing Alias Protection. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David G. Clarke, James Noble, John Potter |
Overcoming Representation Exposure. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jonathon Tidswell, Geoffrey H. Outhred, John Potter |
Dynamic Rights: Safe Extensible Access Control. |
ACM Workshop on Role-Based Access Control |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | James Noble, David G. Clarke, John Potter |
Object Ownership for Dynamic Alias Protection. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
object-orientation, aliasing, encapsulation, ownership |
| 1 | John Potter, James Noble, David G. Clarke |
The Ins and Outs of Objects. (PDF / PS) |
Australian Software Engineering Conference |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathon Tidswell, John Potter |
A Dynamically Typed Access Control Model. |
ACISP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Holmes, James Noble, John Potter |
Toward Reusable Synchronisation for Object-Oriented Languages. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey H. Outhred, John Potter |
Component Composition with Sharing. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Potter, Ryan Shelswell, Ian Joyner |
Library Interoperability via Inheritance. |
TOOLS |
1998 |
DBLP DOI BibTeX RDF |
Library interoperability, Java, inheritance, Eiffel, applets, language translation |
| 1 | Xiaogang Zhang, John Potter |
A Compositional Approach to Concurrent Objects. |
TOOLS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David G. Clarke, John Potter, James Noble |
Ownership Types for Flexible Alias Protection. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
alias protection, representation exposure, sharing, containment, ownership, programming language design |
| 1 | James Noble, Jan Vitek, John Potter |
Flexible Alias Protection. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James Noble, John Potter |
Change Detection for Aggregate Objects with Aliasing. |
Australian Software Engineering Conference |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathon Tidswell, John Potter |
An Approach to Dynamic Domain and Type Enforcement. |
ACISP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | James Noble, John Potter |
Applying Design Patterns. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | John Potter, Richard Soley |
Keynotes: Java and Eiffel: A de facto relationship? |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaogang Zhang, John Potter |
Class-Based Models in the -Calculus. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
class-based, concurrency, object models, pi-calculus, multiple inheritance |
| 1 | Axel Wabenhorst, John Potter |
Modelling Multi-Threading in Java. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
Java, formal methods, refinement, objects, deadlock, multi-threading, action systems |
| 1 | David Holmes, James Noble, John Potter |
Aspects of Synchronization. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
concurrency, object-oriented, synchronisation, aspect-oriented |
| 1 | Geoffrey H. Outhred, John Potter |
A Flexible Service Selection Model for Enterprise Distributed Systems. (PDF / PS) |
EDOC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Sifer, John Potter |
Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools. |
Australian Computer Journal |
1996 |
DBLP BibTeX RDF |
|
| 1 | David B. Lowe, Athula Ginige, Mark Sifer, John Potter |
The Matilda Data Model and its Implications. |
MMM |
1996 |
DBLP BibTeX RDF |
|
| 1 | Steven Sommer, John Potter |
Operating system extensions for dynamic real-time application. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1996 |
DBLP DOI BibTeX RDF |
dynamic real-time applications, real-time process abstraction, operating system extensions, admission policy, scheduling, real-time systems, resource allocation, requirements, system design, system monitoring, timing requirements, general purpose operating systems |
| 1 | Mark Sifer, John Potter |
Scalability for Graph-Based Case Tools. |
International Journal of Software Engineering and Knowledge Engineering |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghinwa Jalloul, John Potter |
A Separate Proposal for Eiffel. |
TOOLS (12/9) |
1993 |
DBLP BibTeX RDF |
|
| 1 | John Potter, Christine Mingins |
Object-Oriented Design - the Eiffel Method. |
TOOLS (12/9) |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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 |
TOOLS (12/9) |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ghinwa Jalloul, John Potter |
Models for Concurrent Eiffel. |
TOOLS |
1992 |
DBLP BibTeX RDF |
|
| 1 | John Potter |
Designing for Reusability. |
TOOLS |
1992 |
DBLP BibTeX RDF |
|
| 1 | John Potter, Mario Tokoro, Bertrand Meyer (eds.) |
TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia. |
TOOLS |
1991 |
DBLP BibTeX RDF |
|
| 1 | Thomas Vasak, John Potter |
Characterisation of Terminating Logic Programs. |
SLP |
1986 |
DBLP BibTeX RDF |
|
| 1 | Thomas Vasak, John Potter |
Metalogical Control for Logic Programs. |
J. Log. Program. |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")