Hasan Amjad

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2010
j5		Richard Bornat, Hasan Amjad: Inter-process buffers in separation logic with rely-guarantee. Formal Asp. Comput. 22(6): 735-772 (2010)
	2009
j4		Tjark Weber, Hasan Amjad: Efficiently checking propositional refutations in HOL theorem provers. J. Applied Logic 7(1): 26-40 (2009)
c6		Hasan Amjad, Richard Bornat: Towards Automatic Stability Analysis for Rely-Guarantee Proofs. VMCAI 2009: 14-28
	2008
j3		Hasan Amjad: Data Compression for Proof Replay. J. Autom. Reasoning 41(3-4): 193-218 (2008)
c5		Hasan Amjad, Richard Bornat: Model Checking for Stability Analysis in Rely-Guarantee Proofs. VERIFY 2008
c4		Hasan Amjad: LCF-Style Propositional Simplification with BDDs and SAT Solvers. TPHOLs 2008: 55-70
	2007
j2		Hasan Amjad: Compressing Propositional Refutations. Electr. Notes Theor. Comput. Sci. 185: 3-15 (2007)
c3		Hasan Amjad: A Compressing Translation from Propositional Resolution to Natural Deduction. FroCoS 2007: 88-102
	2006
j1		Hasan Amjad: Verification of AMBA Using a Combination of Model Checking and Theorem Proving. Electr. Notes Theor. Comput. Sci. 145: 45-61 (2006)
	2005
c2		Hasan Amjad: Shallow Lazy Proofs. TPHOLs 2005: 35-49
	2003
c1		Hasan Amjad: Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover. TPHOLs 2003: 171-187

Coauthor Index

1	Richard Bornat	[j5] [c6] [c5]
2	Tjark Weber	[j4]

Last update Sat May 18 13:25:37 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page