Automated synthesis of stochastic computational elements using decision procedures. - Amad Ul Hassen; Brigadesh Chandrasekar; Sumit Kumar Jha 001 (ISCAS, 2016)

Automated synthesis of compact multiplier circuits for in-memory computing using ROBDDs. - Amad Ul Hassen (NANOARCH, 2017)

Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing. - Amad Ul Hassen; Salman Anwar Khokhar; Haseeb Aslam Butt; Sumit Kumar Jha 001 (NANOARCH, 2018)

Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing. - Amad Ul Hassen; Dwaipayan Chakraborty; Sumit Kumar Jha 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2018)

Approximate in-Memory Computing on ReRAM Crossbars. - Amad Ul Hassen; Salman Anwar Khokhar (MWSCAS, 2019)

Synthesis of Approximate Logic on Memristive Crossbars. - Salman Anwar Khokhar; Amad Ul Hassen (NEWCAS, 2019)

An Adaptive Metric for Node Substitution-Based BDD Minimization. - Amad Ul Hassen; Fahad Ahmed Khan (ISCAS, 2021)