Altaf Hussain

Affiliations:

Imperial College London, Department of Computing, UK

According to our database¹, Altaf Hussain authored at least 5 papers between 2004 and 2008.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2008

The modal logic of affine planes is not finitely axiomatisable.

[BibT_eX]

[DOI]

Ian M. Hodkinson

Altaf Hussain

J. Symb. Log., 2008

2007

A New Modal Approach to the Logic of Intervals.

[BibT_eX]

[DOI]

Altaf Hussain

J. Log. Comput., 2007

2006

A Minimal Hybrid Logic for Intervals.

[BibT_eX]

[DOI]

Altaf Hussain

Log. J. IGPL, 2006

2005

Automata Games for Multiple-model Checking.

[BibT_eX]

[DOI]

Altaf Hussain

Michael Huth

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

2004

On model checking multiple hybrid views.

[BibT_eX]

Michael Huth

Altaf Hussain

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Altaf Hussain

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...