| |
| 2009 | ||
|---|---|---|
| 10 | EE | Hasan Amjad, Richard Bornat: Towards Automatic Stability Analysis for Rely-Guarantee Proofs. VMCAI 2009: 14-28 |
| 9 | EE | Tjark Weber, Hasan Amjad: Efficiently checking propositional refutations in HOL theorem provers. J. Applied Logic 7(1): 26-40 (2009) |
| 2008 | ||
| 8 | EE | Hasan Amjad: LCF-Style Propositional Simplification with BDDs and SAT Solvers. TPHOLs 2008: 55-70 |
| 7 | EE | Hasan Amjad, Richard Bornat: Model Checking for Stability Analysis in Rely-Guarantee Proofs. VERIFY 2008 |
| 6 | EE | Hasan Amjad: Data Compression for Proof Replay. J. Autom. Reasoning 41(3-4): 193-218 (2008) |
| 2007 | ||
| 5 | EE | Hasan Amjad: A Compressing Translation from Propositional Resolution to Natural Deduction. FroCos 2007: 88-102 |
| 4 | EE | Hasan Amjad: Compressing Propositional Refutations. Electr. Notes Theor. Comput. Sci. 185: 3-15 (2007) |
| 2006 | ||
| 3 | EE | Hasan Amjad: Verification of AMBA Using a Combination of Model Checking and Theorem Proving. Electr. Notes Theor. Comput. Sci. 145: 45-61 (2006) |
| 2005 | ||
| 2 | EE | Hasan Amjad: Shallow Lazy Proofs. TPHOLs 2005: 35-49 |
| 2003 | ||
| 1 | EE | Hasan Amjad: Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover. TPHOLs 2003: 171-187 |
| 1 | Richard Bornat | [7] [10] |
| 2 | Tjark Weber | [9] |