Irfansha Shaik

Jawaharlal Nehru Technological University, Hyderabad — India

Computer Science · Physical Sciences

4h-index42citations28works1.12yr 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(9), Logic, programming, and type systems(6), AI-based Problem Solving and Planning(5), Formal Methods in Verification(4), Artificial Intelligence in Games(4)

Publications28 total

Explanations for Unrealizability of Infinite-State Safety Shields
2025Open Access
Fault-tolerant quantum computations of vibrational wave functions
arXiv (Cornell University)·2025· 1 citedOpen Access
Explanations for Unrealizability of Infinite-State Safety Shields
arXiv (Cornell University)·2025Open Access
Practical Subarchitectures for Optimal Quantum Layout Synthesis
arXiv (Cornell University)·2025Open Access
Calculating the Energy Profile of an Enzymatic Reaction on a Quantum Computer
Journal of Chemical Theory and Computation·2025· 5 cited
CNOT-Optimal Clifford Synthesis as SAT
Research Portal (King's College London)·2025Open Access
Depth-Optimal Quantum Layout Synthesis as SAT
Research Portal (King's College London)·2025Open Access
Optimization of VCR engine performance and emissions using diesel and turmeric leaf oil (TLO) and their blends
AIP conference proceedings·2025
Data Driven Well Production Forecast for Improved Reservoir Management and FDP Optimization - A Case Study from a Super Giant Reservoir in Abu Dhabi
2024· 1 cited
Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation
Frontiers in artificial intelligence and applications·2024· 3 citedOpen Access
Calculating the energy profile of an enzymatic reaction on a quantum computer
arXiv (Cornell University)·2024· 2 citedOpen Access
Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation
arXiv (Cornell University)·2024Open Access
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits
arXiv (Cornell University)·2024Open Access
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits
2024· 4 citedOpen Access
Implicit QBF Encodings for Positional Games
Lecture notes in computer science·2024
Optimal Layout Synthesis for Quantum Circuits as Classical Planning
2023· 11 cited
Concise Encodings for Planning and 2-Player Games
2023Open Access
An AI-Driven Multiwell Placement and Scheduling Method
2023· 1 cited
Optimal Layout Synthesis for Quantum Circuits as Classical Planning (full version)
arXiv (Cornell University)·2023· 3 citedOpen Access
Search-Space Pruning with Int-Splits for Faster QBF Solving
arXiv (Cornell University)·2023Open Access
page 1 of 2Next →

Frequent Co-authors

Jaco van de Pol(19), Maximilian Heisinger(4), Martina Seidl(4), Patrick Ettenhuber(3), Marco Majland(3), N. T. Zinner(3), Mads Bøttger Hansen(2), Pier Paolo Poier(2), Niels Kristian Madsen(2), Frank Jensen(2), Lars Folke Olsen(2), Valentin Mayer-Eichberger(2), Abdallah Saffidine(2), N. Belayouni(2), Rami Ayoubi(2), Samat Ramatullayev(2), Davide Corsi(2), Roy Fox(2), César Sánchez(2), Stig Hebbelstrup Rye Rasmussen(1)