Author of the publication

Parallel boolean matrix multiplication in linear time using rectifying memristors.

, and . ISCAS, page 1874-1877. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Memory-Efficient Filter-Based Approximate Optimal Regulation of Unknown LTI Systems Using Initial Excitation., , and . CDC, page 1638-1643. IEEE, (2018)DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision., , , and . ICCAD, page 151:1-151:9. IEEE, (2020)Verification of Flow-Based Computing Systems Using Bounded Model Checking., , , , and . ICCAD, page 1-9. IEEE, (2023)Hybrid Analog-Digital In-Memory Computing., , and . ICCAD, page 1-9. IEEE, (2021)Detecting Deepfake Videos using Attribution-Based Confidence Metric., , , , , , , and . CVPR Workshops, page 1250-1259. Computer Vision Foundation / IEEE, (2020)Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking., and . BIBM, page 179-184. IEEE Computer Society, (2018)Temporal Logic Model Checking, , , and . Handbook of Networked and Embedded Control Systems, Birkhäuser Boston, (2005)Multi-Stain Multi-Level Convolutional Network for Multi-Tissue Breast Cancer Image Segmentation., , , , , , and . CoRR, (2024)Parameter discovery for stochastic computational models in systems biology using Bayesian model checking., , , , , and . ICCABS, page 1-2. IEEE Computer Society, (2014)SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures., , , , , , and . ICCABS, page 1. IEEE Computer Society, (2015)