Author of the publication

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

Verification of Flow-Based Computing Systems Using Bounded Model Checking., , , , and . ICCAD, page 1-9. IEEE, (2023)STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing., , , , and . ASP-DAC, page 690-695. IEEE, (2022)FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter., , and . ASP-DAC, page 775-780. ACM, (2023)Execution Sequence Optimization for Processing In-Memory using Parallel Data Preparation., , , , and . DAC, page 33:1-33:6. ACM, (2024)Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities., , , and . ACM Great Lakes Symposium on VLSI, page 379-384. ACM, (2021)Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions., , , and . DAC, page 30:1-30:6. ACM, (2024)Automated Synthesis for In-Memory Computing., , , and . ICCAD, page 1-9. IEEE, (2023)Equivalence Checking for Flow-Based Computing., , and . ICCD, page 656-663. IEEE, (2022)READ-based In-Memory Computing using Sentential Decision Diagrams., , , and . ASPDAC, page 818-823. IEEE, (2024)Equivalence Checking for Flow-Based Computing using Iterative SAT Solving., , , , , and . ICCAD, page 113:1-113:9. ACM, (2024)