| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 6 |      | Ian Hodkinson, Altaf Hussain: The modal logic of affine planes is not finitely axiomatisable. J. Symb. Log. 73(3): 940-952 (2008) |
| 5 | | Altaf Hussain, Michael Huth: On model checking multiple hybrid views. Theor. Comput. Sci. 404(3): 186-201 (2008) |
| 2007 | ||
| 4 | | Altaf Hussain: A New Modal Approach to the Logic of Intervals. J. Log. Comput. 17(2): 221-254 (2007) |
| 2006 | ||
| 3 | | Altaf Hussain, Michael Huth: Automata Games for Multiple-model Checking. Electr. Notes Theor. Comput. Sci. 155: 401-421 (2006) |
| 2 | | 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 | Ian Hodkinson | [6] |
| 2 | Michael Huth | [1] [3] [5] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page