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
https://portal.mardi4nfdi.de/entity/Q2863854	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hasan Amjad