Hasan Amjad

Available identifiers

zbMath Open amjad.hasanMaRDI QIDQ469351

List of research outcomes

Publication	Date of Publication	Type
Compressing propositional refutations	2015-03-18	Paper
Explanation of two non-blocking shared-variable communication algorithms	2014-11-10	Paper
Verification of AMBA using a combination of model checking and theorem proving	2013-12-04	Paper
Inter-process buffers in separation logic with rely-guarantee	2010-12-17	Paper
Programming a symbolic model checker in a fully expansive theorem prover	2010-05-07	Paper
Data compression for proof replay	2009-11-25	Paper
Efficiently checking propositional refutations in HOL theorem provers	2009-03-25	Paper
Towards Automatic Stability Analysis for Rely-Guarantee Proofs	2009-02-10	Paper
LCF-Style Propositional Simplification with BDDs and SAT Solvers	2008-12-04	Paper
A Compressing Translation from Propositional Resolution to Natural Deduction	2008-09-16	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper

Research outcomes over time

This page was built for person: Hasan Amjad