Abhoy Kole

German Research Centre for Artificial Intelligence — Germany

Computer Science · Physical Sciences

8h-index294citations42works1.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum Computing Algorithms and Architecture(26), Quantum Information and Cryptography(16), Quantum-Dot Cellular Automata(16), Advanced Memory and Neural Computing(9), Ferroelectric and Negative Capacitance Devices(6)

Publications42 total

Performance Evaluation of MAGIC-ReRAM Arithmetic Circuits for Low-Latency In-Memory Computing
2025
Fault-Tolerant Character Recognition in Neuromorphic Systems Using RRAM Crossbar Arrays
2025
Fast and Scalable MAGIC-Based Wallace Tree Multiplier for In-Memory Computing
2025
A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing
2025
System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit
2025
Unlocking the Benefits of Dynamic Quantum Circuits in Resource Constraint Architecture
2025
Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design
2025· 2 cited
Towards an Automated Debugging Approach for Fault Identification in Quantum Circuits
2025
qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
ACM Journal on Emerging Technologies in Computing Systems·2025
Exploration of Design Alternatives for Reducing Idle Time in Shor's Algorithm: A Study on Monolithic and Distributed Quantum Systems
arXiv (Cornell University)·2025Open Access
Exploration of Design Alternatives for Reducing Idle Time in Shor's Algorithm: A Study on Monolithic and Distributed Quantum Systems
IEEE Transactions on Quantum Engineering·2025Open Access
Towards Formal Verification for MAC-based In-Memory Computing
2024· 1 cited
Exploring the Potential of Dynamic Quantum Circuit for Improving Device Scalability
2024· 1 cited
qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
arXiv (Cornell University)·2024Open Access
Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits
ACM Journal on Emerging Technologies in Computing Systems·2024· 1 citedOpen Access
Design Automation Challenges and Benefits of Dynamic Quantum Circuit in Present NISQ Era and Beyond: (Invited Paper)
2024
Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification
2024· 4 cited
Dynamic Realization of Multiple Control Toffoli Gate
2024· 4 cited
Complete and Efficient Verification for a RISC-V Processor Using Formal Verification
2024· 11 cited
In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures
2024· 3 cited
page 1 of 3Next →

Frequent Co-authors

Rolf Drechsler(30), Kamalika Datta(29), Indranil Sengupta(17), Kamalika Datta(8), Saeideh Shirinzadeh(7), Arighna Deb(6), Fatemeh Shirinzadeh(6), Robert Wille(4), P. Mercy Nesa Rani(4), Lennart Weingarten(4), Saeideh Nabipour(3), Mohammed E. Djeridane(2), M. P. Schmidt(2), Leon Wichette(2), Frank Kirchner(2), Elie Mounzer(2), Stefan Hillmich(1), Alok Chakrabarty(1), Leniency Marbaniang(1), Liam Hurwitz(1)