| Ownership Types for Object Synchronisation. | 3 | 0.39 | 2012 |
| Responsive Bisimulation | 1 | 0.35 | 2002 |
| Visualizing the Structure of Object-Oriented Systems | 2 | 0.41 | 2000 |
| Conglomeration -- Realizing Alias Protection | 1 | 0.48 | 2000 |
| Object Structuring Techniques | 0 | 0.34 | 2000 |
| Object Ownership for Dynamic Alias Protection | 10 | 0.89 | 1999 |
| Overcoming Representation Exposure | 3 | 0.47 | 1999 |
| Flexible Alias Protection | 130 | 7.60 | 1998 |
| Modelling Multi-Threading in Java | 0 | 0.34 | 1998 |
| Keynotes: Java and Eiffel: A de facto relationship? | 0 | 0.34 | 1997 |
| A Flexible Service Selection Model for Enterprise Distributed Systems | 2 | 0.46 | 1997 |
| Aspects of Synchronization | 15 | 1.58 | 1997 |
| Class-Based Models in the -Calculus | 2 | 0.37 | 1997 |
| Change Detection for Aggregate Objects with Aliasing | 4 | 0.68 | 1997 |
| Structured Graphs: A Visual Formalism for Scalable Graph Based CASE Tools | 5 | 0.87 | 1996 |
| The Matilda Data Model and its Implications | 6 | 1.03 | 1996 |
| Scalability For Graph-Based Case Tools | 1 | 0.40 | 1995 |
| A Separate Proposal for Eiffel | 2 | 1.05 | 1993 |
| Object-Oriented Design - the Eiffel Method | 0 | 0.34 | 1993 |
| 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 | 51 | 20.11 | 1993 |
| Models For Concurrent Eiffel | 1 | 0.37 | 1992 |
| Designing for Reusability | 0 | 0.34 | 1992 |
| TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia | 31 | 9.41 | 1991 |
| Characterisation of Terminating Logic Programs | 19 | 1.84 | 1986 |
