Animation of Object-Z Specifications Using a Z Animator. - Tim McComb; Graeme Smith 001 (SEFM, 2003)

Architectural Design in Object-Z. - Tim McComb; Graeme Smith 001 (Australian Software Engineering Conference, 2004)

Refactoring Object-Z Specifications. - Tim McComb (FASE, 2004)

SIFA: A Tool for Evaluation of High-Grade Security Devices. - Tim McComb; Luke Wildman (ACISP, 2005)

Tracing secure information flow through mode changes. - Colin J. Fidge; Tim McComb (ACSC, 2006)

Compositional Class Refinement in Object-Z. - Tim McComb; Graeme Smith 001 (FM, 2006)

Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. - Tim McComb; Luke Wildman (ICFEM, 2006)

MDA-Based Re-engineering with Object-Z. - Jörn Guy Süß; Tim McComb; Soon-Kyeong Kim; Luke Wildman; Geoffrey Watson (MoDELS, 2006)

A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware. - Tim McComb; Luke Wildman (ICECCS, 2007)

Introducing Objects through Refinement. - Tim McComb; Graeme Smith 001 (FM, 2008)

A Minimal Set of Refactoring Rules for Object-Z. - Tim McComb; Graeme Smith 001 (FMOODS, 2008)

Refactoring Real-time Specifications. - Graeme Smith 001; Tim McComb (Refine@FM, 2008)

IllouraTM: a software tool for analysis, visualization and semantic querying of cellular and other spatial biological data. - Tim McComb; Oliver Cairncross; Andrew B. Noske; David L. A. Wood; Brad J. Marsh; Mark A. Ragan (Bioinform., 2009)