Irfansha Shaik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | KR | Explanations for Unrealizability of Infinite-State Safety Shields. | Andoni Rodrguez, Irfansha Shaik, Davide Corsi, Roy Fox, Csar Snchez |
| 2025 | SAT | Depth-Optimal Quantum Layout Synthesis as SAT. | Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik |
| 2025 | SAT | CNOT-Optimal Clifford Synthesis as SAT. | Irfansha Shaik, Jaco van de Pol |
| 2024 | ECAI | Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. | Irfansha Shaik, Jaco van de Pol |
| 2024 | SAT | Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. | Irfansha Shaik, Jaco van de Pol |
| 2023 | ICCAD | Optimal Layout Synthesis for Quantum Circuits as Classical Planning. | Irfansha Shaik, Jaco van de Pol |
| 2023 | SAT | Validation of QBF Encodings with Winning Strategies. | Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol |