Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover. - Hasan Amjad (TPHOLs, 2003)

Combining model checking and theorem proving. - Hasan Amjad (2004)

Shallow Lazy Proofs. - Hasan Amjad (TPHOLs, 2005)

Verification of AMBA Using a Combination of Model Checking and Theorem Proving. - Hasan Amjad (AVoCS, 2005)

Compressing Propositional Refutations. - Hasan Amjad (AVoCS, 2006)

A Compressing Translation from Propositional Resolution to Natural Deduction. - Hasan Amjad (FroCoS, 2007)

Model Checking for Stability Analysis in Rely-Guarantee Proofs. - Hasan Amjad; Richard Bornat (VERIFY, 2008)

LCF-Style Propositional Simplification with BDDs and SAT Solvers. - Hasan Amjad (TPHOLs, 2008)

Data Compression for Proof Replay. - Hasan Amjad (J. Autom. Reason., 2008)

Towards Automatic Stability Analysis for Rely-Guarantee Proofs. - Hasan Amjad; Richard Bornat (VMCAI, 2009)

Efficiently checking propositional refutations in HOL theorem provers. - Tjark Weber; Hasan Amjad (J. Appl. Log., 2009)

Inter-process buffers in separation logic with rely-guarantee. - Richard Bornat; Hasan Amjad (Formal Aspects Comput., 2010)

Explanation of two non-blocking shared-variable communication algorithms. - Richard Bornat; Hasan Amjad (Formal Aspects Comput., 2013)