On model checking multiple hybrid views. - Michael Huth 001; Altaf Hussain 004 (ISoLA (Preliminary proceedings), 2004)

Automata Games for Multiple-model Checking. - Altaf Hussain 004; Michael Huth 001 (MFPS, 2005)

A Minimal Hybrid Logic for Intervals. - Altaf Hussain 004 (Log. J. IGPL, 2006)

A New Modal Approach to the Logic of Intervals. - Altaf Hussain 004 (J. Log. Comput., 2007)

The modal logic of affine planes is not finitely axiomatisable. - Ian M. Hodkinson; Altaf Hussain 004 (J. Symb. Log., 2008)