Concepedia

Hasan Amjad

HA

8

Publications

161

Citations

8

H-Index

2006

Active since

Affiliations

University of Cambridge(Current)

Middlesex University

Hasan Amjad is an author at University of Cambridge specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceVerificationAutomated ReasoningFormal VerificationProof ComplexityComputer EngineeringSyntaxLanguage

Publications per year

2006–2021

8

Publications

8

Efficiently checking propositional refutations in HOL theorem provers

Tjark Weber, Hasan Amjad · Journal of Applied Logic · 2007 · 53 citations

Engineering, Hol Theorem Provers, Automated Reasoning +7

Verification of AMBA Using a Combination of Model Checking and Theorem Proving

Hasan Amjad · Electronic Notes in Theoretical Computer Science · 2006 · 18 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +19

Inter-process buffers in separation logic with rely-guarantee

Richard Bornat, Hasan Amjad · Formal Aspects of Computing · 2010 · 18 citations · Full text

Combining model checking and theorem proving

Hasan Amjad · CL Technical Reports · 2021 · 17 citations · Full text

Engineering, Automated Reasoning, Program Analysis +14

Compressing Propositional Refutations

Hasan Amjad · Electronic Notes in Theoretical Computer Science · 2007 · 16 citations · Full text

Paraconsistent Logic, Engineering, Automated Proof +17

Rows per page

1–5 of 8