Binary decision diagram-based synthesis technique for improved mapping of Boolean functions inside memristive crossbar-slices. - Anindita Chakraborty; Vivek Maurya; Sneha Prasad; Suryansh Gupta; Rajat Subhra Chakraborty; Hafizur Rahaman 001 (IET Comput. Digit. Tech., 2021)

SQuADDS: A validated design database and simulation workflow for superconducting qubit design. - Sadman Shanto; Andre Kuo; Clark Miyamoto; Haimeng Zhang; Vivek Maurya; Evangelos Vlachos; Malida Hecht; Chung Wa Shum; Eli Levenson-Falk (Quantum, 2024)