| |
| 2008 | ||
|---|---|---|
| 5 | EE | Altaf Hussain, Michael Huth: On model checking multiple hybrid views. Theor. Comput. Sci. 404(3): 186-201 (2008) |
| 2007 | ||
| 4 | EE | Altaf Hussain: A New Modal Approach to the Logic of Intervals. J. Log. Comput. 17(2): 221-254 (2007) |
| 2006 | ||
| 3 | EE | Altaf Hussain, Michael Huth: Automata Games for Multiple-model Checking. Electr. Notes Theor. Comput. Sci. 155: 401-421 (2006) |
| 2 | EE | Altaf Hussain: A Minimal Hybrid Logic for Intervals. Logic Journal of the IGPL 14(1): 35-62 (2006) |
| 2004 | ||
| 1 | Michael Huth, Altaf Hussain: On model checking multiple hybrid views. ISoLA (Preliminary proceedings) 2004: 235-242 | |
| 1 | Michael Huth | [1] [3] [5] |